Skip to content
Run 'go test'

Fix Dafny action crashing on ubuntu 24.04 #1829

Sign in to view logs

Fix Dafny action crashing on ubuntu 24.04

Fix Dafny action crashing on ubuntu 24.04 #1829

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
47s
47s