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

[Imo1963P1] Add problem statement and proof pull request #41: Pull request #23 synchronize by casavaca
April 7, 2024 02:35 4m 59s casavaca:Imo1963P1-the-problem
casavaca:Imo1963P1-the-problem
April 7, 2024 02:35 4m 59s
[Imo1963P1] Add problem statement and proof pull request #40: Pull request #23 synchronize by casavaca
April 7, 2024 02:09 4m 49s casavaca:Imo1963P1-the-problem
casavaca:Imo1963P1-the-problem
April 7, 2024 02:09 4m 49s
[Imo1963P1] Add problem statement and proof pull request #39: Pull request #23 synchronize by casavaca
April 7, 2024 01:57 4m 50s casavaca:Imo1963P1-the-problem
casavaca:Imo1963P1-the-problem
April 7, 2024 01:57 4m 50s
[Imo1963P1] Add problem statement and proof pull request #38: Pull request #23 synchronize by casavaca
April 7, 2024 00:58 3m 55s casavaca:Imo1963P1-the-problem
casavaca:Imo1963P1-the-problem
April 7, 2024 00:58 3m 55s
[Imo1963P1] Add problem statement and proof pull request #37: Pull request #23 opened by casavaca
April 6, 2024 07:47 3m 56s casavaca:Imo1963P1-the-problem
casavaca:Imo1963P1-the-problem
April 6, 2024 07:47 3m 56s
IMO 2012 P4 pull request #36: Pull request #14 synchronize by Seasawher
April 3, 2024 02:06 4m 59s ondanaoto:main
ondanaoto:main
April 3, 2024 02:06 4m 59s
IMO 2012 P4 pull request #34: Pull request #14 synchronize by Seasawher
April 2, 2024 13:27 3m 55s ondanaoto:main
ondanaoto:main
April 2, 2024 13:27 3m 55s
IMO 2012 P4 pull request #33: Pull request #14 synchronize by ondanaoto
April 2, 2024 13:00 4m 19s ondanaoto:main
ondanaoto:main
April 2, 2024 13:00 4m 19s
check that Compfiles.lean is up-to-date in CI pull request #32: Pull request #22 synchronize by dwrensha
April 1, 2024 14:51 4m 40s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:51 4m 40s
check that Compfiles.lean is up-to-date in CI pull request #31: Pull request #22 synchronize by dwrensha
April 1, 2024 14:47 4m 7s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:47 4m 7s
check that Compfiles.lean is up-to-date in CI pull request #30: Pull request #22 synchronize by dwrensha
April 1, 2024 14:40 4m 35s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:40 4m 35s
check that Compfiles.lean is up-to-date in CI pull request #29: Pull request #22 synchronize by dwrensha
April 1, 2024 14:32 3m 51s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:32 3m 51s
check that Compfiles.lean is up-to-date in CI pull request #28: Pull request #22 synchronize by dwrensha
April 1, 2024 14:27 3m 58s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:27 3m 58s
check that Compfiles.lean is up-to-date in CI pull request #27: Pull request #22 synchronize by dwrensha
April 1, 2024 14:21 3m 56s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:21 3m 56s
check that Compfiles.lean is up-to-date in CI pull request #26: Pull request #22 synchronize by dwrensha
April 1, 2024 14:08 4m 1s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:08 4m 1s
check that Compfiles.lean is up-to-date in CI pull request #25: Pull request #22 opened by dwrensha
April 1, 2024 14:02 4m 1s ci-compfiles-lean
ci-compfiles-lean
April 1, 2024 14:02 4m 1s
[Usa2018P1] golf pull request #24: Pull request #21 opened by casavaca
April 1, 2024 06:08 4m 45s casavaca:Usa2018p1
casavaca:Usa2018p1
April 1, 2024 06:08 4m 45s
Usa2018p1 pull request #23: Pull request #20 opened by casavaca
April 1, 2024 00:01 4m 40s casavaca:Usa2018p1
casavaca:Usa2018p1
April 1, 2024 00:01 4m 40s
[Usa1978P1] Add proof pull request #22: Pull request #19 opened by casavaca
March 30, 2024 18:31 4m 35s casavaca:Usa1978P1
casavaca:Usa1978P1
March 30, 2024 18:31 4m 35s
[Imo1993P5] Fix problem statement pull request #21: Pull request #18 opened by GanjinZero
March 30, 2024 08:41 4m 49s GanjinZero:patch-1
GanjinZero:patch-1
March 30, 2024 08:41 4m 49s
[Usa1974P2] add proof pull request #20: Pull request #17 opened by casavaca
March 25, 2024 05:19 4m 23s casavaca:my
casavaca:my
March 25, 2024 05:19 4m 23s
[Usa1982P4] Add proof pull request #19: Pull request #16 synchronize by casavaca
March 24, 2024 02:07 4m 29s casavaca:my
casavaca:my
March 24, 2024 02:07 4m 29s
[Usa1982P4] Add proof pull request #18: Pull request #16 opened by casavaca
March 24, 2024 00:26 4m 20s casavaca:my
casavaca:my
March 24, 2024 00:26 4m 20s
[Usa2001P3] Add proof pull request #17: Pull request #15 opened by casavaca
March 22, 2024 19:50 4m 20s casavaca:my
casavaca:my
March 22, 2024 19:50 4m 20s
IMO 2012 P4 pull request #16: Pull request #14 opened by Seasawher
March 14, 2024 13:49 3m 49s ondanaoto:main
ondanaoto:main
March 14, 2024 13:49 3m 49s