Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a cute problem to examples/misc docker-ci #603: Commit 2de6b3c pushed by mn200
October 31, 2024 05:06 2h 9m 10s master
master
October 31, 2024 05:06 2h 9m 10s
Add a cute problem to examples/misc docker-ci #602: Commit 2de6b3c pushed by mn200
October 30, 2024 04:37 3h 31m 0s develop
develop
October 30, 2024 04:37 3h 31m 0s
mllex: write accepting branches in source order docker-ci #601: Commit a1ea6a0 pushed by mn200
October 30, 2024 03:56 2h 16m 37s master
master
October 30, 2024 03:56 2h 16m 37s
mllex: write accepting branches in source order docker-ci #600: Commit a1ea6a0 pushed by mn200
October 28, 2024 06:12 2h 17m 14s develop
develop
October 28, 2024 06:12 2h 17m 14s
Remove many TABs under tools/ docker-ci #599: Commit 5f7cdc6 pushed by mn200
October 28, 2024 06:09 2h 15m 36s develop
develop
October 28, 2024 06:09 2h 15m 36s
Strengthen conc_lemma and add language conversions to simp docker-ci #598: Commit b021270 pushed by mn200
October 28, 2024 01:05 2h 8m 21s develop
develop
October 28, 2024 01:05 2h 8m 21s
Allow passing .sig files to hol docker-ci #597: Commit f1aefbd pushed by mn200
October 28, 2024 00:30 2h 7m 22s develop
develop
October 28, 2024 00:30 2h 7m 22s
fix doc docker-ci #596: Commit d5d7697 pushed by mn200
October 28, 2024 00:24 2h 9m 35s develop
develop
October 28, 2024 00:24 2h 9m 35s
Revert "Make it apparent (with Poly/ML for now) that Arbint.int = Int… docker-ci #595: Commit d313757 pushed by mn200
October 28, 2024 00:03 2h 13m 20s develop
develop
October 28, 2024 00:03 2h 13m 20s
Provide toReal for Moscow ML Arb{int,num} docker-ci #594: Commit f7bb5bb pushed by mn200
October 27, 2024 23:54 1h 7m 35s develop
develop
October 27, 2024 23:54 1h 7m 35s
Don't attempt to compile src/portableML/JSON code under Moscow ML docker-ci #593: Commit 3ec6fe2 pushed by mn200
October 27, 2024 23:50 1h 11m 41s develop
develop
October 27, 2024 23:50 1h 11m 41s
Fix repl Holmakefile to run all tests; use diff -a docker-ci #592: Commit 8dd3e49 pushed by mn200
October 27, 2024 23:18 1h 42m 14s develop
develop
October 27, 2024 23:18 1h 42m 14s
A couple of useful theorems about NUM_CEILING docker-ci #591: Commit 4fe6a2a pushed by mn200
October 25, 2024 06:47 2h 14m 13s develop
develop
October 25, 2024 06:47 2h 14m 13s
Make it apparent (with Poly/ML for now) that Arbint.int = IntInf.int docker-ci #590: Commit e38b007 pushed by mn200
October 25, 2024 00:33 2h 15m 22s develop
develop
October 25, 2024 00:33 2h 15m 22s
- full proof of equiv between regular and finite state langs docker-ci #589: Commit 729e1b5 pushed by konrad-slind
October 24, 2024 07:40 2h 10m 12s develop
develop
October 24, 2024 07:40 2h 10m 12s
Avoid double computeLib entry for word_exp docker-ci #588: Commit 783678f pushed by xrchz
October 22, 2024 19:53 2h 5m 6s develop
develop
October 22, 2024 19:53 2h 5m 6s
Add a version of the SML/NJ JSON library to src/portableML docker-ci #587: Commit 35902c7 pushed by mn200
October 21, 2024 02:13 2h 5m 48s develop
develop
October 21, 2024 02:13 2h 5m 48s
Add some theorems to finite_setTheory (#1320) docker-ci #586: Commit 592eb5e pushed by mn200
October 16, 2024 11:24 2h 2m 41s develop
develop
October 16, 2024 11:24 2h 2m 41s
Move some theorems out of keccakScript.sml docker-ci #585: Commit f7ad0d9 pushed by mn200
October 16, 2024 02:34 2h 6m 20s develop
develop
October 16, 2024 02:34 2h 6m 20s
add getKeys to json lib docker-ci #584: Commit 5c95ae6 pushed by mn200
October 16, 2024 02:27 2h 7m 10s develop
develop
October 16, 2024 02:27 2h 7m 10s
Fix cv_compute regression test to cope with case-sensitive files docker-ci #583: Commit 07c84bf pushed by mn200
October 16, 2024 02:08 2h 10m 0s master
master
October 16, 2024 02:08 2h 10m 0s
Move cv-compute test to earlier in build; make it more specific docker-ci #582: Commit 29bcfcf pushed by mn200
October 16, 2024 01:10 2h 11m 11s develop
develop
October 16, 2024 01:10 2h 11m 11s
Merge pull request #1322 from rsoeldner/json-accessors docker-ci #581: Commit a62035f pushed by mn200
October 15, 2024 05:30 2h 10m 58s master
master
October 15, 2024 05:30 2h 10m 58s
Fix cv_compute regression test to cope with case-sensitive files docker-ci #580: Commit 07c84bf pushed by mn200
October 15, 2024 03:21 2h 8m 58s develop
develop
October 15, 2024 03:21 2h 8m 58s
Stop QFRead from killing whole process on a file-not-found docker-ci #579: Commit b345eaf pushed by mn200
October 15, 2024 00:19 2h 10m 31s develop
develop
October 15, 2024 00:19 2h 10m 31s