Skip to content

Actions: semigroups/Semigroups

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
914 workflow runs
914 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
Merge branch 'stable-5.6' Lint #3413: Commit 5eb8306 pushed by james-d-mitchell
27s main
main
27s
Update version numbers etc for v5.6.3 Lint #3412: Commit fcbaac3 pushed by james-d-mitchell
26s stable-5.6
stable-5.6
26s
Release candidate for v5.6.3 Lint #3411: Pull request #1182 opened by james-d-mitchell
1m 44s rc-v5.6.3
rc-v5.6.3
1m 44s
Lint Lint #3410: Scheduled
28s main
main
28s
GeneralizedConjugacyClasses Lint #3409: Pull request #1175 synchronize by JosephDayngerRuiz
32s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
32s
Remove test for 'Matrix(GF(3), [[]]);' (#1181) Lint #3408: Commit fae9d31 pushed by james-d-mitchell
27s stable-5.6
stable-5.6
27s
Remove test for 'Matrix(GF(3), [[]]);' Lint #3407: Commit 3a3f7c5 pushed by james-d-mitchell
31s main
main
31s
Remove test for 'Matrix(GF(3), [[]]);' (targeting stable-5.6 branch) Lint #3406: Pull request #1181 opened by fingolfin
26s fingolfin:mh/rm-empty-matrix-test-5.6
fingolfin:mh/rm-empty-matrix-test-5.6
26s
Lint Lint #3405: Scheduled
29s main
main
29s
Lint Lint #3404: Scheduled
32s main
main
32s
Lint Lint #3403: Scheduled
33s main
main
33s
Remove test for 'Matrix(GF(3), [[]]);' Lint #3402: Pull request #1180 opened by fingolfin
27s fingolfin:mh/rm-empty-matrix-test
fingolfin:mh/rm-empty-matrix-test
27s
Remove moduleState init from gapbind14 kernel extension Lint #3401: Commit 668eb77 pushed by james-d-mitchell
33s main
main
33s
Lint Lint #3400: Scheduled
31s main
main
31s
Lint Lint #3399: Scheduled
33s main
main
33s
Lint Lint #3398: Scheduled
26s main
main
26s
Remove moduleState init from gapbind14 kernel extension Lint #3397: Pull request #1179 opened by fingolfin
1m 33s fingolfin:mh/moduleStateSize
fingolfin:mh/moduleStateSize
1m 33s
Lint Lint #3396: Scheduled
29s main
main
29s
GeneralizedConjugacyClasses Lint #3395: Pull request #1175 synchronize by JosephDayngerRuiz
26s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
26s
GeneralizedConjugacyClasses Lint #3394: Pull request #1175 synchronize by JosephDayngerRuiz
31s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
31s
Lint Lint #3393: Scheduled
36s main
main
36s
GeneralizedConjugacyClasses Lint #3392: Pull request #1175 synchronize by JosephDayngerRuiz
2m 8s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
2m 8s
GeneralizedConjugacyClasses Lint #3391: Pull request #1175 synchronize by JosephDayngerRuiz
33s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
33s
GeneralizedConjugacyClasses Lint #3390: Pull request #1175 synchronize by JosephDayngerRuiz
34s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
34s
GeneralizedConjugacyClasses Lint #3389: Pull request #1175 synchronize by JosephDayngerRuiz
24s JosephDayngerRuiz:generalizedconjugacyclasses
JosephDayngerRuiz:generalizedconjugacyclasses
24s