Skip to content

Actions: viperproject/program-proofs-gobra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename (#8) Verify the examples and exercises in Gobra #19: Commit 139f5f2 pushed by jcp19
October 30, 2023 11:05 2m 8s main
main
October 30, 2023 11:05 2m 8s