Test New Dafny Files

Review files 000 and 001 #19

Sign in to view logs

Summary
Jobs
- test-changed
Run details
- Usage
- Workflow file

Triggered via pull request September 27, 2024 10:09

jesyspa

opened #42

spec-review

Status Success

Total duration 48s

Artifacts –

test-dafny-new.yml

on: pull_request