Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[perf] linarith -> positivity push to main #1809: Commit b36db32 pushed by dwrensha
December 14, 2024 14:13 6m 37s main
main
December 14, 2024 14:13 6m 37s
update mathlib push to main #1808: Commit 8888963 pushed by dwrensha
December 14, 2024 12:52 6m 43s main
main
December 14, 2024 12:52 6m 43s
[Imo2023P4] shorten proof of lemma via Fin.sum_univ_three push to main #1807: Commit 90e7c43 pushed by dwrensha
December 13, 2024 18:55 6m 40s main
main
December 13, 2024 18:55 6m 40s
[Imo2023P4] golf push to main #1806: Commit b247aec pushed by dwrensha
December 13, 2024 18:50 6m 53s main
main
December 13, 2024 18:50 6m 53s
[Romania1998P12] remove unnecessary have push to main #1805: Commit 88e174d pushed by dwrensha
December 13, 2024 17:01 6m 55s main
main
December 13, 2024 17:01 6m 55s
[Imo2023P4] avoid some proof duplication push to main #1804: Commit 5a0aca3 pushed by dwrensha
December 13, 2024 16:41 6m 54s main
main
December 13, 2024 16:41 6m 54s
update mathlib push to main #1803: Commit f38d1ef pushed by dwrensha
December 13, 2024 13:08 6m 43s main
main
December 13, 2024 13:08 6m 43s
some omega shortenings found by tryAtEachStep push to main #1802: Commit 4c8f6ae pushed by dwrensha
December 12, 2024 21:55 6m 55s main
main
December 12, 2024 21:55 6m 55s
some minor tweaks suggested by tryAtEachStep push to main #1801: Commit d27fad3 pushed by dwrensha
December 12, 2024 21:43 6m 58s main
main
December 12, 2024 21:43 6m 58s
update to less-buggy tryAtEachStep version push to main #1800: Commit da8e7a5 pushed by dwrensha
December 12, 2024 19:09 6m 55s main
main
December 12, 2024 19:09 6m 55s
remove tryAtEachStep.py because tryAtEachStepInDirectory now exists push to main #1799: Commit c94d8a1 pushed by dwrensha
December 12, 2024 17:04 6m 47s main
main
December 12, 2024 17:04 6m 47s
update mathlib push to main #1798: Commit 081eef9 pushed by dwrensha
December 12, 2024 15:33 7m 26s main
main
December 12, 2024 15:33 7m 26s