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

work in progress on thue's lemma pull request #76: Pull request #35 synchronize by dwrensha
July 3, 2024 02:44 5m 52s thue
thue
July 3, 2024 02:44 5m 52s
work in progress on thue's lemma pull request #75: Pull request #35 opened by dwrensha
July 3, 2024 01:06 5m 39s thue
thue
July 3, 2024 01:06 5m 39s
Solution of Problem 11 from 1998 Bulgarian Olympiad pull request #74: Pull request #34 opened by picrin
July 2, 2024 14:36 4m 50s picrin:bulgarian_1998_p11_PR
picrin:bulgarian_1998_p11_PR
July 2, 2024 14:36 4m 50s
[Imo2023P2]: add statement pull request #73: Pull request #33 synchronize by BoltonBailey
July 1, 2024 00:16 5m 27s BoltonBailey:BoltonBailey-IMO2023P2
BoltonBailey:BoltonBailey-IMO2023P2
July 1, 2024 00:16 5m 27s
[Imo2023P2]: add statement pull request #72: Pull request #33 opened by BoltonBailey
June 30, 2024 17:56 4m 34s BoltonBailey:BoltonBailey-IMO2023P2
BoltonBailey:BoltonBailey-IMO2023P2
June 30, 2024 17:56 4m 34s
Usamo1992 p2 pull request #71: Pull request #32 opened by casavaca
June 23, 2024 09:48 5m 12s casavaca:usamo1992P2
casavaca:usamo1992P2
June 23, 2024 09:48 5m 12s
Fix scripts/mk_toplevel_file.bash in macOS pull request #70: Pull request #31 opened by casavaca
June 17, 2024 01:58 5m 25s casavaca:fix_mk_toplevel_file
casavaca:fix_mk_toplevel_file
June 17, 2024 01:58 5m 25s
[Imo1984P1] Add proof pull request #69: Pull request #30 opened by casavaca
June 17, 2024 01:37 5m 18s casavaca:imo1984
casavaca:imo1984
June 17, 2024 01:37 5m 18s
Polish Olympiad 2016 stage 1 problem 8 pull request #68: Pull request #28 synchronize by picrin
June 11, 2024 06:40 5m 33s picrin:main
picrin:main
June 11, 2024 06:40 5m 33s
Polish Olympiad 2016 stage 1 problem 8 pull request #67: Pull request #28 synchronize by picrin
June 10, 2024 19:19 4m 29s picrin:main
picrin:main
June 10, 2024 19:19 4m 29s
Polish Olympiad 2016 stage 1 problem 8 pull request #66: Pull request #28 synchronize by picrin
June 10, 2024 17:39 4m 54s picrin:main
picrin:main
June 10, 2024 17:39 4m 54s
Polish Olympiad 2016 stage 1 problem 8 pull request #65: Pull request #28 opened by picrin
June 10, 2024 12:37 4m 32s picrin:main
picrin:main
June 10, 2024 12:37 4m 32s
IMO 2012 P4 pull request #60: Pull request #14 synchronize by Seasawher
May 7, 2024 19:28 5m 31s ondanaoto:main
ondanaoto:main
May 7, 2024 19:28 5m 31s
IMO 2012 P4 pull request #59: Pull request #14 synchronize by ondanaoto
May 7, 2024 12:30 5m 10s ondanaoto:main
ondanaoto:main
May 7, 2024 12:30 5m 10s
IMO 2012 P4 pull request #57: Pull request #14 synchronize by ondanaoto
April 30, 2024 13:08 4m 28s ondanaoto:main
ondanaoto:main
April 30, 2024 13:08 4m 28s
IMO 2012 P4 pull request #56: Pull request #14 synchronize by ondanaoto
April 30, 2024 13:03 4m 28s ondanaoto:main
ondanaoto:main
April 30, 2024 13:03 4m 28s
IMO 2012 P4 pull request #55: Pull request #14 synchronize by ondanaoto
April 30, 2024 12:05 4m 13s ondanaoto:main
ondanaoto:main
April 30, 2024 12:05 4m 13s
IMO 2012 P4 pull request #54: Pull request #14 synchronize by Seasawher
April 24, 2024 06:44 4m 19s ondanaoto:main
ondanaoto:main
April 24, 2024 06:44 4m 19s
IMO 2012 P4 pull request #53: Pull request #14 synchronize by Seasawher
April 23, 2024 15:00 5m 21s ondanaoto:main
ondanaoto:main
April 23, 2024 15:00 5m 21s
IMO 2012 P4 pull request #47: Pull request #14 synchronize by Seasawher
April 23, 2024 14:18 4m 59s ondanaoto:main
ondanaoto:main
April 23, 2024 14:18 4m 59s
IMO 2012 P4 pull request #46: Pull request #14 synchronize by Seasawher
April 23, 2024 14:14 4m 18s ondanaoto:main
ondanaoto:main
April 23, 2024 14:14 4m 18s
IMO 2012 P4 pull request #45: Pull request #14 synchronize by ondanaoto
April 23, 2024 13:00 4m 30s ondanaoto:main
ondanaoto:main
April 23, 2024 13:00 4m 30s
Imo1972 p3 pull request #44: Pull request #26 opened by casavaca
April 23, 2024 09:42 5m 3s casavaca:Imo1972P3
casavaca:Imo1972P3
April 23, 2024 09:42 5m 3s
[Usa1996P1] Add proof pull request #43: Pull request #25 opened by casavaca
April 23, 2024 07:10 5m 10s casavaca:Usa1996P1
casavaca:Usa1996P1
April 23, 2024 07:10 5m 10s
[Usa2015P1] Add proof pull request #42: Pull request #24 opened by casavaca
April 9, 2024 04:18 4m 49s casavaca:Usa2015P1
casavaca:Usa2015P1
April 9, 2024 04:18 4m 49s