Test New Dafny Files

094, 098, 115 #8

Sign in to view logs

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

Triggered via pull request August 26, 2024 12:36

WeetHet

opened #33

new-tests

Status Success

Total duration 45s

Artifacts –

test-dafny-new.yml

on: pull_request