Skip to content

Actions: binghe/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,429 workflow runs
1,429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
optimized agree_upto_lemma docker-ci #2032: Commit fb91c76 pushed by binghe
January 22, 2025 01:20 2h 3m 31s probability_dev
probability_dev
January 22, 2025 01:20 2h 3m 31s
Add back is_faithful_swap docker-ci #2031: Commit 5afc5e1 pushed by binghe
January 21, 2025 13:05 2h 1m 17s probability_dev
probability_dev
January 21, 2025 13:05 2h 1m 17s
Start lameta_BT_equivalent_cong docker-ci #2030: Commit 7dd6879 pushed by binghe
January 21, 2025 12:53 2h 2m 42s probability_dev
probability_dev
January 21, 2025 12:53 2h 2m 42s
Merge branch 'HOL-Theorem-Prover:develop' into probability_dev docker-ci #2029: Commit e166de8 pushed by binghe
January 21, 2025 09:21 2h 6m 48s probability_dev
probability_dev
January 21, 2025 09:21 2h 6m 48s
Rebalanced proofs docker-ci #2028: Commit 4b6fa74 pushed by binghe
January 21, 2025 07:48 2h 3m 29s probability_dev
probability_dev
January 21, 2025 07:48 2h 3m 29s
Re-enable previously disabled proofs docker-ci #2027: Commit 5b3d56b pushed by binghe
January 21, 2025 07:37 2h 2m 52s probability_dev
probability_dev
January 21, 2025 07:37 2h 2m 52s