Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,597 workflow runs
1,597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: Check that pre-Holmake works without mlton docker-ci-for-pr #1483: Pull request #1896 reopened by dnezam
2h 36m 58s ci-non-mlton
ci-non-mlton
2h 36m 58s
Inapplicability of gauge_higher_differentiable_lemma (#1897) docker-ci #1426: Commit d48404d pushed by mn200
2h 17m 42s develop
develop
2h 17m 42s
Fix Systeml.sml move error (#1895) docker-ci #1425: Commit 217fca4 pushed by mn200
2h 17m 53s develop
develop
2h 17m 53s
Inapplicable of gauge_higher_differentiable_lemma docker-ci-for-pr #1482: Pull request #1897 synchronize by binghe
2h 26m 5s binghe:inapplicable
binghe:inapplicable
2h 26m 5s
Inapplicable of gauge_higher_differentiable_lemma docker-ci-for-pr #1481: Pull request #1897 opened by binghe
2h 21m 3s binghe:inapplicable
binghe:inapplicable
2h 21m 3s
holide: switch from HolParserOld to new HOLSource parser docker-ci-for-pr #1480: Pull request #1894 synchronize by dnezam
2h 18m 30s holide
holide
2h 18m 30s
Fix non-mlton build docker-ci-for-pr #1479: Pull request #1895 synchronize by dnezam
2h 23m 26s fix-mlton-none
fix-mlton-none
2h 23m 26s
CI: Check that pre-Holmake works without mlton docker-ci-for-pr #1478: Pull request #1896 opened by dnezam
48m 49s ci-non-mlton
ci-non-mlton
48m 49s
Fix non-mlton build docker-ci-for-pr #1477: Pull request #1895 opened by dnezam
2h 21m 23s fix-mlton-none
fix-mlton-none
2h 21m 23s
isolate an example of lambda lifting docker-ci #1424: Commit 342bab3 pushed by konrad-slind
2h 43m 14s develop
develop
2h 43m 14s
holide: switch from HolParserOld to new HOLSource parser docker-ci-for-pr #1476: Pull request #1894 opened by xrchz
48m 43s holide
holide
48m 43s
Add infrastructure for building from replayed theorems docker-ci-for-pr #1475: Pull request #1890 synchronize by xrchz
2h 24m 5s thmsrc
thmsrc
2h 24m 5s
Add infrastructure for building from replayed theorems docker-ci-for-pr #1474: Pull request #1890 synchronize by xrchz
2h 23m 50s thmsrc
thmsrc
2h 23m 50s
Cv string fmap docker-ci-for-pr #1473: Pull request #1892 synchronize by myreen
2h 29m 37s cv-string-fmap
cv-string-fmap
2h 29m 37s
Cv string fmap docker-ci-for-pr #1472: Pull request #1892 opened by xrchz
2h 21m 37s cv-string-fmap
cv-string-fmap
2h 21m 37s
Use correct Holmakefile syntax to check for mlton in PATH docker-ci #1423: Commit 850a993 pushed by mn200
2h 24m 7s develop
develop
2h 24m 7s
Support downloading pre-built theory files from an online Holmake cache docker-ci-for-pr #1471: Pull request #1891 synchronize by mrichards30
2h 27m 16s mrichards30:feature/holmake-cache
mrichards30:feature/holmake-cache
2h 27m 16s
Support downloading pre-built theory files from an online Holmake cache docker-ci-for-pr #1470: Pull request #1891 synchronize by mrichards30
2h 26m 19s mrichards30:feature/holmake-cache
mrichards30:feature/holmake-cache
2h 26m 19s
Support downloading pre-built theory files from an online Holmake cache docker-ci-for-pr #1469: Pull request #1891 opened by mrichards30
2h 25m 33s mrichards30:feature/holmake-cache
mrichards30:feature/holmake-cache
2h 25m 33s
Continue fixing fallout from moving Systeml.sml docker-ci #1422: Commit d998205 pushed by mn200
2h 22m 11s develop
develop
2h 22m 11s
Fix and document change to Systeml.sml's generation under Poly/ML docker-ci #1421: Commit bcb3357 pushed by mn200
48m 48s develop
develop
48m 48s
Get dat-printer to compile under Moscow ML + MLton docker-ci #1420: Commit 499fd79 pushed by mn200
48m 59s develop
develop
48m 59s
Get Poly/ML version of dat-printer to also compile docker-ci #1419: Commit 3bb2b9e pushed by mn200
2h 19m 58s develop
develop
2h 19m 58s
Prove integrable_std_normal_density directly; add CLT_Lyapunov (#1888) docker-ci #1418: Commit e9d28dd pushed by mn200
2h 21m 47s develop
develop
2h 21m 47s
Build dat-printer with mlton by default if available docker-ci #1417: Commit b32dc44 pushed by mn200
2h 30m 17s develop
develop
2h 30m 17s