Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Usa1990P2] hoist h5 push to main #592: Commit 54b2a6c pushed by dwrensha
December 13, 2023 01:57 3m 45s main
main
December 13, 2023 01:57 3m 45s
[Usa1990P2] simpler push to main #591: Commit 50f4400 pushed by dwrensha
December 13, 2023 01:56 3m 35s main
main
December 13, 2023 01:56 3m 35s
[Usa1990P2] remove unused line push to main #590: Commit 39ce92f pushed by dwrensha
December 13, 2023 01:54 3m 30s main
main
December 13, 2023 01:54 3m 30s
[Usa1990P2] finished push to main #589: Commit 5728932 pushed by dwrensha
December 13, 2023 01:54 3m 47s main
main
December 13, 2023 01:54 3m 47s
[Usa1990P2] better style push to main #588: Commit 090f5cb pushed by dwrensha
December 12, 2023 22:51 3m 44s main
main
December 12, 2023 22:51 3m 44s
[Usa1990P2] add problem statement push to main #587: Commit fd53858 pushed by dwrensha
December 12, 2023 22:48 3m 30s main
main
December 12, 2023 22:48 3m 30s
[Usa1987P1] fix problem name push to main #586: Commit 33354d1 pushed by dwrensha
December 12, 2023 22:36 3m 35s main
main
December 12, 2023 22:36 3m 35s
[Bulgaria1998P6] only lemma_1' remains push to main #585: Commit 88346da pushed by dwrensha
December 12, 2023 19:54 3m 44s main
main
December 12, 2023 19:54 3m 44s
[Bulgaria1998P6] progress push to main #584: Commit 472c8e9 pushed by dwrensha
December 12, 2023 18:27 3m 38s main
main
December 12, 2023 18:27 3m 38s
[Bulgaria1998P6] get lemma_1 working push to main #583: Commit aacb25d pushed by dwrensha
December 12, 2023 15:57 3m 34s main
main
December 12, 2023 15:57 3m 34s
[Usa1982P4] add problem statement push to main #582: Commit fc654aa pushed by dwrensha
December 12, 2023 15:36 3m 57s main
main
December 12, 2023 15:36 3m 57s
update mathlib push to main #581: Commit 01e78d6 pushed by dwrensha
December 12, 2023 13:36 3m 38s main
main
December 12, 2023 13:36 3m 38s
update mathlib push to main #580: Commit 0e97c63 pushed by dwrensha
December 11, 2023 12:48 3m 43s main
main
December 11, 2023 12:48 3m 43s
update mathlib push to main #579: Commit a19781e pushed by dwrensha
December 10, 2023 13:21 3m 32s main
main
December 10, 2023 13:21 3m 32s
[Imo1989P5] add missing copyright header push to main #578: Commit 271c68b pushed by dwrensha
December 9, 2023 13:14 3m 24s main
main
December 9, 2023 13:14 3m 24s
update mathlib push to main #577: Commit 2581bb7 pushed by dwrensha
December 9, 2023 13:14 3m 30s main
main
December 9, 2023 13:14 3m 30s
fix LEAN_PATH in checkSolution push to main #576: Commit 07c0ae5 pushed by dwrensha
December 9, 2023 12:44 3m 27s main
main
December 9, 2023 12:44 3m 27s
update mathlib push to main #575: Commit c87ab80 pushed by dwrensha
December 8, 2023 13:27 3m 43s main
main
December 8, 2023 13:27 3m 43s
update mathlib push to main #574: Commit 48025f4 pushed by dwrensha
December 7, 2023 12:47 3m 45s main
main
December 7, 2023 12:47 3m 45s
[Usa1987P1] faster still push to main #573: Commit 17e2ba1 pushed by dwrensha
December 6, 2023 22:27 3m 52s main
main
December 6, 2023 22:27 3m 52s
[Usa1987P1] faster push to main #572: Commit 9a5fb36 pushed by dwrensha
December 6, 2023 15:43 3m 45s main
main
December 6, 2023 15:43 3m 45s
[Usa1987P1] done push to main #571: Commit 7103647 pushed by dwrensha
December 6, 2023 14:03 3m 42s main
main
December 6, 2023 14:03 3m 42s
[Usa1987P1] finish proof of lemma2 push to main #570: Commit 53a8a88 pushed by dwrensha
December 6, 2023 02:48 3m 46s main
main
December 6, 2023 02:48 3m 46s
[Usa1987P1] progress push to main #569: Commit 664f821 pushed by dwrensha
December 6, 2023 01:23 3m 29s main
main
December 6, 2023 01:23 3m 29s
[Usa1987P1] add problem statement push to main #568: Commit 6d0e72e pushed by dwrensha
December 5, 2023 20:59 3m 25s main
main
December 5, 2023 20:59 3m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.