Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,342 workflow runs
1,342 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
update mathlib push to main #3020: Commit 7768ff5 pushed by dwrensha
15m 13s main
main
15m 13s
update mathlib push to main #3019: Commit bb84e00 pushed by dwrensha
15m 1s main
main
15m 1s
convert all haveI to have, and all letI to let push to main #3018: Commit 1b38375 pushed by dwrensha
4m 41s main
main
4m 41s
[Imo2025P6] remove letI, haveI push to main #3017: Commit d84dcc9 pushed by dwrensha
4m 10s main
main
4m 10s
update mathlib push to main #3016: Commit e20a2b4 pushed by dwrensha
15m 54s main
main
15m 54s
update mathlib push to main #3015: Commit 6c84b93 pushed by dwrensha
14m 35s main
main
14m 35s
Add BMO1 2024 R1 P4 pull request #367: Pull request #192 synchronize by ldct
2m 35s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 35s
Add BMO1 2024 R1 P4 pull request #366: Pull request #192 synchronize by ldct
2m 38s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 38s
Add BMO1 2024 R1 P4 pull request #365: Pull request #192 synchronize by ldct
2m 32s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 32s
Add BMO1 2024 R1 P4 pull request #364: Pull request #192 synchronize by ldct
2m 32s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 32s
Add BMO1 2024 R1 P4 pull request #363: Pull request #192 synchronize by ldct
2m 27s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 27s
Add BMO1 2024 R1 P4 pull request #362: Pull request #192 synchronize by ldct
2m 33s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 33s
Add BMO1 2024 R1 P4 pull request #361: Pull request #192 synchronize by ldct
2m 41s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 41s
update mathlib push to main #3014: Commit 8249d7c pushed by dwrensha
15m 19s main
main
15m 19s
update mathlib push to main #3013: Commit 8f6b6ae pushed by dwrensha
15m 25s main
main
15m 25s
[Imo1975P6] PNat -> Nat push to main #3012: Commit 0b94972 pushed by david-renshaw
3m 17s main
main
3m 17s
[Imo1975p6] Formalized problem and solution (#193) push to main #3011: Commit 9acf270 pushed by dwrensha
3m 20s main
main
3m 20s
[Imo1975p6] Formalized problem and solution pull request #360: Pull request #193 opened by markusrydh
2m 53s markusrydh:Imo1975p6
markusrydh:Imo1975p6
2m 53s
Add BMO1 2024 R1 P4 pull request #359: Pull request #192 opened by ldct
2m 48s ldct:bmo1-2024-p4
ldct:bmo1-2024-p4
2m 48s
update mathlib push to main #3010: Commit 3b74a71 pushed by dwrensha
16m 11s main
main
16m 11s
update mathlib push to main #3009: Commit 21872f6 pushed by dwrensha
13m 35s main
main
13m 35s
update mathlib push to main #3008: Commit 1bca6ab pushed by dwrensha
15m 48s main
main
15m 48s
update mathlib push to main #3007: Commit 1ae771a pushed by dwrensha
15m 49s main
main
15m 49s
update mathlib push to main #3006: Commit ec9e65c pushed by dwrensha
13m 57s main
main
13m 57s
update push to main #3005: Commit f9cd3b7 pushed by dwrensha
15m 43s main
main
15m 43s