Skip to content
Test New Dafny Files

Change files to ensure correct codegen #21

Sign in to view logs

Change files to ensure correct codegen

Change files to ensure correct codegen #21

Triggered via pull request October 2, 2024 10:36
@WeetHetWeetHet
synchronize #50
better-codegen
Status Success
Total duration 47s
Artifacts –

test-dafny-new.yml

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