Getting Started
Documentation
Organisations
dinosaure
bob
branch/main
Build History
Build History for branch/main
Builds (12)
Merge pull request #72 from rizo/patch-1 Help opam detect pin src type
00665f
-
Sep 01 14:13 +00:00
Passed in 47m27s
Merge pull request #69 from dinosaure/mirage.4.6.0 Upgrade the unikernel to mirasge.4.6.0
eafb94
-
Aug 02 16:18 +00:00
Passed in 15m56s
Merge pull request #70 from dinosaure/upgrade-spoke Upgrade bob with spoke.0.0.3
15fd80
-
Jul 15 08:41 +00:00
Passed in 1h06m
Merge pull request #65 from dinosaure/tls Upgrade to the last version of tls
beaef3
-
Jan 01 00:00 +00:00
Failed in 0s
Merge pull request #64 from dinosaure/tls restrict tls version
928f9b
-
Apr 04 17:51 +00:00
Failed in 0s
Merge pull request #63 from dinosaure/improve-git Add an interface on the Git module to clarify what we want to expose
3a9611
-
Mar 27 16:07 +00:00
Failed in 29m43s
Merge pull request #62 from dinosaure/minor-fix Fix the log about the handshake (related to #60)
2222b7
-
Feb 02 13:28 +00:00
Failed in 25m20s
Merge pull request #61 from dinosaure/ocamlformat Update ocamlformat
653b5d
-
Feb 02 13:18 +00:00
Failed in 9m45s
Merge pull request #60 from dinosaure/handshake Rename protocol by handshake
d86d06
-
Feb 02 13:01 +00:00
Failed in 11m19s
Merge pull request #58 from dinosaure/git Separate the Git logic from the Pack logic
63a8e8
-
Feb 02 12:22 +00:00
Failed in 13m03s
Merge pull request #59 from dinosaure/fix-gmp Fix the ocaml-gmp commit
1c39a2
-
Feb 02 11:59 +00:00
Running for 0s
Merge pull request #55 from dinosaure/update-website Update the website with the last version of esperanto.0.0.5
fb9b16
-
Jan 01 00:00 +00:00
Failed in 0s