Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253 workflow run results
253 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[emacs-mode] Handle new Inductive label syntaxes docker-ci #253: Commit be29184 pushed by mn200
November 8, 2023 03:20 55m 14s develop
develop
November 8, 2023 03:20 55m 14s
Done unsolvable_Omega docker-ci #252: Commit 8f50546 pushed by mn200
November 6, 2023 03:45 1h 26m 31s develop
develop
November 6, 2023 03:45 1h 26m 31s
[examples/lambda] Demonstrate transfer of hnf_cases to pure_db docker-ci #251: Commit f9a10b2 pushed by mn200
November 6, 2023 03:26 55m 1s develop
develop
November 6, 2023 03:26 55m 1s
[examples/lambda] fix proof broken by making fromTerm_11 automatic docker-ci #250: Commit f62315a pushed by mn200
November 5, 2023 23:50 1h 34m 32s develop
develop
November 5, 2023 23:50 1h 34m 32s
[examples/lambda] fix duplicate theorem error in previous commit docker-ci #249: Commit 79234d8 pushed by mn200
November 5, 2023 23:16 1h 17m 37s develop
develop
November 5, 2023 23:16 1h 17m 37s
[examples/lambda] Set up transfer "tech" for pdb<->term connection docker-ci #248: Commit 34b7ae8 pushed by mn200
November 3, 2023 05:38 1h 33m 50s develop
develop
November 3, 2023 05:38 1h 33m 50s
Principle head normal forms (principle_hnf) docker-ci-for-pr #112: Pull request #1162 synchronize by binghe
November 2, 2023 10:38 1h 27m 11s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 10:38 1h 27m 11s
Principle head normal forms (principle_hnf) docker-ci-for-pr #111: Pull request #1162 synchronize by binghe
November 2, 2023 05:24 1h 22m 25s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 05:24 1h 22m 25s
Principle head normal forms (principle_hnf) docker-ci-for-pr #110: Pull request #1162 opened by binghe
November 2, 2023 04:31 1h 33m 39s binghe:principle_hnf
binghe:principle_hnf
November 2, 2023 04:31 1h 33m 39s
Make "is_comb_appstar_exists" an iff docker-ci #247: Commit 63067d0 pushed by mn200
November 2, 2023 01:07 1h 48m 59s master
master
November 2, 2023 01:07 1h 48m 59s
Make "is_comb_appstar_exists" an iff docker-ci #246: Commit 63067d0 pushed by mn200
November 1, 2023 05:25 1h 23m 50s develop
develop
November 1, 2023 05:25 1h 23m 50s
{Co,}Inductive rule labels now replace conj'ns entirely docker-ci #245: Commit 91e2a37 pushed by mn200
November 1, 2023 05:23 1h 23m 38s develop
develop
November 1, 2023 05:23 1h 23m 38s
Reworked "strange_cases" by the newly added "term_laml_cases" docker-ci-for-pr #109: Pull request #1161 synchronize by binghe
November 1, 2023 01:26 1h 35m 59s binghe:hnf_cases
binghe:hnf_cases
November 1, 2023 01:26 1h 35m 59s
Reworked "strange_cases" by the newly added "term_laml_cases" docker-ci-for-pr #108: Pull request #1161 synchronize by binghe
October 31, 2023 10:28 1h 39m 13s binghe:hnf_cases
binghe:hnf_cases
October 31, 2023 10:28 1h 39m 13s
Reworked "strange_cases" by the newly added "term_laml_cases" docker-ci-for-pr #107: Pull request #1161 opened by binghe
October 31, 2023 06:59 1h 27m 0s binghe:hnf_cases
binghe:hnf_cases
October 31, 2023 06:59 1h 27m 0s
[examples/lambda] Tweak some simultaneous substitution results docker-ci #244: Commit b0fd7e4 pushed by mn200
October 30, 2023 23:50 1h 27m 9s develop
develop
October 30, 2023 23:50 1h 27m 9s
Stub vsynth's date implementation with a fake to workaround a bug docker-ci #243: Commit 0ed59af pushed by mn200
October 30, 2023 03:22 1h 23m 22s develop
develop
October 30, 2023 03:22 1h 23m 22s
Flush stdout after outputting debug message docker-ci #242: Commit ba7ca92 pushed by mn200
October 29, 2023 23:08 1h 23m 30s develop
develop
October 29, 2023 23:08 1h 23m 30s
Flush stdout after outputting debug message docker-ci-for-pr #106: Pull request #1160 opened by someplaceguy
October 29, 2023 17:38 1h 26m 35s someplaceguy:debugload
someplaceguy:debugload
October 29, 2023 17:38 1h 26m 35s
Trivial cosmetic fix to Poly/ML configuration output docker-ci #241: Commit 5196d64 pushed by mn200
October 29, 2023 04:24 1h 34m 28s develop
develop
October 29, 2023 04:24 1h 34m 28s
Renamed LAMl (overloaded for dB terms) to dLAMl (to avoid confusing) docker-ci #240: Commit 4f44597 pushed by mn200
October 26, 2023 02:35 1h 33m 8s master
master
October 26, 2023 02:35 1h 33m 8s
[examples/lambda] clean up EXTRA_CLEANS in a couple of Holmakefiles docker-ci #239: Commit 117737b pushed by mn200
October 25, 2023 23:42 1h 23m 16s develop
develop
October 25, 2023 23:42 1h 23m 16s
Renamed LAMl (overloaded for dB terms) to dLAMl (to avoid confusing) docker-ci #238: Commit 4f44597 pushed by mn200
October 25, 2023 04:17 1h 36m 33s develop
develop
October 25, 2023 04:17 1h 36m 33s
Fix omitted dependency information in some Holmakefiles docker-ci #237: Commit b0bf71b pushed by mn200
October 25, 2023 03:57 1h 29m 37s develop
develop
October 25, 2023 03:57 1h 29m 37s
Fix a proof broken by 904e33c99 docker-ci #236: Commit 58f77a6 pushed by mn200
October 25, 2023 00:48 1h 31m 1s develop
develop
October 25, 2023 00:48 1h 31m 1s