Skip to content

Actions: AlexBrodbelt/DicksonsClassificationTheorem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
github_actions in /. - Update #1265855087 Dependabot Updates #21: by dependabot Bot
25s main
main
25s
github_actions in /. - Update #1255593091 Dependabot Updates #20: by dependabot Bot
32s main
main
32s
github_actions in /. - Update #1246059053 Dependabot Updates #19: by dependabot Bot
21s main
main
21s
github_actions in /. - Update #1238914304 Dependabot Updates #18: by dependabot Bot
26s main
main
26s
github_actions in /. - Update #1231438881 Dependabot Updates #17: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1221790997 Dependabot Updates #16: by dependabot Bot
25s main
main
25s
github_actions in /. - Update #1213948828 Dependabot Updates #15: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1207325282 Dependabot Updates #14: by dependabot Bot
35s main
main
35s
simplify mathlib imports Compile blueprint #109: Commit f67a554 pushed by AlexBrodbelt
6m 19s main
main
6m 19s
simplify mathlib imports Lean Action CI #156: Commit f67a554 pushed by AlexBrodbelt
3m 31s main
main
3m 31s
github_actions in /. - Update #1201933639 Dependabot Updates #13: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1201932551 Dependabot Updates #12: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1201932509 Dependabot Updates #11: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1199881399 Dependabot Updates #10: by dependabot Bot
30s main
main
30s
cursor fixes blueprint? Lean Action CI #155: Commit 402b66e pushed by AlexBrodbelt
1m 24s main
main
1m 24s
cursor fixes blueprint? Compile blueprint #108: Commit 402b66e pushed by AlexBrodbelt
7m 33s main
main
7m 33s
github_actions in /. - Update #1193376005 Dependabot Updates #9: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1189014123 Dependabot Updates #8: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1183574018 Dependabot Updates #7: by dependabot Bot
34s main
main
34s
merge formalization of D_sup_closure_w_eq_DW Compile blueprint #107: Commit eb9fb0a pushed by AlexBrodbelt
8m 2s main
main
8m 2s
merge formalization of D_sup_closure_w_eq_DW Lean Action CI #154: Commit eb9fb0a pushed by AlexBrodbelt
4m 10s main
main
4m 10s
Merge pull request #14 from arajasek/asr/prove_D_sup_closure_w_eq_DW Compile blueprint #106: Commit 89b8f8b pushed by AlexBrodbelt
7m 14s main
main
7m 14s
Merge pull request #14 from arajasek/asr/prove_D_sup_closure_w_eq_DW Lean Action CI #153: Commit 89b8f8b pushed by AlexBrodbelt
4m 48s main
main
4m 48s
feat: S2_SpecialSubgroups: prove D_sup_closure_w_eq_DW Compile blueprint #105: Pull request #14 opened by arajasek
7m 46s arajasek:asr/prove_D_sup_closure_w_eq_DW
arajasek:asr/prove_D_sup_closure_w_eq_DW
7m 46s
feat: S2_SpecialSubgroups: prove D_sup_closure_w_eq_DW Lean Action CI #152: Pull request #14 opened by arajasek
4m 51s arajasek:asr/prove_D_sup_closure_w_eq_DW
arajasek:asr/prove_D_sup_closure_w_eq_DW
4m 51s