Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib push to main #1834: Commit c735ad2 pushed by dwrensha
December 25, 2024 13:25 6m 57s main
main
December 25, 2024 13:25 6m 57s
remove process_tryAtEachStep_output.py, obsoleted by new upstream fea… push to main #1833: Commit 72a31ea pushed by dwrensha
December 24, 2024 16:50 6m 53s main
main
December 24, 2024 16:50 6m 53s
update tryAtEachStep and replace some linariths with omega push to main #1832: Commit 33f6c3e pushed by dwrensha
December 24, 2024 16:48 6m 42s main
main
December 24, 2024 16:48 6m 42s
update mathlib push to main #1831: Commit 8dbba29 pushed by dwrensha
December 24, 2024 12:11 6m 48s main
main
December 24, 2024 12:11 6m 48s
[Usa1998P1] golf push to main #1830: Commit 81f8591 pushed by dwrensha
December 24, 2024 01:12 6m 57s main
main
December 24, 2024 01:12 6m 57s
[Usa1998P1] simplify via Fin.sum_univ_two push to main #1829: Commit b8dec3a pushed by dwrensha
December 24, 2024 00:52 7m 2s main
main
December 24, 2024 00:52 7m 2s
[Imo2023P4] a tiny bit simpler push to main #1828: Commit babcaa6 pushed by dwrensha
December 24, 2024 00:47 6m 56s main
main
December 24, 2024 00:47 6m 56s
update mathlib push to main #1827: Commit 6a72138 pushed by dwrensha
December 22, 2024 13:08 6m 38s main
main
December 22, 2024 13:08 6m 38s
update mathlib push to main #1826: Commit 8f5f946 pushed by dwrensha
December 21, 2024 11:43 6m 42s main
main
December 21, 2024 11:43 6m 42s
[Usa1996P1] simplification found by tryAtEachStep push to main #1825: Commit d3ee4b5 pushed by dwrensha
December 20, 2024 13:26 6m 39s main
main
December 20, 2024 13:26 6m 39s
update mathlib push to main #1824: Commit 406ae09 pushed by dwrensha
December 20, 2024 12:21 7m 8s main
main
December 20, 2024 12:21 7m 8s
update mathlib push to main #1823: Commit b1e2fa7 pushed by dwrensha
December 19, 2024 13:36 7m 0s main
main
December 19, 2024 13:36 7m 0s
enable linter.style.multiGoal by default push to main #1822: Commit 88db5d0 pushed by dwrensha
December 19, 2024 03:50 6m 55s main
main
December 19, 2024 03:50 6m 55s
more multiGoal linting push to main #1821: Commit 65a2d2c pushed by dwrensha
December 19, 2024 02:27 6m 51s main
main
December 19, 2024 02:27 6m 51s
do some multiGoal linting push to main #1820: Commit 03722eb pushed by dwrensha
December 19, 2024 01:05 6m 44s main
main
December 19, 2024 01:05 6m 44s
update mathlib push to main #1819: Commit b0ba458 pushed by dwrensha
December 18, 2024 12:42 6m 45s main
main
December 18, 2024 12:42 6m 45s
[Imo1982P3] fix authors push to main #1818: Commit f27ebfd pushed by dwrensha
December 18, 2024 03:26 6m 47s main
main
December 18, 2024 03:26 6m 47s
[Imo1982P3] import the shorter solution that just landed push to main #1817: Commit cee3693 pushed by dwrensha
December 18, 2024 02:07 7m 4s main
main
December 18, 2024 02:07 7m 4s
[Usa2001P3] remove unused arguments push to main #1816: Commit 4f66b94 pushed by dwrensha
December 17, 2024 15:13 6m 45s main
main
December 17, 2024 15:13 6m 45s
update mathlib push to main #1815: Commit 4fe9160 pushed by dwrensha
December 17, 2024 12:30 6m 56s main
main
December 17, 2024 12:30 6m 56s
[Usa1982P4] def -> lemma push to main #1814: Commit c4468cc pushed by dwrensha
December 17, 2024 03:17 7m 1s main
main
December 17, 2024 03:17 7m 1s
[Usa1985P1] golf push to main #1813: Commit 72acc90 pushed by dwrensha
December 17, 2024 01:34 6m 49s main
main
December 17, 2024 01:34 6m 49s
update mathlib push to main #1812: Commit 086b7fe pushed by dwrensha
December 17, 2024 01:12 6m 41s main
main
December 17, 2024 01:12 6m 41s
update mathlib push to main #1811: Commit ab6ac0e pushed by dwrensha
December 16, 2024 12:41 6m 50s main
main
December 16, 2024 12:41 6m 50s
update mathlib push to main #1810: Commit 0945cba pushed by dwrensha
December 15, 2024 11:39 6m 51s main
main
December 15, 2024 11:39 6m 51s