Skip to content
Test New Dafny Files

Change files to ensure correct codegen #20

Sign in to view logs

Change files to ensure correct codegen

Change files to ensure correct codegen #20

Triggered via pull request October 2, 2024 10:35
@WeetHetWeetHet
opened #50
better-codegen
Status Failure
Total duration 28s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
19s
test-changed
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-changed
Process completed with exit code 1.