Skip to content

Actions: dwrensha/compfiles

Actions

pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request.yaml
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add alternative proof for 1964_p1b pull request #101: Pull request #45 opened by hcarlens
November 26, 2024 11:03 6m 48s hcarlens:main
hcarlens:main
November 26, 2024 11:03 6m 48s
Imo1970 p4 pull request #100: Pull request #44 synchronize by picrin
October 15, 2024 17:51 6m 23s picrin:Imo1970P4
picrin:Imo1970P4
October 15, 2024 17:51 6m 23s
Imo1970 p4 pull request #99: Pull request #44 synchronize by picrin
October 14, 2024 17:14 6m 23s picrin:Imo1970P4
picrin:Imo1970P4
October 14, 2024 17:14 6m 23s
Imo1970 p4 pull request #98: Pull request #44 synchronize by picrin
October 14, 2024 03:49 6m 21s picrin:Imo1970P4
picrin:Imo1970P4
October 14, 2024 03:49 6m 21s
Imo1970 p4 pull request #97: Pull request #44 opened by picrin
October 12, 2024 18:54 6m 45s picrin:Imo1970P4
picrin:Imo1970P4
October 12, 2024 18:54 6m 45s
ImProver Length optimization pull request #96: Pull request #43 opened by riyazahuja
October 9, 2024 15:34 6m 29s riyazahuja:main
riyazahuja:main
October 9, 2024 15:34 6m 29s
Write a solution for IMO1995P2 pull request #95: Pull request #42 opened by GanjinZero
September 25, 2024 10:01 6m 20s GanjinZero:main
GanjinZero:main
September 25, 2024 10:01 6m 20s
[Imo1963P5] Add proof pull request #94: Pull request #41 opened by casavaca
July 30, 2024 19:28 6m 1s casavaca:Imo1963P5
casavaca:Imo1963P5
July 30, 2024 19:28 6m 1s
[Usa1979P1] Add proof pull request #93: Pull request #40 synchronize by casavaca
July 28, 2024 23:53 5m 51s casavaca:usamo1979p1
casavaca:usamo1979p1
July 28, 2024 23:53 5m 51s
[Usa1979P1] Add proof pull request #92: Pull request #40 synchronize by casavaca
July 28, 2024 21:13 5m 57s casavaca:usamo1979p1
casavaca:usamo1979p1
July 28, 2024 21:13 5m 57s
[Usa1979P1] Add proof pull request #91: Pull request #40 opened by casavaca
July 28, 2024 21:12 4m 48s casavaca:usamo1979p1
casavaca:usamo1979p1
July 28, 2024 21:12 4m 48s
[BMO 2024 R1 P1] "have h1" -> "change" pull request #90: Pull request #39 opened by shortc1rcuit
July 24, 2024 16:56 6m 8s shortc1rcuit:main
shortc1rcuit:main
July 24, 2024 16:56 6m 8s
British Maths Olympiad 2024 Round 1 Problem 1 pull request #89: Pull request #38 synchronize by shortc1rcuit
July 12, 2024 22:39 5m 30s shortc1rcuit:main
shortc1rcuit:main
July 12, 2024 22:39 5m 30s
British Maths Olympiad 2024 Round 1 Problem 1 pull request #88: Pull request #38 opened by shortc1rcuit
July 12, 2024 16:53 6m 18s shortc1rcuit:main
shortc1rcuit:main
July 12, 2024 16:53 6m 18s
USAMO 2022 P3 pull request #87: Pull request #37 synchronize by WLZPro
July 8, 2024 04:46 5m 44s WLZPro:Usa2022P3
WLZPro:Usa2022P3
July 8, 2024 04:46 5m 44s
USAMO 2022 P3 pull request #86: Pull request #37 opened by WLZPro
July 8, 2024 03:50 5m 40s WLZPro:Usa2022P3
WLZPro:Usa2022P3
July 8, 2024 03:50 5m 40s
IMO 2003 P6 pull request #85: Pull request #36 opened by WLZPro
July 5, 2024 08:07 5m 33s WLZPro:Imo2003P6
WLZPro:Imo2003P6
July 5, 2024 08:07 5m 33s
work in progress on thue's lemma pull request #84: Pull request #35 synchronize by dwrensha
July 4, 2024 20:40 6m 5s thue
thue
July 4, 2024 20:40 6m 5s
work in progress on thue's lemma pull request #83: Pull request #35 synchronize by dwrensha
July 4, 2024 20:28 5m 32s thue
thue
July 4, 2024 20:28 5m 32s
work in progress on thue's lemma pull request #82: Pull request #35 synchronize by dwrensha
July 4, 2024 19:51 5m 45s thue
thue
July 4, 2024 19:51 5m 45s
work in progress on thue's lemma pull request #81: Pull request #35 synchronize by dwrensha
July 4, 2024 19:15 5m 32s thue
thue
July 4, 2024 19:15 5m 32s
work in progress on thue's lemma pull request #80: Pull request #35 synchronize by dwrensha
July 4, 2024 19:05 5m 36s thue
thue
July 4, 2024 19:05 5m 36s
work in progress on thue's lemma pull request #79: Pull request #35 synchronize by dwrensha
July 4, 2024 18:04 5m 40s thue
thue
July 4, 2024 18:04 5m 40s
work in progress on thue's lemma pull request #78: Pull request #35 synchronize by dwrensha
July 4, 2024 14:50 5m 35s thue
thue
July 4, 2024 14:50 5m 35s
work in progress on thue's lemma pull request #77: Pull request #35 synchronize by dwrensha
July 4, 2024 13:52 5m 41s thue
thue
July 4, 2024 13:52 5m 41s