Skip to content
Tests for consistency of README.md

Testing bot PR263 by building and uploading CaDiCaL #38

Sign in to view logs

Testing bot PR263 by building and uploading CaDiCaL

Testing bot PR263 by building and uploading CaDiCaL #38

Run time

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