Skip to content
CI

docs: Add DafnyBenchmarks context to CLAUDE.md #129

Sign in to view logs

docs: Add DafnyBenchmarks context to CLAUDE.md

docs: Add DafnyBenchmarks context to CLAUDE.md #129

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (macos-latest)
23m 52s
build-and-test (ubuntu-latest-m)
13m 1s
36m 53s