Skip to content

Actions: binghe/HOL

Actions

docker-ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-ci.yml
1,429 workflow runs
1,429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove fibmod3Theory (merged into numberTheory) docker-ci #2057: Commit 8e69eac pushed by binghe
February 11, 2025 02:01 In progress probability_dev
probability_dev
February 11, 2025 02:01 In progress
Add SHORTLEX_irreflexive docker-ci #2056: Commit 1625bfb pushed by binghe
February 11, 2025 01:03 In progress probability_dev
probability_dev
February 11, 2025 01:03 In progress
FTBFS #2 docker-ci #2055: Commit a865de8 pushed by binghe
February 11, 2025 00:37 2h 2m 45s probability_dev
probability_dev
February 11, 2025 00:37 2h 2m 45s
FTBFS docker-ci #2054: Commit dc090eb pushed by binghe
February 11, 2025 00:05 32m 10s probability_dev
probability_dev
February 11, 2025 00:05 32m 10s
Stage work on finite_ltree_paths_imp_ltree_finite_lemma docker-ci #2053: Commit c4401a0 pushed by binghe
February 11, 2025 00:03 17m 6s probability_dev
probability_dev
February 11, 2025 00:03 17m 6s
Add WF_acyclic docker-ci #2052: Commit 6b90478 pushed by binghe
February 10, 2025 23:41 17m 6s probability_dev
probability_dev
February 10, 2025 23:41 17m 6s
ltree_finite_BT_has_benf and ltree_finite_BT_benf docker-ci #2051: Commit f35274b pushed by binghe
February 9, 2025 23:54 2h 4m 59s probability_dev
probability_dev
February 9, 2025 23:54 2h 4m 59s
Stage work on ltree_finite_BT_has_benf docker-ci #2050: Commit 07f13f0 pushed by binghe
February 9, 2025 17:31 2h 1m 29s probability_dev
probability_dev
February 9, 2025 17:31 2h 1m 29s
Done ltree_finite_BT_bnf, finally. docker-ci #2049: Commit 0764e14 pushed by binghe
February 8, 2025 07:05 2h 2m 0s probability_dev
probability_dev
February 8, 2025 07:05 2h 2m 0s
New proof of ltree_finite_BT_bnf docker-ci #2048: Commit 332f79f pushed by binghe
February 8, 2025 05:40 1h 58m 24s probability_dev
probability_dev
February 8, 2025 05:40 1h 58m 24s
Added ltree_finite_by_unfolding docker-ci #2047: Commit 6c62fe6 pushed by binghe
February 8, 2025 05:20 2h 1m 41s probability_dev
probability_dev
February 8, 2025 05:20 2h 1m 41s
Stage work on finite_ltree_paths_imp_ltree_finite_lemma[local] docker-ci #2046: Commit 63d2314 pushed by binghe
February 7, 2025 13:22 2h 3m 23s probability_dev
probability_dev
February 7, 2025 13:22 2h 3m 23s
Added FINITE_MAXIMAL_MEASURE_INDUCTION docker-ci #2045: Commit f6c309e pushed by binghe
February 3, 2025 11:50 1h 59m 23s probability_dev
probability_dev
February 3, 2025 11:50 1h 59m 23s
Improved lameq_BT_cong docker-ci #2044: Commit b44eef1 pushed by binghe
February 3, 2025 09:55 1h 59m 36s probability_dev
probability_dev
February 3, 2025 09:55 1h 59m 36s
Added hnf|hnf_solvable; Stage work on ltree_finite_BT_bnf docker-ci #2043: Commit 39d4152 pushed by binghe
February 2, 2025 00:31 2h 3m 33s probability_dev
probability_dev
February 2, 2025 00:31 2h 3m 33s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #2042: Commit e291b38 pushed by binghe
January 31, 2025 11:38 2h 9m 38s probability_dev
probability_dev
January 31, 2025 11:38 2h 9m 38s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #2041: Commit 60f9002 pushed by binghe
January 31, 2025 06:51 1h 56m 10s probability_dev
probability_dev
January 31, 2025 06:51 1h 56m 10s
Stage work on ltree_finite_BT_bnf docker-ci #2040: Commit 8938f93 pushed by binghe
January 25, 2025 23:46 2h 3m 15s probability_dev
probability_dev
January 25, 2025 23:46 2h 3m 15s
Try ltree_finite_BT_bnf docker-ci #2039: Commit cab0531 pushed by binghe
January 24, 2025 02:35 2h 5m 34s probability_dev
probability_dev
January 24, 2025 02:35 2h 5m 34s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #2038: Commit 6dc3a33 pushed by binghe
January 24, 2025 00:39 2h 2m 50s probability_dev
probability_dev
January 24, 2025 00:39 2h 2m 50s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #2037: Commit cfce675 pushed by binghe
January 23, 2025 05:04 2h 2m 8s probability_dev
probability_dev
January 23, 2025 05:04 2h 2m 8s
FTBFS docker-ci #2036: Commit 2c510b1 pushed by binghe
January 23, 2025 05:03 2h 2m 27s probability_dev
probability_dev
January 23, 2025 05:03 2h 2m 27s
Done rose_children_to_rose, etc. docker-ci #2035: Commit ec6bb0a pushed by binghe
January 23, 2025 04:53 2h 2m 43s probability_dev
probability_dev
January 23, 2025 04:53 2h 2m 43s
Add rose_reduce, etc. docker-ci #2034: Commit 3c81597 pushed by binghe
January 22, 2025 23:28 2h 1m 38s probability_dev
probability_dev
January 22, 2025 23:28 2h 1m 38s
Added fromRose_def, etc. docker-ci #2033: Commit 0f92f96 pushed by binghe
January 22, 2025 04:53 2h 3m 5s probability_dev
probability_dev
January 22, 2025 04:53 2h 3m 5s