Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fermat docker-ci-for-pr #84: Pull request #1146 synchronize by jhlchan
September 23, 2023 00:32 1h 22m 3s jhlchan:fermat
jhlchan:fermat
September 23, 2023 00:32 1h 22m 3s
Fermat docker-ci-for-pr #83: Pull request #1146 synchronize by jhlchan
September 23, 2023 00:13 1h 22m 59s jhlchan:fermat
jhlchan:fermat
September 23, 2023 00:13 1h 22m 59s
Fermat docker-ci-for-pr #82: Pull request #1146 synchronize by jhlchan
September 22, 2023 15:05 1h 20m 13s jhlchan:fermat
jhlchan:fermat
September 22, 2023 15:05 1h 20m 13s
Fermat docker-ci-for-pr #81: Pull request #1146 synchronize by jhlchan
September 22, 2023 03:30 1h 22m 37s jhlchan:fermat
jhlchan:fermat
September 22, 2023 03:30 1h 22m 37s
More fixes to multiple-rebinds of theorems under same name docker-ci #204: Commit cc08422 pushed by mn200
September 22, 2023 03:20 1h 2m 27s develop
develop
September 22, 2023 03:20 1h 2m 27s
Fermat docker-ci-for-pr #80: Pull request #1146 synchronize by jhlchan
September 21, 2023 05:56 1h 29m 21s jhlchan:fermat
jhlchan:fermat
September 21, 2023 05:56 1h 29m 21s
More fixes to multiple-rebinds of theorems under same name docker-ci #203: Commit 900bf74 pushed by mn200
September 21, 2023 00:07 1h 4m 31s develop
develop
September 21, 2023 00:07 1h 4m 31s
More fixes to multiple-rebinds of theorems under same name docker-ci #202: Commit 58d0603 pushed by mn200
September 17, 2023 10:30 58m 11s develop
develop
September 17, 2023 10:30 58m 11s
More fixes to multiple-rebinds of theorems under same name docker-ci #201: Commit b404802 pushed by mn200
September 15, 2023 00:00 1h 3m 59s develop
develop
September 15, 2023 00:00 1h 3m 59s
Allow many theorem rebinds under examples/{algebra,fermat} docker-ci #200: Commit 0f1309e pushed by mn200
September 13, 2023 04:57 57m 13s develop
develop
September 13, 2023 04:57 57m 13s
Fix error in nfmbstScript.sml docker-ci #199: Commit 63228ef pushed by mn200
September 13, 2023 00:33 1h 0m 22s develop
develop
September 13, 2023 00:33 1h 0m 22s
Parallelise many Holmake test cases docker-ci #198: Commit e985be8 pushed by mn200
September 11, 2023 04:54 15m 31s develop
develop
September 11, 2023 04:54 15m 31s
More transfer-relevant results about (simple-minded) binary trees docker-ci #197: Commit 0692807 pushed by mn200
September 11, 2023 04:41 2m 27s develop
develop
September 11, 2023 04:41 2m 27s
Fix more duplicated theorems after breakage caused by 705d331db97 docker-ci #196: Commit 44a6680 pushed by mn200
September 11, 2023 00:52 18m 38s develop
develop
September 11, 2023 00:52 18m 38s
Fix for Theory.allow_rebinds docker-ci #195: Commit fc9eb64 pushed by myreen
September 10, 2023 16:52 19m 40s develop
develop
September 10, 2023 16:52 19m 40s
Tighten transfer theory linking finite maps to sptrees docker-ci #194: Commit 5e5587f pushed by mn200
September 9, 2023 03:03 18m 11s develop
develop
September 9, 2023 03:03 18m 11s
Fix more duplicated rewrites after breakage caused by 705d331db97 docker-ci #193: Commit 326d0b0 pushed by mn200
September 9, 2023 01:07 15m 34s develop
develop
September 9, 2023 01:07 15m 34s
Fixed duplicated theorems after the forbidden "rebinds" changes docker-ci #192: Commit 64b350e pushed by mn200
September 8, 2023 06:50 19m 38s develop
develop
September 8, 2023 06:50 19m 38s
Fixed duplicated theorems after the forbidden "rebinds" changes docker-ci-for-pr #74: Pull request #1144 opened by binghe
September 8, 2023 02:47 20m 21s binghe:rebinds.fix
binghe:rebinds.fix
September 8, 2023 02:47 20m 21s
Forbid "rebinds" of exported theorems docker-ci #191: Commit 705d331 pushed by mn200
September 7, 2023 07:40 16m 21s develop
develop
September 7, 2023 07:40 16m 21s
Add simp rule to eliminate tau's under weak bisimulation docker-ci #190: Commit cff397e pushed by mn200
September 6, 2023 12:10 1h 35m 58s master
master
September 6, 2023 12:10 1h 35m 58s
Add simp rule to eliminate tau's under weak bisimulation docker-ci #189: Commit cff397e pushed by mn200
September 5, 2023 04:20 3m 3s develop
develop
September 5, 2023 04:20 3m 3s
Fix a shadowed lemma name docker-ci #188: Commit 398e682 pushed by mn200
September 5, 2023 04:19 2m 53s develop
develop
September 5, 2023 04:19 2m 53s
Fix a shadowed lemma name docker-ci-for-pr #73: Pull request #1143 opened by IlmariReissumies
September 5, 2023 03:49 1h 27m 16s itree-shadow
itree-shadow
September 5, 2023 03:49 1h 27m 16s