Getting Started Documentation

Organisations dinosaure contruno branch/main Build History

Build History for branch/main

Builds (11)

Merge pull request #35 from dinosaure/update-unikernel Update unikernel with mirage.4.9.0

May 18 18:27 +00:00

Passed in 8m52s

Fix the compilation of the mirage manifest

Apr 04 14:12 +00:00

Passed in 7m32s

Add h1 as a package for the unikernel

Apr 03 08:55 +00:00

Passed in 7m41s

Merge pull request #34 from dinosaure/upgrade Upgrade with last version of git-unix and git-kv

Apr 01 14:04 +00:00

Passed in 6m08s

Merge pull request #33 from art-w/redirect Redirect http to https

Mar 26 15:46 +00:00

Failed in 5m47s

Merge pull request #32 from art-w/reload Fix reload

Jan 20 11:15 +00:00

Merge pull request #31 from dinosaure/fix-wordpress Add a header to fix some issues encountered with WordPress

Jan 17 21:55 +00:00

Passed in 10m58s

Merge pull request #30 from dinosaure/upgrade-tls-x509 Upgrade with last version of x509 and tls (without Cstruct.t)

Oct 01 09:44 +00:00

Failed in 12m50s

Merge pull request #29 from dinosaure/fix-intermediate-certificates Ignore R{3,10} intermediate certificates

Sep 13 12:38 +00:00

Failed in 10m06s

Merge pull request #28 from dinosaure/upgrade Upgrade

Jul 12 09:20 +00:00

Passed in 58m56s

Merge pull request #26 from dinosaure/monitoring Add monitoring on contruno

Jun 30 13:59 +00:00

Passed in 1h20m