Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-main.yaml
1,660 workflow runs
1,660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

get rid of needless IO.Ref wrapper push to main #193: Commit af27664 pushed by dwrensha
September 15, 2023 20:11 3m 25s main
main
September 15, 2023 20:11 3m 25s
maybe a .txt extension will be a better hint for github pages? push to main #192: Commit 04cecaa pushed by dwrensha
September 15, 2023 19:50 3m 43s main
main
September 15, 2023 19:50 3m 43s
problem extraction via pseudo-attributes push to main #191: Commit 86b0f57 pushed by dwrensha
September 15, 2023 19:43 4m 7s main
main
September 15, 2023 19:43 4m 7s
git ignore lakefile.olean push to main #190: Commit 51fe0cc pushed by dwrensha
September 15, 2023 15:34 4m 39s main
main
September 15, 2023 15:34 4m 39s
update mathlib push to main #189: Commit da3ac68 pushed by dwrensha
September 15, 2023 15:26 3m 38s main
main
September 15, 2023 15:26 3m 38s
update mathlib push to main #188: Commit 2931a66 pushed by dwrensha
September 15, 2023 11:41 4m 15s main
main
September 15, 2023 11:41 4m 15s
comment out the problematic stuff push to main #187: Commit 7d5b042 pushed by dwrensha
September 14, 2023 22:30 4m 10s main
main
September 14, 2023 22:30 4m 10s
add buildWebpage to pull-request action push to main #186: Commit fb285cf pushed by dwrensha
September 14, 2023 22:26 4m 31s main
main
September 14, 2023 22:26 4m 31s
debugging github actions push to main #185: Commit dcfdb41 pushed by dwrensha
September 14, 2023 20:52 4m 36s main
main
September 14, 2023 20:52 4m 36s
attempting to fix github action push to main #184: Commit cdb1f02 pushed by dwrensha
September 14, 2023 20:46 4m 31s main
main
September 14, 2023 20:46 4m 31s
implement problem extraction push to main #183: Commit e3bdec5 pushed by dwrensha
September 14, 2023 20:39 5m 40s main
main
September 14, 2023 20:39 5m 40s
[Usa2019Q1] a bit of progress push to main #182: Commit ca32be5 pushed by dwrensha
September 13, 2023 12:38 3m 25s main
main
September 13, 2023 12:38 3m 25s
[Usa2019Q1] proof f_injective and a bit more push to main #181: Commit 6836aa2 pushed by dwrensha
September 13, 2023 00:33 3m 42s main
main
September 13, 2023 00:33 3m 42s
[Usa2019Q1] add informal proof outline push to main #180: Commit b9f09a3 pushed by dwrensha
September 12, 2023 21:24 3m 34s main
main
September 12, 2023 21:24 3m 34s
[Usa2019Q1] add problem statement push to main #179: Commit 3e13b49 pushed by dwrensha
September 12, 2023 21:18 3m 21s main
main
September 12, 2023 21:18 3m 21s
update mathlib push to main #178: Commit ba53b3e pushed by dwrensha
September 12, 2023 20:38 4m 3s main
main
September 12, 2023 20:38 4m 3s
update mathlib push to main #177: Commit e5dde60 pushed by dwrensha
September 11, 2023 11:44 3m 29s main
main
September 11, 2023 11:44 3m 29s
[Romania1998Q12] simplify field_simp push to main #176: Commit 75d0fb0 pushed by dwrensha
September 10, 2023 12:37 4m 1s main
main
September 10, 2023 12:37 4m 1s
[Usa1998Q3] simplify some field_simp push to main #175: Commit 1c4bacf pushed by dwrensha
September 10, 2023 12:32 3m 46s main
main
September 10, 2023 12:32 3m 46s
update mathlib push to main #174: Commit cfd1e81 pushed by dwrensha
September 10, 2023 12:26 3m 18s main
main
September 10, 2023 12:26 3m 18s
[ZeroesOnesAndTwos] remove unneeded GCD import push to main #173: Commit 02cb30c pushed by dwrensha
September 10, 2023 03:05 3m 22s main
main
September 10, 2023 03:05 3m 22s
[ZeroesOnesAndTwos] undef is_zero_or_one push to main #172: Commit 88194d1 pushed by dwrensha
September 10, 2023 03:01 3m 21s main
main
September 10, 2023 03:01 3m 21s
[ZeroesOnesAndTwos] undef all_zero_or_one push to main #171: Commit 4df3d1f pushed by dwrensha
September 10, 2023 02:35 3m 13s main
main
September 10, 2023 02:35 3m 13s
[ZeroesOnesAndTwos] some cleanup push to main #170: Commit d6f80cf pushed by dwrensha
September 10, 2023 01:27 3m 17s main
main
September 10, 2023 01:27 3m 17s
[ZeroesOnesAndTwos] use ofDigits rather than bigoperators sum in zero… push to main #169: Commit c17da9e pushed by dwrensha
September 10, 2023 00:53 3m 27s main
main
September 10, 2023 00:53 3m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-10 or the other filters available.