Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,724 workflow runs
1,724 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
Let the LSP serve the directories whose heap is hol.state0 docker-ci #1881: Commit 38cdeb6 pushed by mn200
2h 23m 22s develop
develop
2h 23m 22s
HolRefute: Quickcheck, narrowing and a Nitpick-style Kodkod model finder docker-ci-for-pr #1769: Pull request #2051 synchronize by lukaszcz
2h 2m 25s lukaszcz:nitpick
lukaszcz:nitpick
2h 2m 25s
Simplify a tactic by removing unused tac2 in tac1 >> tac2 docker-ci #1880: Commit 398a28b pushed by mn200
2h 12m 7s develop
develop
2h 12m 7s
Use polyscripter on another Docfile docker-ci #1879: Commit 1a8e5f9 pushed by mn200
1h 57m 11s develop
develop
1h 57m 11s
Step through by blocks with their native semantics docker-ci #1878: Commit d28fd73 pushed by mn200
2h 8m 52s develop
develop
2h 8m 52s
Add shared structural proof-step plans docker-ci-for-pr #1768: Pull request #2058 synchronize by xrchz
2h 20m 58s lspnew
lspnew
2h 20m 58s
Stop Patricia overriding structural list membership docker-ci #1877: Commit ab22293 pushed by mn200
2h 23m 47s develop
develop
2h 23m 47s
Add shared structural proof-step plans docker-ci-for-pr #1767: Pull request #2058 synchronize by xrchz
2h 2m 6s lspnew
lspnew
2h 2m 6s
Add shared structural proof-step plans docker-ci-for-pr #1766: Pull request #2058 synchronize by xrchz
2h 9m 53s lspnew
lspnew
2h 9m 53s
computeLib: thread the accumulator when discharging rule antecedents docker-ci #1876: Commit f7626c6 pushed by mn200
2h 11m 6s develop
develop
2h 11m 6s
Merge pull request #2047 from lukaszcz/bug-tdefine docker-ci #1875: Commit f140098 pushed by mn200
2h 9m 8s develop
develop
2h 9m 8s
Record what non-theory targets cost, so HLFET can schedule them docker-ci #1874: Commit 6e60dc4 pushed by mn200
2h 3m 29s develop
develop
2h 3m 29s
Fix Holmakefiles for TeX munging docker-ci #1873: Commit 27b4e19 pushed by mn200
2h 3m 22s develop
develop
2h 3m 22s
Make list compsets evaluate membership structurally docker-ci-for-pr #1765: Pull request #2065 opened by xrchz
2h 1m 23s keccak
keccak
2h 1m 23s
Avoid Q.prove in Lib docker-ci #1872: Commit dfff742 pushed by mn200
2h 15m 36s master
master
2h 15m 36s
Misc fixes docker-ci-for-pr #1764: Pull request #2064 synchronize by ordinarymath
2h 8m 49s miscFixes
miscFixes
2h 8m 49s
Misc fixes docker-ci-for-pr #1763: Pull request #2064 opened by ordinarymath
5m 13s miscFixes
miscFixes
5m 13s
HolRefute: Quickcheck, narrowing and a Nitpick-style Kodkod model finder docker-ci-for-pr #1762: Pull request #2051 synchronize by lukaszcz
1h 56m 44s lukaszcz:nitpick
lukaszcz:nitpick
1h 56m 44s
Avoid Q.prove in Lib docker-ci #1871: Commit dfff742 pushed by myreen
2h 48m 25s mcandidate
mcandidate
2h 48m 25s
HolRefute: Quickcheck, narrowing and a Nitpick-style Kodkod model finder docker-ci-for-pr #1761: Pull request #2051 synchronize by lukaszcz
2h 2m 14s lukaszcz:nitpick
lukaszcz:nitpick
2h 2m 14s
Run proof-manager tactics outside the proofs slot lock docker-ci-for-pr #1760: Pull request #2047 synchronize by lukaszcz
2h 18m 40s lukaszcz:bug-tdefine
lukaszcz:bug-tdefine
2h 18m 40s
Reduce kernel calls in matchTools docker-ci #1870: Commit f2fa7ca pushed by mn200
1h 58m 43s develop
develop
1h 58m 43s
Fix a bug in cv_stdTheory docker-ci #1869: Commit 79cb374 pushed by myreen
2h 10m 22s develop
develop
2h 10m 22s
Memoise mk_prec_matrix docker-ci-for-pr #1759: Pull request #2063 synchronize by mrichards30
2h 18m 50s mrichards30:memo-parsing
mrichards30:memo-parsing
2h 18m 50s
Add shared structural proof-step plans docker-ci-for-pr #1758: Pull request #2058 synchronize by xrchz
2h 21m 31s lspnew
lspnew
2h 21m 31s