Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
470 workflow runs
470 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move simple_assert to Lib docker-ci #453: Commit f037e2c pushed by mn200
June 6, 2024 23:20 2h 4m 34s develop
develop
June 6, 2024 23:20 2h 4m 34s
Fix examples/vector given changes in 562bb668f092d docker-ci #452: Commit a103738 pushed by mn200
June 4, 2024 06:32 2h 1m 20s master
master
June 4, 2024 06:32 2h 1m 20s
Fix examples/vector given changes in 562bb668f092d docker-ci #451: Commit a103738 pushed by mn200
June 3, 2024 01:18 2h 5m 30s develop
develop
June 3, 2024 01:18 2h 5m 30s
Use correct Hungarian accent in Kőnig Lemma comment docker-ci #450: Commit 1253e33 pushed by mn200
May 31, 2024 04:42 2h 6m 8s develop
develop
May 31, 2024 04:42 2h 6m 8s
HolSmt: initial support for the exponential function docker-ci #449: Commit 495e1a7 pushed by mn200
May 31, 2024 00:37 2h 3m 42s develop
develop
May 31, 2024 00:37 2h 3m 42s
FTBFS docker-ci #448: Commit fe6fe54 pushed by mn200
May 31, 2024 00:31 2h 7m 39s develop
develop
May 31, 2024 00:31 2h 7m 39s
[ringLib] RING_TAC|RULE ported from HOL-Light docker-ci #447: Commit 77d5e30 pushed by mn200
May 31, 2024 00:30 2h 3m 23s develop
develop
May 31, 2024 00:30 2h 3m 23s
Git-ignore generated HTML in examples/generic_finite_graphs docker-ci #446: Commit 7dc35fb pushed by mn200
May 24, 2024 07:05 2h 2m 31s develop
develop
May 24, 2024 07:05 2h 2m 31s
Fixed intLib to avoid noisy output; some cleanups in hurdUtils docker-ci #445: Commit 19857c9 pushed by mn200
May 24, 2024 06:27 2h 2m 31s master
master
May 24, 2024 06:27 2h 2m 31s
Fixed intLib to avoid noisy output; some cleanups in hurdUtils docker-ci #444: Commit 19857c9 pushed by mn200
May 22, 2024 11:23 2h 2m 21s develop
develop
May 22, 2024 11:23 2h 2m 21s
Fix parsing issues with src/ring/src/EVAL_* docker-ci #443: Commit afa5534 pushed by mn200
May 22, 2024 10:30 1h 57m 23s develop
develop
May 22, 2024 10:30 1h 57m 23s
Modernise syntax for Turing machine example docker-ci #442: Commit 8ccf8cf pushed by mn200
May 22, 2024 03:17 2h 0m 43s develop
develop
May 22, 2024 03:17 2h 0m 43s
HOL-Light's INTEGER_TAC (#1238) docker-ci #441: Commit f6c3ef2 pushed by mn200
May 21, 2024 06:45 1h 59m 8s develop
develop
May 21, 2024 06:45 1h 59m 8s
Define simultaneous substitution for lambda/basics/cterm docker-ci #440: Commit fe0e72d pushed by mn200
May 20, 2024 06:33 1h 57m 16s master
master
May 20, 2024 06:33 1h 57m 16s
Define simultaneous substitution for lambda/basics/cterm docker-ci #439: Commit fe0e72d pushed by mn200
May 16, 2024 07:09 2h 2m 20s develop
develop
May 16, 2024 07:09 2h 2m 20s
Automatically simplify numeral subtractions in ℝ docker-ci #438: Commit c0974a7 pushed by mn200
May 16, 2024 04:52 1h 55m 39s develop
develop
May 16, 2024 04:52 1h 55m 39s
Document mapPartial in DESCRIPTION docker-ci #437: Commit f0bc0d8 pushed by mn200
May 15, 2024 06:51 1h 57m 17s develop
develop
May 15, 2024 06:51 1h 57m 17s
Define a mapPartial function in listTheory docker-ci #436: Commit 24748e9 pushed by mn200
May 15, 2024 05:11 2h 2m 16s develop
develop
May 15, 2024 05:11 2h 2m 16s
Create an INCLUDES line for Keccak example docker-ci #435: Commit 013b195 pushed by mn200
May 14, 2024 05:46 1h 58m 39s develop
develop
May 14, 2024 05:46 1h 58m 39s
Combined group and ring theories from examples/algebra to core librar… docker-ci #434: Commit e780a0d pushed by mn200
May 14, 2024 04:53 1h 56m 53s develop
develop
May 14, 2024 04:53 1h 56m 53s
add lowercase rewrite tactics docker-ci #433: Commit 7f59049 pushed by mn200
May 14, 2024 04:47 1h 52m 18s develop
develop
May 14, 2024 04:47 1h 52m 18s
Get examples/Crypto/Keccak to build at selftest level 1 docker-ci #432: Commit 63d7fac pushed by mn200
May 14, 2024 04:45 1h 53m 21s develop
develop
May 14, 2024 04:45 1h 53m 21s
add mk_bool docker-ci #431: Commit b4a4201 pushed by mn200
May 11, 2024 01:43 1h 56m 1s develop
develop
May 11, 2024 01:43 1h 56m 1s
Fix a broken INCLUDES line docker-ci #430: Commit 6862df4 pushed by mn200
May 11, 2024 01:42 1h 56m 5s develop
develop
May 11, 2024 01:42 1h 56m 5s
Get Keccak to evaluate using cv_eval docker-ci #429: Commit c612b6b pushed by xrchz
May 10, 2024 09:50 1h 54m 44s develop
develop
May 10, 2024 09:50 1h 54m 44s