Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci-for-pr

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci-for-pr.yml
58 workflow run results
58 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Initial boehm_treeTheory (up to dhnf_cases) docker-ci-for-pr #104: Pull request #1157 synchronize by binghe
October 25, 2023 00:31 1h 25m 9s binghe:boehm_tree.1
binghe:boehm_tree.1
October 25, 2023 00:31 1h 25m 9s
Initial boehm_treeTheory (up to dhnf_cases) docker-ci-for-pr #103: Pull request #1157 synchronize by binghe
October 25, 2023 00:14 1h 27m 33s binghe:boehm_tree.1
binghe:boehm_tree.1
October 25, 2023 00:14 1h 27m 33s
Initial boehm_treeTheory (up to dhnf_cases) docker-ci-for-pr #102: Pull request #1157 opened by binghe
October 24, 2023 14:54 1h 34m 16s binghe:boehm_tree.1
binghe:boehm_tree.1
October 24, 2023 14:54 1h 34m 16s
Lambda term is solvable iff it has hnf (head normal form) docker-ci-for-pr #101: Pull request #1156 synchronize by binghe
October 15, 2023 23:17 1h 22m 52s binghe:solvable_iff_has_hnf
binghe:solvable_iff_has_hnf
October 15, 2023 23:17 1h 22m 52s
Lambda term is solvable iff it has hnf (head normal form) docker-ci-for-pr #100: Pull request #1156 opened by binghe
October 15, 2023 22:34 1h 28m 15s binghe:solvable_iff_has_hnf
binghe:solvable_iff_has_hnf
October 15, 2023 22:34 1h 28m 15s
itree_iter respects wbisim + strong bisimulation docker-ci-for-pr #99: Pull request #1152 synchronize by Plisp
October 9, 2023 04:24 1h 24m 50s Plisp:develop
Plisp:develop
October 9, 2023 04:24 1h 24m 50s
itree_iter respects wbisim + strong bisimulation docker-ci-for-pr #98: Pull request #1152 synchronize by Plisp
October 7, 2023 00:01 1h 25m 40s Plisp:develop
Plisp:develop
October 7, 2023 00:01 1h 25m 40s
itree_iter respects wbisim + strong bisimulation docker-ci-for-pr #97: Pull request #1152 synchronize by Plisp
October 6, 2023 23:57 2m 27s Plisp:develop
Plisp:develop
October 6, 2023 23:57 2m 27s
head reduction is substitutive (Lemma 8.3.12) docker-ci-for-pr #96: Pull request #1155 opened by binghe
October 6, 2023 01:41 1h 23m 39s binghe:hreduce1_substitutive
binghe:hreduce1_substitutive
October 6, 2023 01:41 1h 23m 39s
itree_iter respects wbisim + strong bisimulation docker-ci-for-pr #95: Pull request #1152 synchronize by Plisp
October 5, 2023 11:28 1h 33m 54s Plisp:develop
Plisp:develop
October 5, 2023 11:28 1h 33m 54s
itree_iter respects wbisim + strong bisimulation docker-ci-for-pr #94: Pull request #1152 opened by Plisp
October 5, 2023 06:27 2m 10s Plisp:develop
Plisp:develop
October 5, 2023 06:27 2m 10s
more results of terms having head normal forms (has_hnf) docker-ci-for-pr #93: Pull request #1150 synchronize by binghe
October 4, 2023 00:15 1h 29m 32s binghe:has_hnf_iff_LAM
binghe:has_hnf_iff_LAM
October 4, 2023 00:15 1h 29m 32s
more results of terms having head normal forms (has_hnf) docker-ci-for-pr #92: Pull request #1150 synchronize by binghe
October 3, 2023 12:45 1h 32m 2s binghe:has_hnf_iff_LAM
binghe:has_hnf_iff_LAM
October 3, 2023 12:45 1h 32m 2s
more results of terms having head normal forms (has_hnf) docker-ci-for-pr #91: Pull request #1150 opened by binghe
October 3, 2023 12:09 1h 30m 13s binghe:has_hnf_iff_LAM
binghe:has_hnf_iff_LAM
October 3, 2023 12:09 1h 30m 13s
Initial work on the theory of solvable terms docker-ci-for-pr #90: Pull request #1148 synchronize by binghe
September 28, 2023 07:41 1h 23m 40s binghe:solvableTheory
binghe:solvableTheory
September 28, 2023 07:41 1h 23m 40s
Initial work on the theory of solvable terms docker-ci-for-pr #89: Pull request #1148 synchronize by binghe
September 28, 2023 04:43 1h 36m 38s binghe:solvableTheory
binghe:solvableTheory
September 28, 2023 04:43 1h 36m 38s
Initial work on the theory of solvable terms docker-ci-for-pr #88: Pull request #1148 synchronize by binghe
September 27, 2023 06:59 1h 19m 42s binghe:solvableTheory
binghe:solvableTheory
September 27, 2023 06:59 1h 19m 42s
Initial work on the theory of solvable terms docker-ci-for-pr #87: Pull request #1148 opened by binghe
September 27, 2023 06:27 1h 34m 47s binghe:solvableTheory
binghe:solvableTheory
September 27, 2023 06:27 1h 34m 47s