Skip to content
Build tool on OSX

Update badges in README to refer to IKOS 3.5 (#310). #76

Sign in to view logs

Update badges in README to refer to IKOS 3.5 (#310).

Update badges in README to refer to IKOS 3.5 (#310). #76

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 24s
4m 24s