Skip to content
PR CI

chore: split vc gen on some methods to migrate to Dafny 4.4 #6

Sign in to view logs

chore: split vc gen on some methods to migrate to Dafny 4.4

chore: split vc gen on some methods to migrate to Dafny 4.4 #6

Workflow file for this run

.github/workflows/pull.yml at c17933c

File not found

The workflow file could not be found.