Skip to content
Test All Dafny Files

2, 3, 8, 20, 21, 23, 24 #23

Sign in to view logs

2, 3, 8, 20, 21, 23, 24

2, 3, 8, 20, 21, 23, 24 #23

Triggered via push August 8, 2024 03:12
@gt22gt22
pushed 8f13a4d
IEngel-1
Status Success
Total duration 1m 39s
Artifacts –

test-dafny.yml

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