Skip to content
.github/workflows/nix.yml

Good riddance: zarith and integers now have dedicated OPAM packages #15

Sign in to view logs

Good riddance: zarith and integers now have dedicated OPAM packages

Good riddance: zarith and integers now have dedicated OPAM packages #15

Triggered via push January 31, 2024 06:47
@protzprotz
pushed 67812f2
protz_js
Status Success
Total duration 16s
Artifacts –

nix.yml

on: push
Nix
5s
Nix
Fit to window
Zoom out
Zoom in