Skip to content

Use nix run

Use nix run #4

Triggered via push August 1, 2024 14:09
Status Success
Total duration 38s
Artifacts

test-dafny.yml

on: push
Fit to window
Zoom out
Zoom in