Dafny-to-Rust: #62
Triggered via issue
September 16, 2024 19:32
MikaelMayer
Status
Success
Total duration
11s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
compfuzzci_process_issues.yaml
on: issues
UpdateIssueOpened
3s
UpdateIssueClosed
0s