Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Configuration options Configuration options #1343: Scheduled
In progress main
main
In progress
Manual Manual #3528: Scheduled
4m 17s main
main
4m 17s
Standard tests Standard tests #655: Scheduled
58m 11s main
main
58m 11s
Workspaces Workspaces #1935: Scheduled
9m 3s main
main
9m 3s
clang-format clang-format #2278: Scheduled
17s main
main
17s
Lint Lint #3528: Scheduled
34s main
main
34s
Extended tests Extended tests #354: Scheduled
37m 53s main
main
37m 53s
Added some functions for working with graph inverse semigroups and their congruences Standard tests #654: Pull request #1204 synchronize by joe-dw
51m 12s joe-dw:main
joe-dw:main
51m 12s
Added some functions for working with graph inverse semigroups and their congruences codespell #905: Pull request #1204 synchronize by joe-dw
17s joe-dw:main
joe-dw:main
17s
Added some functions for working with graph inverse semigroups and their congruences Lint #3527: Pull request #1204 synchronize by joe-dw
28s joe-dw:main
joe-dw:main
28s
Added some functions for working with graph inverse semigroups and their congruences Manual #3527: Pull request #1204 synchronize by joe-dw
3m 41s joe-dw:main
joe-dw:main
3m 41s
Added some functions for working with graph inverse semigroups and their congruences Workspaces #1934: Pull request #1204 synchronize by joe-dw
2m 44s joe-dw:main
joe-dw:main
2m 44s
Added some functions for working with graph inverse semigroups and their congruences Configuration options #1342: Pull request #1204 synchronize by joe-dw
19m 16s joe-dw:main
joe-dw:main
19m 16s
Added some functions for working with graph inverse semigroups and their congruences clang-format #2277: Pull request #1204 synchronize by joe-dw
34s joe-dw:main
joe-dw:main
34s
Added some functions for working with graph inverse semigroups and their congruences Manual #3526: Pull request #1204 synchronize by joe-dw
4m 22s joe-dw:main
joe-dw:main
4m 22s
Added some functions for working with graph inverse semigroups and their congruences Workspaces #1933: Pull request #1204 synchronize by joe-dw
2m 6s joe-dw:main
joe-dw:main
2m 6s
Added some functions for working with graph inverse semigroups and their congruences codespell #904: Pull request #1204 synchronize by joe-dw
27s joe-dw:main
joe-dw:main
27s
Added some functions for working with graph inverse semigroups and their congruences Standard tests #653: Pull request #1204 synchronize by joe-dw
51m 16s joe-dw:main
joe-dw:main
51m 16s
Added some functions for working with graph inverse semigroups and their congruences clang-format #2276: Pull request #1204 synchronize by joe-dw
15s joe-dw:main
joe-dw:main
15s
Added some functions for working with graph inverse semigroups and their congruences Configuration options #1341: Pull request #1204 synchronize by joe-dw
19m 22s joe-dw:main
joe-dw:main
19m 22s
Added some functions for working with graph inverse semigroups and their congruences Lint #3526: Pull request #1204 synchronize by joe-dw
29s joe-dw:main
joe-dw:main
29s
Added some functions for working with graph inverse semigroups and their congruences codespell #903: Pull request #1204 synchronize by joe-dw
1m 28s joe-dw:main
joe-dw:main
1m 28s
Added some functions for working with graph inverse semigroups and their congruences Standard tests #652: Pull request #1204 synchronize by joe-dw
34m 21s joe-dw:main
joe-dw:main
34m 21s
Added some functions for working with graph inverse semigroups and their congruences Configuration options #1340: Pull request #1204 synchronize by joe-dw
18m 57s joe-dw:main
joe-dw:main
18m 57s
Added some functions for working with graph inverse semigroups and their congruences Workspaces #1932: Pull request #1204 synchronize by joe-dw
1m 57s joe-dw:main
joe-dw:main
1m 57s