Skip to content

Actions: ScottMoore0/mateprover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Point the certificate formats at the benchmark that scores them CI #13: Commit 2d220c7 pushed by ScottMoore0
9m 8s master
master
9m 8s
Release 0.3.0 Release #3: Commit 8d2c23b pushed by ScottMoore0
1m 44s v0.3.0
v0.3.0
1m 44s
Release 0.3.0 CI #12: Commit 8d2c23b pushed by ScottMoore0
9m 21s master
master
9m 21s
Document the absence and minimality modes, and point their references… CI #11: Commit 6f65f4d pushed by ScottMoore0
10m 25s master
master
10m 25s
Emit certificates for absence and minimality CI #10: Commit 19683e4 pushed by ScottMoore0
6m 14s master
master
6m 14s
Use hyphens instead of double hyphens as dashes in the documentation CI #9: Commit bc09b3d pushed by ScottMoore0
9m 59s master
master
9m 59s
Release 0.2.0 Release #2: Commit d7ded0d pushed by ScottMoore0
52s v0.2.0
v0.2.0
52s
Release 0.2.0 CI #8: Commit d7ded0d pushed by ScottMoore0
6m 5s master
master
6m 5s
Certify 1,200 more matetrack positions with a 64M-node second pass CI #7: Commit 410a0ea pushed by ScottMoore0
9m 1s master
master
9m 1s
Point the proof-certificate section at the certificate corpus CI #6: Commit 32c8dbc pushed by ScottMoore0
8m 18s master
master
8m 18s
Say on UCI whether a mate is the shortest; add --refute-pv CI #5: Commit 9552812 pushed by ScottMoore0
7m 27s master
master
7m 27s
Correct what rep3 marks: not-minimal, which is not the same as --dire… CI #4: Commit 3b5b46f pushed by ScottMoore0
11m 14s master
master
11m 14s
Detect a UCI session from its first line, and mark a repeating PV CI #3: Commit 8204cac pushed by ScottMoore0
7m 20s master
master
7m 20s
Refuse to report a pass when the certificate checks did not run CI #2: Commit 40325fa pushed by ScottMoore0
10m 15s master
master
10m 15s
Release Release #1: Manually run by ScottMoore0
52s v0.1.0
v0.1.0
52s
CI CI #1: Manually run by ScottMoore0
9m 31s master
master
9m 31s