Skip to content

Actions: binghe/HOL

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stage work on subtree_equiv_nil_eq_equivalent docker-ci #2007: Commit 00f4046 pushed by binghe
January 14, 2025 05:14 2h 7m 30s probability_dev
probability_dev
January 14, 2025 05:14 2h 7m 30s
Stage work on head_reduction TeX docker-ci #2006: Commit 652e929 pushed by binghe
January 10, 2025 08:02 2h 7m 41s probability_dev
probability_dev
January 10, 2025 08:02 2h 7m 41s
Remove the use of listRangeTheory docker-ci #2005: Commit afe4139 pushed by binghe
January 9, 2025 12:06 2h 10m 35s probability_dev
probability_dev
January 9, 2025 12:06 2h 10m 35s
Added subterm_solvable_cong', etc. docker-ci #2004: Commit eeb457e pushed by binghe
January 9, 2025 00:55 2h 7m 6s probability_dev
probability_dev
January 9, 2025 00:55 2h 7m 6s
Merge remote-tracking branch 'origin/develop' into probability_dev docker-ci #2003: Commit 266ccaa pushed by binghe
January 7, 2025 02:10 2h 4m 59s probability_dev
probability_dev
January 7, 2025 02:10 2h 4m 59s
Add indep_function_of_disjoint_vars (statements only) docker-ci #2002: Commit 7471993 pushed by binghe
January 6, 2025 13:25 2h 6m 46s probability_dev
probability_dev
January 6, 2025 13:25 2h 6m 46s
Merge commit 'e0c9e4e32fea560bd73f5f3077561b59fdf13b0f' into probabil… docker-ci #2001: Commit b794125 pushed by binghe
January 6, 2025 01:39 2h 8m 12s probability_dev
probability_dev
January 6, 2025 01:39 2h 8m 12s
FTBFS docker-ci #2000: Commit 662ac1b pushed by binghe
January 6, 2025 00:16 2h 11m 43s probability_dev
probability_dev
January 6, 2025 00:16 2h 11m 43s
Overload apply = \pi. MAP (apply_transform pi) docker-ci #1999: Commit 6130700 pushed by binghe
January 4, 2025 03:11 2h 7m 48s probability_dev
probability_dev
January 4, 2025 03:11 2h 7m 48s
Added FV_apply_Boehm_construction, etc. docker-ci #1998: Commit e43407c pushed by binghe
January 2, 2025 04:56 2h 6m 1s probability_dev
probability_dev
January 2, 2025 04:56 2h 6m 1s
Remove subterm_is_none_exclusive (conflicted antecedents) docker-ci #1997: Commit bc7118c pushed by binghe
January 1, 2025 10:38 2h 10m 8s probability_dev
probability_dev
January 1, 2025 10:38 2h 10m 8s
Found ltree_paths_valid_thm... docker-ci #1996: Commit 9e3b006 pushed by binghe
January 1, 2025 07:46 2h 6m 32s probability_dev
probability_dev
January 1, 2025 07:46 2h 6m 32s
Stage work removing is_ready' docker-ci #1995: Commit 2dbd968 pushed by binghe
January 1, 2025 05:30 2h 2m 49s probability_dev
probability_dev
January 1, 2025 05:30 2h 2m 49s
Move "equivalent" to lameta_completeTheory docker-ci #1994: Commit d5f073d pushed by binghe
January 1, 2025 04:52 2h 11m 57s probability_dev
probability_dev
January 1, 2025 04:52 2h 11m 57s
Stage work removing is_ready' docker-ci #1993: Commit 7bc2db5 pushed by binghe
January 1, 2025 04:48 2h 7m 26s probability_dev
probability_dev
January 1, 2025 04:48 2h 7m 26s
Updated Boehm_construction_def docker-ci #1992: Commit cb069ef pushed by binghe
December 31, 2024 15:13 2h 12m 41s probability_dev
probability_dev
December 31, 2024 15:13 2h 12m 41s
Added is_faithful' docker-ci #1991: Commit 45b55ef pushed by binghe
December 31, 2024 14:49 2h 8m 35s probability_dev
probability_dev
December 31, 2024 14:49 2h 8m 35s
Minor statement updates of subtree_equiv_lemma docker-ci #1990: Commit 5ec2061 pushed by binghe
December 31, 2024 07:58 2h 6m 54s probability_dev
probability_dev
December 31, 2024 07:58 2h 6m 54s
Add Boehm_construction_transform docker-ci #1989: Commit d09774e pushed by binghe
December 31, 2024 06:07 2h 11m 24s probability_dev
probability_dev
December 31, 2024 06:07 2h 11m 24s
Minor updates before PR creation docker-ci #1988: Commit 09184c6 pushed by binghe
December 30, 2024 13:04 2h 4m 56s probability_dev
probability_dev
December 30, 2024 13:04 2h 4m 56s
Done fixing subtree_equiv_lemma_explicit docker-ci #1987: Commit 9aff1bc pushed by binghe
December 29, 2024 14:14 2h 4m 32s probability_dev
probability_dev
December 29, 2024 14:14 2h 4m 32s
Stage work fixing subtree_equiv_lemma_explicit docker-ci #1986: Commit 66af4d7 pushed by binghe
December 29, 2024 12:49 2h 19m 49s probability_dev
probability_dev
December 29, 2024 12:49 2h 19m 49s
Add TAKE_RNEWS, etc. docker-ci #1985: Commit b2f7a4b pushed by binghe
December 29, 2024 10:01 2h 4m 51s probability_dev
probability_dev
December 29, 2024 10:01 2h 4m 51s
Done subtree_equiv_lemma_explicit using Boehm_construction docker-ci #1984: Commit 1c51475 pushed by binghe
December 29, 2024 01:13 2h 9m 26s probability_dev
probability_dev
December 29, 2024 01:13 2h 9m 26s
Add boehm_construction_def docker-ci #1983: Commit ba7d242 pushed by binghe
December 28, 2024 14:06 2h 5m 12s probability_dev
probability_dev
December 28, 2024 14:06 2h 5m 12s