Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,611 workflow runs
1,611 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
Add --dumpheap and -g flags for Holmake (issue #1917) docker-ci-for-pr #1537: Pull request #1928 synchronize by charles-cooper
2h 39m 29s charles-cooper:dumpheap
charles-cooper:dumpheap
2h 39m 29s
Add --dumpheap and -g flags for Holmake (issue #1917) docker-ci-for-pr #1536: Pull request #1928 synchronize by charles-cooper
2h 17m 18s charles-cooper:dumpheap
charles-cooper:dumpheap
2h 17m 18s
Add --dumpheap and -g flags for Holmake (issue #1917) docker-ci-for-pr #1535: Pull request #1928 synchronize by charles-cooper
2h 16m 43s charles-cooper:dumpheap
charles-cooper:dumpheap
2h 16m 43s
Add build --nodoc option docker-ci-for-pr #1534: Pull request #1926 synchronize by inaciovasquez2020
Action required inaciovasquez2020:feature-build-nodoc
inaciovasquez2020:feature-build-nodoc
Action required
Add build --nodoc option docker-ci-for-pr #1533: Pull request #1926 synchronize by inaciovasquez2020
Action required inaciovasquez2020:feature-build-nodoc
inaciovasquez2020:feature-build-nodoc
Action required
Add PFT replay module docker-ci-for-pr #1532: Pull request #1927 opened by xrchz
2h 21m 24s pftreplay
pftreplay
2h 21m 24s
Add build --nodoc option docker-ci-for-pr #1531: Pull request #1926 opened by inaciovasquez2020
1m 59s inaciovasquez2020:feature-build-nodoc
inaciovasquez2020:feature-build-nodoc
1m 59s
Some lemmas about eta-reduction and beta-eta equivalence docker-ci-for-pr #1530: Pull request #1919 synchronize by binghe
2h 32m 31s binghe:lameta_lemmas
binghe:lameta_lemmas
2h 32m 31s
Add HOL parse trees to LSP server docker-ci-for-pr #1529: Pull request #1906 synchronize by xrchz
2h 31m 25s lspnew
lspnew
2h 31m 25s
Fix nested suspense/resume proofs docker-ci-for-pr #1528: Pull request #1923 opened by mrichards30
2h 26m 0s mrichards30:fix-nested-susp
mrichards30:fix-nested-susp
2h 26m 0s
Get longcmdlock selftest to pass under Moscow ML docker-ci #1452: Commit 1d7b982 pushed by mn200
2h 35m 45s develop
develop
2h 35m 45s
Include new longcmdlock selftest for Holmake in std. sequence docker-ci #1451: Commit f439019 pushed by mn200
2h 20m 12s develop
develop
2h 20m 12s
Don't use long command filename for locks (#1921) docker-ci #1450: Commit 86a5d9b pushed by mn200
2h 18m 54s develop
develop
2h 18m 54s
Don't use long command filename for locks docker-ci-for-pr #1527: Pull request #1921 opened by xrchz
2h 16m 13s concurrency
concurrency
2h 16m 13s
Some lemmas about eta-reduction and beta-eta equivalence docker-ci-for-pr #1526: Pull request #1919 synchronize by binghe
2h 22m 12s binghe:lameta_lemmas
binghe:lameta_lemmas
2h 22m 12s
Functional suspend/Resume (#1912) docker-ci #1449: Commit 602e639 pushed by mn200
2h 14m 50s develop
develop
2h 14m 50s
Functional suspend/Resume docker-ci-for-pr #1525: Pull request #1912 synchronize by xrchz
2h 32m 17s resumelater
resumelater
2h 32m 17s
Functional suspend/Resume docker-ci-for-pr #1524: Pull request #1912 synchronize by xrchz
4m 44s resumelater
resumelater
4m 44s
Some lemmas about eta-reduction and beta-eta equivalence docker-ci-for-pr #1523: Pull request #1919 opened by binghe
2h 36m 11s binghe:lameta_lemmas
binghe:lameta_lemmas
2h 36m 11s
Start on work to remove large comments from *Theory.sig files docker-ci #1448: Commit 1ea272c pushed by mn200
2h 36m 13s develop
develop
2h 36m 13s
[emacs-mode] Provide add-unicode to pair w/remove-unicode; change keys docker-ci #1447: Commit 27b28d2 pushed by mn200
2h 14m 41s develop
develop
2h 14m 41s
perf: avoid unnecessary uptodate checks docker-ci-for-pr #1522: Pull request #1918 synchronize by digama0
2h 34m 17s retire_epoch
retire_epoch
2h 34m 17s
perf: avoid unnecessary uptodate checks docker-ci-for-pr #1521: Pull request #1918 opened by digama0
14m 25s retire_epoch
retire_epoch
14m 25s
Add support for Holmake building from a cache (#1911) docker-ci #1446: Commit e26190f pushed by mn200
2h 20m 42s develop
develop
2h 20m 42s
Add support for Holmake building from a cache docker-ci-for-pr #1520: Pull request #1911 synchronize by mrichards30
2h 21m 44s mrichards30:holmake-cache
mrichards30:holmake-cache
2h 21m 44s