Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
623 workflow runs
623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make string_src text allow for extraction from original source file docker-ci #1240: Commit f8e2edd pushed by mn200
2h 10m 47s develop
develop
2h 10m 47s
revised README, added example, added output of running examples docker-ci #1239: Commit e8ca696 pushed by konrad-slind
2h 10m 58s develop
develop
2h 10m 58s
Add README docker-ci #1238: Commit 9a925a5 pushed by konrad-slind
2h 16m 4s develop
develop
2h 16m 4s
pesky tabs! docker-ci #1237: Commit f9bf8da pushed by konrad-slind
2h 9m 7s develop
develop
2h 9m 7s
Complete implementation of proof resumption primitive docker-ci #1236: Commit ba62206 pushed by mn200
2h 8m 39s develop
develop
2h 8m 39s
get eval_poly example to work docker-ci #1235: Commit fb8a48d pushed by konrad-slind
2h 23m 32s develop
develop
2h 23m 32s
initial HOL--> ACL2 implementation docker-ci #1234: Commit df9d13d pushed by konrad-slind
2h 15m 34s develop
develop
2h 15m 34s
Sketch implementation of facility to handle script chunks docker-ci #1233: Commit ec2580f pushed by mn200
2h 18m 31s develop
develop
2h 18m 31s
Add LIST_REL aliases for EVERY2 theorems docker-ci #1232: Commit d5fe2ce pushed by xrchz
2h 14m 15s develop
develop
2h 14m 15s
Sketch implementation of facility to handle script chunks docker-ci #1231: Commit ec2580f pushed by mn200
2h 18m 48s develop
develop
2h 18m 48s
Measurable function results to canonise. docker-ci #1230: Commit aaef121 pushed by mn200
2h 22m 31s develop
develop
2h 22m 31s
Cumulative analysis/calculus updates docker-ci #1229: Commit 6508633 pushed by mn200
2h 20m 38s develop
develop
2h 20m 38s
Improve LaTeXing of the angled brackets for EL docker-ci #1228: Commit 4960ceb pushed by mn200
2h 19m 50s develop
develop
2h 19m 50s
Rework to define lcp2 earlier docker-ci #1227: Commit 220ddf8 pushed by mn200
2h 21m 5s develop
develop
2h 21m 5s
simplify example for Feedback.with_traces in docfile docker-ci #1226: Commit ceff165 pushed by konrad-slind
2h 10m 51s develop
develop
2h 10m 51s
Add multi-flag version of Feedback.trace docker-ci #1225: Commit 31242d6 pushed by konrad-slind
2h 18m 10s develop
develop
2h 18m 10s
Merge pull request #1756 from ordinarymath/reraise_Feedback docker-ci #1224: Commit acfecc2 pushed by konrad-slind
2h 10m 10s develop
develop
2h 10m 10s
Merge pull request #1758 from ordinarymath/list_tactic_THEN1 docker-ci #1223: Commit 0f9e93b pushed by xrchz
2h 14m 7s develop
develop
2h 14m 7s
Merge pull request #1760 from charles-cooper/feat-maxheap-cli docker-ci #1222: Commit 517c737 pushed by xrchz
2h 18m 23s develop
develop
2h 18m 23s
Overlooked occurrence of SPLITP_AUX, replaced by SPLITP_TAILREC docker-ci #1221: Commit 6928ff8 pushed by konrad-slind
2h 7m 56s develop
develop
2h 7m 56s
replace SPLITP_AUX by a more computationally efficient definition docker-ci #1220: Commit 0a2539f pushed by konrad-slind
2h 16m 59s develop
develop
2h 16m 59s
Merge pull request #1754 from charles-cooper/fix-zero-mode-error-reco… docker-ci #1219: Commit f4bd5b8 pushed by xrchz
2h 25m 13s develop
develop
2h 25m 13s
Merge pull request #1748 from ordinarymath/faster_diningcryptos docker-ci #1218: Commit 85fa1a5 pushed by xrchz
2h 7m 26s develop
develop
2h 7m 26s
Merge pull request #1742 from pylasnier/kak docker-ci #1217: Commit 281d64f pushed by xrchz
2h 11m 32s develop
develop
2h 11m 32s
Merge pull request #1753 from HOL-Theorem-Prover/fix_1752 docker-ci #1216: Commit 9f8f9fa pushed by xrchz
2h 7m 49s develop
develop
2h 7m 49s