Skip to content
Verify bitwise operations in Dafny

Disable wildcard optimization in the CI (#397) #1250

Sign in to view logs

Disable wildcard optimization in the CI (#397)

Disable wildcard optimization in the CI (#397) #1250

Triggered via push February 4, 2025 15:23
@jcp19jcp19
pushed a6638e1
master
Status Success
Total duration 28s
Artifacts –

dafny.yml

on: push
verify
18s
verify
Fit to window
Zoom out
Zoom in