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

[Imo2010P3] easy direction push to main #534: Commit a9dc1f8 pushed by dwrensha
November 23, 2023 15:40 3m 28s main
main
November 23, 2023 15:40 3m 28s
[Imo2007P5] pull in solution from imo-A-and-N push to main #533: Commit aedd816 pushed by dwrensha
November 23, 2023 13:14 3m 32s main
main
November 23, 2023 13:14 3m 32s
update mathlib push to main #532: Commit 75acee8 pushed by dwrensha
November 23, 2023 12:31 3m 34s main
main
November 23, 2023 12:31 3m 34s
[Imo2010P1] restore term-mode part of proof push to main #531: Commit 55aa83a pushed by dwrensha
November 22, 2023 15:27 3m 41s main
main
November 22, 2023 15:27 3m 41s
update mathlib push to main #530: Commit fb19ab9 pushed by dwrensha
November 22, 2023 13:17 3m 46s main
main
November 22, 2023 13:17 3m 46s
[Imo2010P1] link to source push to main #529: Commit e4095c8 pushed by dwrensha
November 21, 2023 20:18 3m 32s main
main
November 21, 2023 20:18 3m 32s
[Imo2010P1] add solution push to main #528: Commit 4b190e5 pushed by dwrensha
November 21, 2023 20:12 3m 24s main
main
November 21, 2023 20:12 3m 24s
[Imo1979P1] add problem statement push to main #527: Commit 59e3c32 pushed by dwrensha
November 21, 2023 14:13 3m 41s main
main
November 21, 2023 14:13 3m 41s
update mathlib push to main #526: Commit 586e6aa pushed by dwrensha
November 21, 2023 13:34 3m 42s main
main
November 21, 2023 13:34 3m 42s
[Imo1968P5] golf push to main #525: Commit e0d3932 pushed by dwrensha
November 21, 2023 03:18 3m 26s main
main
November 21, 2023 03:18 3m 26s
[Imo2020P2] import from Mathlib.Archive push to main #524: Commit 8d0bd1f pushed by dwrensha
November 21, 2023 02:38 3m 40s main
main
November 21, 2023 02:38 3m 40s
[Imo1968P5] done push to main #523: Commit e5f2ae3 pushed by dwrensha
November 21, 2023 02:25 3m 28s main
main
November 21, 2023 02:25 3m 28s
[Imo1968P5] progress push to main #522: Commit 8be728d pushed by dwrensha
November 21, 2023 01:48 3m 38s main
main
November 21, 2023 01:48 3m 38s
[Imo1968P5] progress push to main #521: Commit bcf740e pushed by dwrensha
November 20, 2023 17:49 3m 39s main
main
November 20, 2023 17:49 3m 39s
[Imo1968P5] intial steps push to main #520: Commit 12c409a pushed by dwrensha
November 20, 2023 14:24 3m 33s main
main
November 20, 2023 14:24 3m 33s
[Imo1968P5] the constant of periodicity must be positive push to main #519: Commit 2d18d49 pushed by dwrensha
November 20, 2023 14:20 3m 32s main
main
November 20, 2023 14:20 3m 32s
update mathlib push to main #518: Commit 9b42716 pushed by dwrensha
November 19, 2023 23:11 3m 45s main
main
November 19, 2023 23:11 3m 45s
[Usa1998P1] rfl works, apparently push to main #517: Commit cdf81df pushed by dwrensha
November 18, 2023 20:50 3m 21s main
main
November 18, 2023 20:50 3m 21s
[Imo1968P2] move mathlibby push to main #516: Commit 4e9c73e pushed by dwrensha
November 18, 2023 14:23 3m 32s main
main
November 18, 2023 14:23 3m 32s
[Imo1968P2] work on making some things more suitable for inclusion in… push to main #515: Commit 4692a21 pushed by dwrensha
November 18, 2023 14:15 3m 25s main
main
November 18, 2023 14:15 3m 25s
[Usa1998P1] some tidying push to main #514: Commit d65cf72 pushed by dwrensha
November 18, 2023 12:56 3m 18s main
main
November 18, 2023 12:56 3m 18s
update mathlib push to main #513: Commit 3d55b3f pushed by dwrensha
November 18, 2023 12:44 3m 25s main
main
November 18, 2023 12:44 3m 25s
update mathlib push to main #512: Commit 430425a pushed by dwrensha
November 17, 2023 23:24 3m 26s main
main
November 17, 2023 23:24 3m 26s
[Usa1998P3] cleanup push to main #511: Commit 06784c6 pushed by dwrensha
November 17, 2023 17:02 3m 40s main
main
November 17, 2023 17:02 3m 40s
[Imo2016P5] fill sorry from mathlib update push to main #510: Commit ad17506 pushed by dwrensha
November 17, 2023 17:00 3m 30s main
main
November 17, 2023 17:00 3m 30s
ProTip! You can narrow down the results and go further in time using created:<2023-11-17 or the other filters available.