Organisationsmiragemirage-wwwbranch/masterBuild History

Build History for branch/master

Builds (29)
Merge pull request #848 from hannesm/no-nqsb remove any other links to *nqsb.io
811d43
Merge pull request #847 from hannesm/new-runtime-args Adapt to new runtime argument handling
bef748
Merge pull request #846 from hannesm/remove-host-from-link Update URLs, remove mirageos.org hostname where appropriate & use ocaml.org/p instead of docs.mirage.io
0be1fd
Merge pull request #845 from hannesm/use-mirageos.org move to mirageos.org, all the hyperlinks
e4b414
Merge pull request #844 from mirage/robur-coop Fix github.com/robur-coop links
d80f4b
Merge pull request #843 from hannesm/more-links fix links (robur.io is no more, robur.coop is now the only active domain)
a661aa
Merge pull request #841 from hannesm/no-nqsb nqsb.io has been sunset, thanks for the reminder of @maiste
9c48c6
Merge pull request #839 from Firobe/bootvar-updated Use variant-based bootvar for mdx
2747b5
update links in gallery, remove no longer running unikernels (#836) * update links in gallery, remove no longer running unikernels * Fix list in data/wiki/gallery.md --------- Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
3c3ec3
Revise the network section of the hello world (#834) * Revise the network section of the hello world Avoid overloading the reader with too much information. Start with static IP addresses before going down to DHCP. suggested by @pitag-ha * clarify that for internet you need firewalling (thx @panglesd) * Update data/wiki/hello-world.md Co-authored-by: Sonja Heinze <sonjaleaheinze@gmail.com> * Update data/wiki/hello-world.md Co-authored-by: Sonja Heinze <sonjaleaheinze@gmail.com> * no reasonable, no dhcp * add a link to mirage-skeleton --------- Co-authored-by: Sonja Heinze <sonjaleaheinze@gmail.com>
9da5eb
Merge pull request #835 from mro/master - added link to create a github issue
e251f8
Merge pull request #832 from sabine/http_links Adjust links to other blog articles to be relative
4f4e52
Merge pull request #824 from samoht/redirect Keep the URI targets in the http -> https redirections
e22c8c
Merge pull request #826 from sabine/remove_tracing_tutorial Remove Tracing & Profiling Tutorial
38ce0a
Merge pull request #830 from sabine/install_os_bounds Update OS bounds on Installation instructions
ec4669
Merge pull request #831 from sabine/get_started_button Add a 'Get Started' button that links to Hello World tutorial
499cc8
Merge pull request #829 from sabine/code_font_style Increase code font size, remove backticks around code in prose
aea7fa
Merge pull request #828 from sabine/add_syntax_highlighting Remove omd in favor of cmarkit+hilite, add syntax highlighting
5af23b
Merge pull request #827 from sabine/add_rss_head_and_links Link RSS feed in head of every page, add RSS icon in sidebar
96f89a
Merge pull request #825 from sabine/update_hello_world_docs Update "Hello World" tutorial text to reflect changes from #823
6b844f
Merge pull request #823 from samoht/hello-world-mdx Use mdx to test hello-world.md
358959
Merge pull request #822 from samoht/main-css Vendor the generated main.css
aad206
Merge pull request #817 from oemmerson/patch-1 Update examples in tutorial-lwt.md with current versions. Fix a couple of issues in text.
dea944
Merge pull request #821 from samoht/fix-deploy Fix deploy
88aaca
Merge pull request #819 from samoht/help Move runtime args into the right help section
b9f622
Merge pull request #818 from samoht/mirage-4.5.0 update to mirage 4.5.0
cd6a58
Merge pull request #820 from mirage/revert-818-mirage-4.5.0 Revert "update to mirage 4.5.0"
177a49
Merge pull request #814 from MisterDA/tailwindcss-3.3.6 Update to Tailwind CSS 3.3.6
961d23
Merge pull request #808 from reynir/update-tutorial Update tutorial with mirage-skeleton#361 changes
cc7a88