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

[examples/lambda] fix sttScript and tidy some more appstar results docker-ci #221: Commit 30a4efc pushed by mn200
October 4, 2023 23:28 1h 21m 50s develop
develop
October 4, 2023 23:28 1h 21m 50s
[examples/lambda] Remove old-fashioned Store_thm from chap[23]Script docker-ci #220: Commit 15fc2d3 pushed by mn200
October 4, 2023 06:09 49m 21s develop
develop
October 4, 2023 06:09 49m 21s
[examples/lambda] Some minor tweaks to results about appstar docker-ci #219: Commit b1932f5 pushed by mn200
October 4, 2023 05:57 1h 27m 48s develop
develop
October 4, 2023 05:57 1h 27m 48s
Document allow_rebinds etc in release notes docker-ci #218: Commit 020ebdf pushed by mn200
October 4, 2023 05:16 1h 26m 9s develop
develop
October 4, 2023 05:16 1h 26m 9s
Improved hnf_appstar and abs_betastar, etc. after code review @mn200 docker-ci #217: Commit cc9a0ec pushed by mn200
October 4, 2023 02:49 1h 22m 17s develop
develop
October 4, 2023 02:49 1h 22m 17s
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
Fix simplification of real$NUM_CEILING docker-ci #216: Commit e1813ff pushed by mn200
October 3, 2023 04:56 1h 30m 52s develop
develop
October 3, 2023 04:56 1h 30m 52s
Fix ARM_security_properties example in face of theorem-rebinds docker-ci #215: Commit 5641a93 pushed by mn200
October 3, 2023 04:30 1h 26m 12s develop
develop
October 3, 2023 04:30 1h 26m 12s
Get examples/lambda/examples to build once more docker-ci #214: Commit 491f509 pushed by mn200
September 29, 2023 07:32 1h 26m 31s develop
develop
September 29, 2023 07:32 1h 26m 31s
Make case p/print nicely for itreeTau docker-ci #213: Commit 9bcacdb pushed by mn200
September 28, 2023 10:28 1h 23m 23s develop
develop
September 28, 2023 10:28 1h 23m 23s
added wbisim of bind-tau simp Michael suggested docker-ci #212: Commit 8fcf6e0 pushed by mn200
September 28, 2023 10:14 1h 25m 10s develop
develop
September 28, 2023 10:14 1h 25m 10s
Making solvable_iff_solvable_LAM an automatic rewrite rule docker-ci #211: Commit ab08535 pushed by mn200
September 28, 2023 09:46 1h 32m 40s develop
develop
September 28, 2023 09:46 1h 32m 40s
Remove unnecessary global override allowing rebinds from jcLib.sml docker-ci #210: Commit 6c35bc4 pushed by mn200
September 28, 2023 08:16 1h 28m 49s develop
develop
September 28, 2023 08:16 1h 28m 49s
Clean more TeX mungers in the TeX-munging regression test directory docker-ci #209: Commit 2bc990f pushed by mn200
September 28, 2023 08:08 1h 29m 22s develop
develop
September 28, 2023 08:08 1h 29m 22s
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
Remove more duplicate theorem bindings docker-ci #208: Commit 563c048 pushed by mn200
September 28, 2023 03:36 1h 20m 9s develop
develop
September 28, 2023 03:36 1h 20m 9s
Fix duplicate theorem name docker-ci #207: Commit fa6b9fd pushed by mn200
September 28, 2023 00:27 1h 31m 45s develop
develop
September 28, 2023 00:27 1h 31m 45s
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
Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop docker-ci #206: Commit cb97d6e pushed by mn200
September 27, 2023 06:00 1h 22m 28s develop
develop
September 27, 2023 06:00 1h 22m 28s
Merge pull request #1146 from jhlchan/fermat docker-ci #205: Commit c8e72f9 pushed by mn200
September 26, 2023 00:33 1h 31m 58s develop
develop
September 26, 2023 00:33 1h 31m 58s
Fermat docker-ci-for-pr #85: Pull request #1146 synchronize by jhlchan
September 25, 2023 08:53 1h 22m 7s jhlchan:fermat
jhlchan:fermat
September 25, 2023 08:53 1h 22m 7s