Skip to content
Coq

Merge pull request #27 from formal-land/gy@AddBitSimulations #51

Sign in to view logs

Merge pull request #27 from formal-land/gy@AddBitSimulations

Merge pull request #27 from formal-land/gy@AddBitSimulations #51

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8m 10s
8m 10s