Skip to content

Actions: semigroups/Semigroups

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
892 workflow runs
892 workflow runs

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
Lint Lint #3359: Scheduled
30s main
main
30s
Lint Lint #3358: Scheduled
28s main
main
28s
Generalizedconjugacyclasses Lint #3357: Pull request #1175 synchronize by JosephDayngerRuiz
24s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
24s
Generalizedconjugacyclasses Lint #3356: Pull request #1175 opened by JosephDayngerRuiz
27s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
27s
Lint Lint #3355: Scheduled
28s main
main
28s
Lint Lint #3354: Scheduled
26s main
main
26s
Lint Lint #3353: Scheduled
28s main
main
28s
Lint Lint #3352: Scheduled
25s main
main
25s
Lint Lint #3351: Scheduled
26s main
main
26s
Lint Lint #3350: Scheduled
26s main
main
26s
Generalized Conjugacy Class Lint #3349: Pull request #1136 synchronize by JosephDayngerRuiz
1m 33s JosephDayngerRuiz:Finite-Field-Cartan
JosephDayngerRuiz:Finite-Field-Cartan
1m 33s
Lint Lint #3348: Scheduled
24s main
main
24s
Update version numbers etc for v5.6.2 Lint #3347: Commit a5bd545 pushed by james-d-mitchell
30s stable-5.6
stable-5.6
30s
Lint Lint #3346: Scheduled
25s main
main
25s
Release candidate for v5.6.2 Lint #3345: Pull request #1172 synchronize by james-d-mitchell
29s rc-v5.6.2
rc-v5.6.2
29s
Lint Lint #3344: Scheduled
26s main
main
26s
Release candidate for v5.6.2 Lint #3343: Pull request #1172 synchronize by james-d-mitchell
34s rc-v5.6.2
rc-v5.6.2
34s
Lint Lint #3342: Scheduled
25s main
main
25s
Lint Lint #3341: Scheduled
24s main
main
24s
Lint Lint #3340: Scheduled
28s main
main
28s
Lint Lint #3339: Scheduled
25s main
main
25s
Lint Lint #3338: Scheduled
25s main
main
25s
Release candidate for v5.6.2 Lint #3337: Pull request #1172 opened by james-d-mitchell
27s rc-v5.6.2
rc-v5.6.2
27s
Generalized Conjugacy Class Lint #3336: Pull request #1136 synchronize by JosephDayngerRuiz
28s JosephDayngerRuiz:Finite-Field-Cartan
JosephDayngerRuiz:Finite-Field-Cartan
28s
Lint Lint #3335: Scheduled
27s main
main
27s