Skip to content
Test All Dafny Files

Make 21 less brittle #24

Sign in to view logs

Make 21 less brittle

Make 21 less brittle #24

Triggered via push August 8, 2024 03:25
@gt22gt22
pushed 424c67e
IEngel-1
Status Success
Total duration 1m 38s
Artifacts –

test-dafny.yml

on: push
test
1m 29s
test
Fit to window
Zoom out
Zoom in