Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,334 workflow runs
1,334 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 #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
update mathlib push to main #3004: Commit cd2d56e pushed by dwrensha
15m 28s main
main
15m 28s
update mathlib push to main #3003: Commit 27e2a87 pushed by dwrensha
14m 48s main
main
14m 48s
[Imo1992P6] native_decide -> decide +kernel push to main #3002: Commit 2d52f06 pushed by dwrensha
3m 27s main
main
3m 27s
attempt to fix playground links push to main #3001: Commit fb739e3 pushed by dwrensha
3m 37s main
main
3m 37s
update mathlib push to main #3000: Commit 8399822 pushed by dwrensha
15m 43s main
main
15m 43s
use more robust method of detecting solution completion push to main #2999: Commit 3c2383c pushed by dwrensha
3m 53s main
main
3m 53s
update mathlib push to main #2998: Commit 6ac7969 pushed by dwrensha
15m 54s main
main
15m 54s
update mathlib push to main #2997: Commit bfe34a9 pushed by dwrensha
16m 27s main
main
16m 27s
golf push to main #2996: Commit ee06260 pushed by dwrensha
3m 25s main
main
3m 25s
update to lean-v4.30.0-rc1 push to main #2995: Commit beaaf39 pushed by dwrensha
15m 11s main
main
15m 11s
update mathlib push to main #2994: Commit 62946ba pushed by dwrensha
16m 8s main
main
16m 8s
[Imo2010P6] Rewrote the proof to be shorter, clearer and with better … push to main #2993: Commit 5f8d3aa pushed by dwrensha
3m 13s main
main
3m 13s
[Imo2010P6] Rewrote the proof to be shorter, clearer and with better performance pull request #358: Pull request #190 opened by markusrydh
2m 42s markusrydh:Imo2010p6
markusrydh:Imo2010p6
2m 42s
add USAMO 2026 to webpage push to main #2992: Commit 9819320 pushed by dwrensha
17m 23s main
main
17m 23s
Solution to IMO2020P4 (#189) push to main #2991: Commit ddce919 pushed by dwrensha
3m 24s main
main
3m 24s
Solution to IMO2020P4 pull request #357: Pull request #189 opened by benpigchu
2m 36s benpigchu:imo-2020-p4
benpigchu:imo-2020-p4
2m 36s
update mathlib push to main #2990: Commit b0f99b1 pushed by dwrensha
16m 3s main
main
16m 3s
update mathlib push to main #2989: Commit 98b1d8b pushed by dwrensha
16m 19s main
main
16m 19s
[Imo1976P6] simplify via Nat.twoStepInduction push to main #2988: Commit a239760 pushed by dwrensha
3m 27s main
main
3m 27s
lean-v4.29.0 push to main #2987: Commit 8ed1732 pushed by dwrensha
17m 12s main
main
17m 12s