Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[Imo1988P3] Finish proof (#205) push to main #3075: Commit 46136c8 pushed by dwrensha
3m 17s main
main
3m 17s
[Usa1983P5] Finish proof (#204) push to main #3074: Commit 1475084 pushed by dwrensha
3m 11s main
main
3m 11s
[Imo1988P3] Finish proof pull request #391: Pull request #205 opened by kmehltretter82
2m 40s kmehltretter82:Imo1988P3-finish-proof
kmehltretter82:Imo1988P3-finish-proof
2m 40s
[Usa1983P5] Finish proof pull request #390: Pull request #204 synchronize by kmehltretter82
2m 55s kmehltretter82:Usa1983P5-finish-proof
kmehltretter82:Usa1983P5-finish-proof
2m 55s
[Usa1983P5] Finish proof pull request #389: Pull request #204 synchronize by kmehltretter82
2m 56s kmehltretter82:Usa1983P5-finish-proof
kmehltretter82:Usa1983P5-finish-proof
2m 56s
[Usa1983P5] Finish proof pull request #388: Pull request #204 opened by kmehltretter82
2m 25s kmehltretter82:Usa1983P5-finish-proof
kmehltretter82:Usa1983P5-finish-proof
2m 25s
[Usa1998P4] simplify push to main #3073: Commit 24cbd15 pushed by dwrensha
3m 13s main
main
3m 13s
[Usa2022P1] Finish proof (#203) push to main #3072: Commit 2aaff2e pushed by dwrensha
15m 12s main
main
15m 12s
update to lean-v4.30.0 push to main #3071: Commit 82e0f60 pushed by dwrensha
14m 37s main
main
14m 37s
[Usa2022P1] Finish proof pull request #387: Pull request #203 opened by kmehltretter82
2m 57s kmehltretter82:Usa2022P1-finish-proof
kmehltretter82:Usa2022P1-finish-proof
2m 57s
[Usa1998P4] Finish proof (#202) push to main #3070: Commit 6a5cbbd pushed by dwrensha
3m 41s main
main
3m 41s
[Usa1998P4] Finish proof pull request #386: Pull request #202 synchronize by kmehltretter82
3m 30s kmehltretter82:usa1998p4-finish-proof
kmehltretter82:usa1998p4-finish-proof
3m 30s
[Usa1998P4] Finish proof pull request #385: Pull request #202 synchronize by kmehltretter82
Action required kmehltretter82:usa1998p4-finish-proof
kmehltretter82:usa1998p4-finish-proof
Action required
[Usa1998P4] Finish proof pull request #384: Pull request #202 synchronize by kmehltretter82
Action required kmehltretter82:usa1998p4-finish-proof
kmehltretter82:usa1998p4-finish-proof
Action required
[Usa1998P4] Finish proof pull request #383: Pull request #202 opened by kmehltretter82
Action required kmehltretter82:usa1998p4-finish-proof
kmehltretter82:usa1998p4-finish-proof
Action required
[Imo2025p4] Added solution (#201) push to main #3069: Commit 1f26a1b pushed by dwrensha
3m 26s main
main
3m 26s
[Imo2025p4] Added solution pull request #382: Pull request #201 synchronize by dwrensha
3m 4s markusrydh:Imo2025p4
markusrydh:Imo2025p4
3m 4s
[Imo2025p4] Added solution pull request #381: Pull request #201 synchronize by markusrydh
2m 50s markusrydh:Imo2025p4
markusrydh:Imo2025p4
2m 50s
[Imo2025p4] Added solution pull request #380: Pull request #201 opened by markusrydh
2m 51s markusrydh:Imo2025p4
markusrydh:Imo2025p4
2m 51s
update mathlib push to main #3068: Commit 29a27da pushed by dwrensha
15m 8s main
main
15m 8s
[Imo2000P5] clean up push to main #3067: Commit d187325 pushed by dwrensha
3m 32s main
main
3m 32s
update mathlib push to main #3066: Commit a49a421 pushed by dwrensha
16m 2s main
main
16m 2s
update mathlib push to main #3065: Commit f23d2e9 pushed by dwrensha
13m 42s main
main
13m 42s
[Imo2000P5] cleanup push to main #3064: Commit 70e2c3d pushed by dwrensha
4m 20s main
main
4m 20s
CMO & Pre-CMO problems pull request #379: Pull request #200 synchronize by sjfhsjfh
3m 28s sjfhsjfh:CMO
sjfhsjfh:CMO
3m 28s