Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
892 workflow runs
892 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[lambda] agree_upto_lemma (enhanced) docker-ci-for-pr #484: Pull request #1354 synchronize by binghe
November 29, 2024 00:59 1h 59m 44s binghe:agree_upto.fix
binghe:agree_upto.fix
November 29, 2024 00:59 1h 59m 44s
Adjust test file for issue #1353 docker-ci #640: Commit a30f078 pushed by mn200
November 29, 2024 00:51 2h 3m 46s develop
develop
November 29, 2024 00:51 2h 3m 46s
[lambda] agree_upto_lemma (enhanced) docker-ci-for-pr #483: Pull request #1354 synchronize by binghe
November 29, 2024 00:21 10m 7s binghe:agree_upto.fix
binghe:agree_upto.fix
November 29, 2024 00:21 10m 7s
fix #1353 docker-ci #639: Commit a166853 pushed by mn200
November 28, 2024 23:06 1h 59m 45s develop
develop
November 28, 2024 23:06 1h 59m 45s
fix #1353 docker-ci-for-pr #482: Pull request #1355 opened by digama0
November 28, 2024 08:10 2h 2m 50s digama0:fix1353
digama0:fix1353
November 28, 2024 08:10 2h 2m 50s
[lambda] agree_upto_lemma (enhanced) docker-ci-for-pr #481: Pull request #1354 opened by binghe
November 28, 2024 05:22 1h 57m 55s binghe:agree_upto.fix
binghe:agree_upto.fix
November 28, 2024 05:22 1h 57m 55s
Write regression test for Holmake looping bug docker-ci #638: Commit 998d07f pushed by mn200
November 28, 2024 00:00 2h 0m 24s develop
develop
November 28, 2024 00:00 2h 0m 24s
Revert "Start drafting definition of SHA2-256" docker-ci #637: Commit 764eb28 pushed by mn200
November 27, 2024 22:57 2h 1m 48s develop
develop
November 27, 2024 22:57 2h 1m 48s
Start drafting definition of SHA2-256 docker-ci #636: Commit d3b8279 pushed by xrchz
November 27, 2024 15:43 2h 1m 2s develop
develop
November 27, 2024 15:43 2h 1m 2s
Fix (last few(?)) compile-time errors caused by located_thms docker-ci #635: Commit 01016dc pushed by mn200
November 27, 2024 10:04 2h 4m 4s master
master
November 27, 2024 10:04 2h 4m 4s
Fix (last few(?)) compile-time errors caused by located_thms docker-ci #634: Commit 01016dc pushed by mn200
November 27, 2024 10:03 2h 12m 14s develop
develop
November 27, 2024 10:03 2h 12m 14s
When TFL complains about multiple def'ns, list offending names docker-ci #633: Commit 9e17096 pushed by mn200
November 26, 2024 05:35 2h 2m 39s develop
develop
November 26, 2024 05:35 2h 2m 39s
Fix DES example Holmakefile to reference src/probability docker-ci #632: Commit 2f93260 pushed by mn200
November 26, 2024 01:14 2h 3m 29s develop
develop
November 26, 2024 01:14 2h 3m 29s
Adjust list theorems to return to previous quantification order docker-ci #631: Commit c9c025c pushed by mn200
November 26, 2024 00:30 2h 3m 17s develop
develop
November 26, 2024 00:30 2h 3m 17s
Add Differential Cryptanalysis and RC5 (#1352) docker-ci #630: Commit d2da44b pushed by mn200
November 25, 2024 04:54 2h 2m 48s develop
develop
November 25, 2024 04:54 2h 2m 48s
Add Differential Cryptanalysis and RC5 docker-ci-for-pr #480: Pull request #1352 synchronize by gengarrrr
November 23, 2024 09:46 1h 56m 30s gengarrrr:gengarr_dev
gengarrrr:gengarr_dev
November 23, 2024 09:46 1h 56m 30s
Add Differential Cryptanalysis and RC5 docker-ci-for-pr #479: Pull request #1352 synchronize by gengarrrr
November 23, 2024 09:46 2h 2m 30s gengarrrr:gengarr_dev
gengarrrr:gengarr_dev
November 23, 2024 09:46 2h 2m 30s
Add Differential Cryptanalysis and RC5 docker-ci-for-pr #478: Pull request #1352 opened by gengarrrr
November 23, 2024 09:11 1h 59m 41s gengarrrr:gengarr_dev
gengarrrr:gengarr_dev
November 23, 2024 09:11 1h 59m 41s
Merge pull request #1333 from digama0/holparser docker-ci #629: Commit 468671a pushed by mn200
November 22, 2024 02:52 2h 2m 21s develop
develop
November 22, 2024 02:52 2h 2m 21s
Fix some more located_thms breakages docker-ci #628: Commit 59560b9 pushed by mn200
November 20, 2024 01:52 2h 6m 2s develop
develop
November 20, 2024 01:52 2h 6m 2s
[lambda] agree_upto_lemma docker-ci #627: Commit c4354df pushed by mn200
November 19, 2024 22:50 2h 5m 10s develop
develop
November 19, 2024 22:50 2h 5m 10s
Updated Dockerfile for CI tests docker-ci #626: Commit 9dd75ae pushed by mn200
November 19, 2024 22:49 1h 58m 17s develop
develop
November 19, 2024 22:49 1h 58m 17s
Updated Dockerfile for CI tests docker-ci-for-pr #477: Pull request #1349 opened by binghe
November 19, 2024 09:12 2h 1m 24s binghe:docker-ci
binghe:docker-ci
November 19, 2024 09:12 2h 1m 24s
[lambda] agree_upto_lemma docker-ci-for-pr #476: Pull request #1348 opened by binghe
November 19, 2024 06:22 2h 5m 51s binghe:agree_upto_lemma
binghe:agree_upto_lemma
November 19, 2024 06:22 2h 5m 51s
Fix compile-time error caused by cbe5e93ad16 docker-ci #625: Commit 0b5c4b3 pushed by mn200
November 19, 2024 04:58 1h 57m 11s develop
develop
November 19, 2024 04:58 1h 57m 11s