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
  ☑ freebsd-12 2022-01-20 16:15:36Z albatross.pkg SHA256:d771221ec7750cdcd48c5115e0fb2accc334277264c925e924f604ad97e43bc5 (39.8MB)
  ☑ ubuntu-20.04 2022-01-20 16:03:45Z albatross.deb SHA256:29960dce450f774cafe91c8173a761eb0c3436ebaa4ec5db3b27eb33560652a5 (48.9MB)
  ☑ debian-11 2022-01-02 20:42:56Z albatross.deb SHA256:0706e08467e441e700672fdbd865d35d519a066e6fb8c76f1a8c1d198af568d0 (48.1MB)
  ☑ debian-10 2022-01-01 16:17:18Z albatross.deb SHA256:c72cae4746aa640a412a07385f6133ce5f6b42ec530171ac39862eab71e74d09 (48.4MB)
  
• builder
  Scheduling and executing shell jobs
  ☑ ubuntu-20.04 2022-01-20 15:53:00Z builder.deb SHA256:8672dc1a0887a094bbefe13421367e169e165ddbeed9f48390b045ab681ebad2 (7.17MB)
  ☑ freebsd-12 2022-01-20 14:49:33Z builder.pkg SHA256:3a0873691918bb07bf3f4475b104a49c65fba8405d1552bb83c634857b53cda2 (4.89MB)
  ☑ debian-11 2022-01-02 19:31:10Z builder.deb SHA256:ab267cd50600a7e9f42d313febf3612f75f4c6f430684c8f89b0068044a927e2 (7.02MB)
  ☑ debian-10 2022-01-02 19:31:10Z builder.deb SHA256:c6bf58e3b7caaab11d8fea037cae74d39c37f8dc5ca99165af534f295bb91b40 (7.08MB)
  
• builder-web
  Web interface for builder
  ☑ ubuntu-20.04 2022-01-20 15:45:54Z builder-web.deb SHA256:df7d97941297a0cfd8f85ec39b84a36920f3e3a4eb6617852fb9ef9469fc528c (9MB)
  ☑ freebsd-12 2022-01-20 12:18:30Z builder_web.pkg SHA256:a80f017057d0d02080b784d8c4587451ffc4add1a85cf4372aee94711abf0b48 (7.46MB)
  ☑ debian-11 2022-01-02 19:55:47Z builder-web.deb SHA256:46de2c0821025682cbb09dde7743d08a4abcbef0ef8d85c59a207e5f84ba64ee (8.82MB)
  ☑ debian-10 2022-01-02 19:55:46Z builder-web.deb SHA256:fb874de2ae1ec8408e4081437437784d780db3c5dd814e68a441bcc58fdac434 (8.91MB)
  
• jackline
  Jackline - a minimalistic secure XMPP client
  ☑ ubuntu-20.04 2022-01-21 00:40:56Z jackline.deb SHA256:f167a48b19b35772f481b44a29f8186115a8f7f20d7fc39a4e52d69cc813fcea (5.33MB)
  ☑ freebsd-12 2022-01-21 00:40:52Z jackline.pkg SHA256:8c12f0c75f51df9195d705adde442dba19433d50871449f3bfbe0c93cb1d22b2 (4.36MB)
  
• orb
  Check opam package reproducibility
  ☑ ubuntu-20.04 2022-01-20 15:58:42Z orb.deb SHA256:114062307767f3326e8e5f1b5726eced4da38201218c5b127466e585c6095c98 (4.14MB)
  ☑ freebsd-12 2022-01-20 11:36:29Z orb.pkg SHA256:7f3d0decf9bd51c07f37a97ba8579bf21711c3a24749162d29c9250d395ce0e6 (3.45MB)
  ☑ debian-11 2022-01-02 20:09:21Z orb.deb SHA256:abcc549e7df35b7561ad18b888bddda7b25662019fc11898df8c15a955a2b449 (4.11MB)
  ☑ debian-10 2022-01-02 20:09:16Z orb.deb SHA256:a9656398793d8a0fefd095499a7e21e49599565e17dc498b1455e66214691f16 (4.08MB)
  
• solo5-hvt
  Solo5 sandboxed execution environment (hvt target)
  ☑ freebsd-12 2022-01-20 16:45:37Z solo5-hvt.pkg SHA256:b1431f186749177934d0e6c45750f30e4bf96fa24af393dcf1c74ad33de752bd (60.7kB)
  ☑ ubuntu-20.04 2022-01-20 16:25:54Z solo5-hvt.deb SHA256:0860fc4e9348bc09c4363242b73bafdd0fef7e10c33fb46c47caa6d5cfa37d57 (80.8kB)
  ☑ debian-11 2022-01-02 20:19:25Z solo5-hvt.deb SHA256:e4c17a937f823866133bf7c869ac2011ba29571970751bb0edb4b942b3e260f4 (78.9kB)
  ☑ debian-10 2022-01-02 20:19:17Z solo5-hvt.deb SHA256:a54e3dea3e6cf7975ec3c9de2e6306d5bd8bf92175d15892699ffeeabc37f5da (75.6kB)
  

Unikernels

• caldav
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
  ☑ freebsd-12 2022-01-20 13:41:32Z caldav.hvt SHA256:9bf95f5235c0907e0e31a137a22930b4c88cb0119f7d681b11fbd3cfbf48c844 (15MB)
  
• 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 2022-01-20 13:11:48Z letsencrypt.hvt SHA256:3aec39a6c523b88479fdb5ca31cfbc8ea844f4a685ad70bd46183b7edd1bb041 (8.03MB)
  
• dns-primary-git
  A primary DNS server unikernel that stores zone files in a remote git repository
  ☑ freebsd-12 2022-01-20 12:48:31Z primary_git.hvt SHA256:33904dca0c667421b428158ab6bb91aab7cd02acbaf43dd6bd506aec7bb66e5f (10.7MB)
  
• dns-resolver
  A recursive DNS resolver as a unikernel
  ☑ freebsd-12 2022-01-20 14:59:33Z resolver.hvt SHA256:a445a42609fa3493d35b6baee24c1772f916065bdc53a4d76d0ceb3a5e5f5830 (6.43MB)
  
• dns-secondary
  A DNS secondary unikernel
  ☑ freebsd-12 2022-01-20 22:50:49Z secondary.hvt SHA256:9ecd2d01f6a1c931517fa5c33f88268e19888fe88906e7ae1f2840e32aea00a8 (3.34MB)
  
• dns-stub
  A DNS stub resolver
  ☑ freebsd-12 2022-01-20 11:36:29Z dns_stub.hvt SHA256:4af870dfafa521d824d248a5d88d0c5357187496518a722d075bc1c13067f0e9 (6.6MB)
  
• dnsvizor
  A DNS resolver and DHCP server
  ☑ freebsd-12 2022-01-20 13:00:40Z dnsvizor.hvt SHA256:e66b1d8164a61e2033ce2a027ca7ce2c282d995c660cc0d5426f769afb2739da (7.06MB)
  
• qubes-firewall
  A QubesOS firewall as unikernel
  ☑ ubuntu-20.04 2022-01-20 13:15:54Z qubes_firewall.xen SHA256:0f5053a8449500d92c1933d7c9a50e8b2da1e996f1e69aa440b0b52a4173b9fa (4.24MB)
  ☑ freebsd-12 2022-01-20 12:49:31Z qubes_firewall.xen SHA256:032b32fdff6821a2dea6d8e3366462a11235ed0bc81dd8a69857cf10f3c02d4d (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 2022-01-20 12:28:30Z tlstunnel.hvt SHA256:e8bf6820fb3bf110f866696c0be7825a7d23540f7741c773cf27783d990a6838 (6.19MB)
  
• traceroute
  A unikernel executing a traceroute
  ☑ freebsd-12 2022-01-20 22:49:49Z traceroute.hvt SHA256:4b3f3b43ef2df7d3e08831cbdcdea30bfb31721b1b207d8fc40d3cb7bf1dc377 (2.36MB)
  
• unipi
  A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
  ☑ freebsd-12 2022-01-20 13:25:31Z unipi.hvt SHA256:ebc8702e8f11af90d57a3853975879755e54961c68932c9c57e7a8423f4ba017 (11.6MB)
  
• 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 2022-01-20 13:34:52Z unipi.hvt SHA256:bfefc6642038a61bb88f8386fdb503a1aa7d5d42ecf3ddb30f64f6a8d748679f (11.6MB)
  

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 2022-01-20 13:51:28Z caldav.hvt SHA256:eaa3868c7dad17d773158fe3efeb3b755d7150030035c814c44758101f1549d9 (15.2MB)
  
• caldav-monitoring
  A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
  ☑ freebsd-12 2022-01-20 13:50:32Z caldav.hvt SHA256:f6c811d9c3646ba5b8410cd98b8b6388d0e65d1ae07bce31e28e701e68acd51c (15.1MB)
  
• 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 2022-01-20 13:12:23Z letsencrypt.hvt SHA256:1fde49aafeba07cde17445134be64be301c032761eb7bef11888fdd0dd4530d9 (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 2022-01-20 12:59:33Z primary_git.hvt SHA256:00a3a25147979b12998b1a7bb5a825480517d1ca1ccadc2277886e87248f8e01 (10.8MB)
  
• dns-resolver-monitoring
  A recursive DNS resolver as a unikernel (with monitoring to influx)
  ☑ freebsd-12 2022-01-20 15:08:34Z resolver.hvt SHA256:743c34d138d1189ee19fef6db0f7ae8bb73e9d81df246ae78c176082efb58336 (6.53MB)
  
• dns-secondary-monitoring
  A DNS secondary unikernel which reports metrics to influx
  ☑ freebsd-12 2022-01-20 22:57:10Z secondary.hvt SHA256:6e888f934c3e6f097483331062bf90cbcebfb4fd57b431c2d7f1be93615840ba (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 2022-01-20 14:03:53Z canopy.hvt SHA256:fe10cf535dd449a6c3290e28b3c915e7d5f22dcc9b70a780c7498e242982d9f9 (12.2MB)
  
• nqsbio
  The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
  ☑ freebsd-12 2022-01-20 22:58:58Z nqsbio.hvt SHA256:e92eef74378c68537d8439b71c53602801c437ba5650f69674c34ed5c54112a3 (3.96MB)
  
• openvpn-router
  An OpenVPN router unikernel, the configuration is stored on a block device, reports metrics to influx
  ☑ freebsd-12 2022-01-20 11:43:44Z ovpn_router.hvt SHA256:3525a6efa89e758851df445973a40e44f81ebf74e6227010ca0e0a14dd4c2181 (6.97MB)
  
• retreat
  The unikernel serving http://retreat.mirage.io with metrics reported to influx
  ☑ freebsd-12 2022-01-20 19:38:42Z retreat.hvt SHA256:9d3e2f9dcdd8732ff1ed5930c952379d7092c3f33d80463519b08c9eab583778 (3.88MB)
  
• roburio
  The unikernel used for the website https://robur.coop, content stored in a remote git repository, reports metrics to influx
  ☑ freebsd-12 2022-01-20 14:04:26Z canopy.hvt SHA256:a15afc6cff224d0575305cccd9e2b409fc535befab2119c94d7903fff88b2336 (12.2MB)
  
• tlstunnel-monitoring
  A TLS reverse proxy unikernel, reports metrics to influx
  ☑ freebsd-12 2022-01-20 13:24:31Z tlstunnel.hvt SHA256:484c36227ddd3880ae1b09919af8721e0403328ead6a012fecb03aefe2dccc46 (6.31MB)
  

View the latest failed builds here.