Skip to content
.github/workflows/nix.yml

splitting _invariant lemmas (pull out properties that do not need tra… #374

Sign in to view logs

splitting _invariant lemmas (pull out properties that do not need tra…

splitting _invariant lemmas (pull out properties that do not need tra… #374

Triggered via push October 21, 2024 09:15
@cwaldmcwaldm
pushed 1c34986
cwaldm/split_invariant_lemmas
Status Success
Total duration 16m 27s
Artifacts –

nix.yml

on: push
Nix
16m 13s
Nix
Fit to window
Zoom out
Zoom in