Reproducible OPAM builds

This website offers binary MirageOS unikernels and supplementary OS packages.

Following is a list of jobs that are built daily. A persistent link to the latest successful build is available as /job/*jobname*/build/latest/. All builds can be reproduced with orb. The builds are scheduled and executed by builder. The web interface is builder-web. Contact team@robur.coop if you have any questions or suggestions.

Packages

• albatross
  Albatross - orchestrate and manage MirageOS unikernels with Solo5
  ☑ debian-11 2021-12-02 16:15:03Z albatross.deb SHA256:8beb670d0575638465744035610a6f9ddd7971d8631f8a03cb5dfd2d2ae71a4b (48.1MB)
  ☑ debian-10 2021-12-02 16:14:59Z albatross.deb SHA256:8fe6ce13f012bdbc6bd7a74e02b9d03488bf7138d163c3aabc40e37a2190e11c (48.5MB)
  ☑ ubuntu-20.04 2021-12-02 16:00:17Z albatross.deb SHA256:d9ef76e296a6eb20b3ca0155ed4f72969e4d9ebca7a3b0deb72c56869879c851 (48.9MB)
  ☑ freebsd-12 2021-12-02 15:42:55Z albatross.pkg SHA256:411b62b03f34817976115b4a3b2a731677fd8df273223e123ac61f51a9177a6e (39.8MB)
  
• builder
  Scheduling and executing shell jobs
  ☑ ubuntu-20.04 2021-12-02 15:42:17Z builder.deb SHA256:cbdf0c0e8e14218d32c971a062b30546c35e18d16c555f3217115ee59b371fc8 (7.18MB)
  ☑ freebsd-12 2021-12-02 14:16:53Z builder.pkg SHA256:76b19698f524e3df426b251c55460ba2b9665c74ae9b2062907d21169ceb3574 (5.56MB)
  ☑ debian-10 2021-12-02 11:58:51Z builder.deb SHA256:57dec63a56228a9a59fcb20e112a76f822847b5ecf02f172f0b3a69911ec633e (7.08MB)
  ☑ debian-11 2021-12-02 11:58:51Z builder.deb SHA256:12c0d461b2107d8211f4f2a1e429307fd65c1aeb3056b35942116d1e4ab0dcee (7.02MB)
  
• builder-web
  Web interface for builder
  ☑ debian-10 2021-12-02 16:01:51Z builder-web.deb SHA256:809ddb6a1afa4996f9f74a13271e8d469c108b9f87fc66e7d7bc422b0eb45de5 (8.91MB)
  ☑ debian-11 2021-12-02 16:01:51Z builder-web.deb SHA256:53b1ba7f828fbcba3c9dc5d8dd8865d1426a19619ddcc0016abd47e9fc56b243 (8.81MB)
  ☑ ubuntu-20.04 2021-12-02 15:54:01Z builder-web.deb SHA256:5002bc766b23a2cba80385982b6c9595ff2c8294601f8f91451ffcca8cff5d16 (8.99MB)
  ☑ freebsd-12 2021-12-02 11:45:39Z builder_web.pkg SHA256:5b4bd29a169d0a13d5b7d7877b751fe1c2cd12ad581a40471e96a7225b472c8e (7.45MB)
  
• orb
  Check opam package reproducibility
  ☑ debian-11 2021-12-02 16:27:46Z orb.deb SHA256:a6ba690ddcb2719e7f4d11a4a50108a78dc191c2dcb85d743809ff09e267123f (4.11MB)
  ☑ debian-10 2021-12-02 16:27:20Z orb.deb SHA256:f246e523ca8a897fbf53262fcdfca6e1e13515aa09292e52054512af01bf9f96 (4.08MB)
  ☑ ubuntu-20.04 2021-12-02 15:48:39Z orb.deb SHA256:ae4467bbeea1c300b37b1e6ce7319490a7d2db0d64c0d4e995fcdbb773912a68 (4.14MB)
  ☑ freebsd-12 2021-12-02 10:02:36Z orb.pkg SHA256:241c88ec0f76968c8e9d725ff85b4fdeee2cbe90d6906731d1c469c8c666e12b (3.45MB)
  
• solo5-hvt
  Solo5 sandboxed execution environment (hvt target)
  ☑ debian-11 2021-12-02 16:37:40Z solo5-hvt.deb SHA256:e4c17a937f823866133bf7c869ac2011ba29571970751bb0edb4b942b3e260f4 (78.9kB)
  ☑ debian-10 2021-12-02 16:37:09Z solo5-hvt.deb SHA256:a54e3dea3e6cf7975ec3c9de2e6306d5bd8bf92175d15892699ffeeabc37f5da (75.6kB)
  ☑ ubuntu-20.04 2021-12-02 16:22:17Z solo5-hvt.deb SHA256:0860fc4e9348bc09c4363242b73bafdd0fef7e10c33fb46c47caa6d5cfa37d57 (80.8kB)
  ☑ freebsd-12 2021-12-02 16:12:56Z solo5-hvt.pkg SHA256:b1431f186749177934d0e6c45750f30e4bf96fa24af393dcf1c74ad33de752bd (60.7kB)
  

Unikernels

• caldav
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
  ☑ freebsd-12 2021-12-02 22:42:48Z caldav.hvt SHA256:5ecc388571ee224e01e56c4e248e13259353d84fe78fa8869091bf5e4450b41c (15.2MB)
  
• dns-letsencrypt
  A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records)
  ☑ freebsd-12 2021-12-02 12:33:51Z letsencrypt.hvt SHA256:7b56fcc13edf5aead27b69f81c8e7b5ab9ce3eabd82a34302911abb714ad3af9 (8.03MB)
  
• dns-primary-git
  A primary DNS server unikernel that stores zone files in a remote git repository
  ☑ freebsd-12 2021-12-02 09:49:46Z primary_git.hvt SHA256:c6c3b242a20120ce94a3f7b7b6cd8ddf1f3a218e0313c7ac3388a8ffd0e63557 (10.6MB)
  
• dns-resolver
  A recursive DNS resolver as a unikernel
  ☑ freebsd-12 2021-12-02 14:26:53Z resolver.hvt SHA256:cf5602d767ea25071798155ed7254ea7582709a1b9cd250750978c8ab7bb8996 (6.43MB)
  
• dns-secondary
  A DNS secondary unikernel
  ☑ freebsd-12 2021-12-02 22:44:31Z secondary.hvt SHA256:571e77f5a2be38321a82b2bc63051fdbb09a7aa6eaa925e5a7aa9a5f9db7f318 (3.34MB)
  
• dns-stub
  A DNS stub resolver
  ☑ freebsd-12 2021-12-02 08:17:44Z dns_stub.hvt SHA256:62b3e5ca5c0eaa15a98d1c2d12961277f5d36f108f1df9e1fb4abe1b498424b6 (6.59MB)
  
• dnsvizor
  A DNS resolver and DHCP server
  ☑ freebsd-12 2021-12-02 12:27:50Z dnsvizor.hvt SHA256:1fe7a6b3735b442bf9db3c18e4527017f7ea4b613647e0428e4a322eed384356 (7.06MB)
  
• qubes-firewall
  A QubesOS firewall as unikernel
  ☑ ubuntu-20.04 2021-12-02 13:12:17Z qubes_firewall.xen SHA256:be1ebb7f0e1789a8e2c56fb79b52ae21ba83493543cca4277e06c5dc64c0105a (4.24MB)
  ☑ freebsd-12 2021-12-02 10:02:39Z qubes_firewall.xen SHA256:e65d19725d7f92c07dec59f49ef363c724df2cc018f9a2a6a28590e5d25066ba (4.36MB)
  ☑ debian-11 2021-11-08 11:45:36Z qubes_firewall.xen SHA256:d1e8ff8aaf4e3705bf94523808c24cd709273270f1a3232f70a871ec07fa1995 (4.23MB)
  
• qubes-firewall-flambda
  A QubesOS firewall as unikernel using the OCaml flambda middle-end
  ☑ freebsd-12 2021-11-10 22:44:28Z qubes_firewall.xen SHA256:7ba67cdf7f3977616324a4946795226db4ad4c7b79b9bbcc210383ce1bbbc3d1 (4.5MB)
  
• tlstunnel
  A TLS reverse proxy unikernel
  ☑ freebsd-12 2021-12-02 11:55:49Z tlstunnel.hvt SHA256:4cbe9cfa47fed7d78cd7d9cc01b506282767738065ac04f3acabfd9b70735094 (6.19MB)
  
• traceroute
  A unikernel executing a traceroute
  ☑ freebsd-12 2021-12-02 22:17:06Z traceroute.hvt SHA256:7332bf5387f78ba411ba3c7df66b3eac6e47b4957671baf2935cb341023237b0 (2.37MB)
  
• unipi
  A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
  ☑ freebsd-12 2021-12-02 13:22:52Z unipi.hvt SHA256:5b221aa4488b5fadd4df84333049e3026d1985f0777ad2da3f105bc4e909e24f (11.4MB)
  
• unipi-with-kv
  A web server unikernel which content is stored in a remote git repository, TLS certificate in a key-value store (at compile time)
  ☑ freebsd-12 2021-12-02 13:49:52Z unipi.hvt SHA256:27d73daf2ed41202cf0e59ad13da57a44cd221ad8bac335df0380b7cb1759ccc (11.4MB)
  

Unikernels (with metrics reported to Influx)

• caldav-le-monitoring
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx and certificate retrieval via DNS and let's encrypt
  ☑ freebsd-12 2021-12-02 22:17:06Z caldav.hvt SHA256:1b813c53b6e299452227793acabb02ea8a353956b00de681b7e3de8cf05166d6 (15.4MB)
  
• caldav-monitoring
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
  ☑ freebsd-12 2021-12-02 22:32:33Z caldav.hvt SHA256:ede99be97d1bea2d369dcd28723cf88ec7913420df988ddcf698ce480b595c28 (15.3MB)
  
• dns-letsencrypt-monitoring
  A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records), reports metrics to influx
  ☑ freebsd-12 2021-12-02 12:36:09Z letsencrypt.hvt SHA256:d968ff93487c5eebfdbda808416be0b8bbd57ed878b874430c29fe89f894f9ce (8.14MB)
  
• dns-primary-git-monitoring
  A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
  ☑ freebsd-12 2021-12-02 09:49:46Z primary_git.hvt SHA256:56070e62201556eb5512cd45b6efc69a126568085c2a04db6df1d5d3f3acb1a7 (10.7MB)
  
• dns-resolver-monitoring
  A recursive DNS resolver as a unikernel (with monitoring to influx)
  ☑ freebsd-12 2021-12-02 14:35:53Z resolver.hvt SHA256:b813864bcea901a64589b7e2f41287a2ae91a9d73962931d627047f1556c8f10 (6.53MB)
  
• dns-secondary-monitoring
  A DNS secondary unikernel which reports metrics to influx
  ☑ freebsd-12 2021-12-02 22:25:09Z secondary.hvt SHA256:9ec5f2fbce3dee3ac129145dbe67ab89e9bbbfcb8f0a0d5a1dd0224eaa85ae9b (3.45MB)
  
• hannes-nqsb-io
  The unikernel used for the blog https://hannes.robur.coop, content stored in a remote git repository, reports metrics to influx
  ☑ freebsd-12 2021-12-02 22:55:08Z canopy.hvt SHA256:72e69cbbd368d2b8e67285136736a7e421e163406f31cf9360854cb440dbc821 (12.4MB)
  
• nqsbio
  The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
  ☑ freebsd-12 2021-12-02 22:52:42Z nqsbio.hvt SHA256:d0525852c6de6ccbad6c12fc04d52416e6075551ee5696bb15670836e652e732 (3.96MB)
  
• openvpn-router
  An OpenVPN router unikernel, the configuration is stored on a block device, reports metrics to influx
  ☑ freebsd-12 2021-12-02 08:38:44Z ovpn_router.hvt SHA256:038d6f30736e4d03fdbb7924556b217a20133c78ab2082f4ed404593a2146c0b (6.96MB)
  
• retreat
  The unikernel serving http://retreat.mirage.io with metrics reported to influx
  ☑ freebsd-12 2021-12-02 19:06:01Z retreat.hvt SHA256:90e91b9bcdfd86250abb7000ad2ca0575a83f2a4aeceff3d04fce1a3856d8515 (3.87MB)
  
• roburio
  The unikernel used for the website https://robur.coop, content stored in a remote git repository, reports metrics to influx
  ☑ freebsd-12 2021-12-02 22:29:14Z canopy.hvt SHA256:9a0859549f9238bd719758ddd12300d621cd4922e145c1c532a638866e125f07 (12.4MB)
  
• tlstunnel-monitoring
  A TLS reverse proxy unikernel, reports metrics to influx
  ☑ freebsd-12 2021-12-02 12:51:51Z tlstunnel.hvt SHA256:b5a58bfc48f6c20d37e8414b57ba8a2f28a3618f6c8f652266f07ca6d42c903b (6.31MB)
  

View the latest failed builds here.