Skip to content

Actions: semigroups/Semigroups

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,589 workflow run results
1,589 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better dot
Standard tests #2174: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 32m 38s james-d-mitchell:better-dot
March 27, 2024 17:38 32m 38s
Better dot
clang-format #680: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 28s james-d-mitchell:better-dot
March 27, 2024 17:38 28s
Better dot
Lint #1934: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 31s james-d-mitchell:better-dot
March 27, 2024 17:38 31s
Better dot
Workspaces #342: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 1m 30s james-d-mitchell:better-dot
March 27, 2024 17:38 1m 30s
Better dot
codespell #210: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 18s james-d-mitchell:better-dot
March 27, 2024 17:38 18s
Better dot
Manual #1934: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 2m 48s james-d-mitchell:better-dot
March 27, 2024 17:38 2m 48s
Better dot
Configuration options #281: Pull request #1007 synchronize by james-d-mitchell
March 27, 2024 17:38 9m 15s james-d-mitchell:better-dot
March 27, 2024 17:38 9m 15s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
codespell #209: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 19s Jun2M:main
March 27, 2024 17:14 19s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
clang-format #679: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 28s Jun2M:main
March 27, 2024 17:14 28s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Lint #1933: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 30s Jun2M:main
March 27, 2024 17:14 30s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Configuration options #280: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 10m 38s Jun2M:main
March 27, 2024 17:14 10m 38s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Standard tests #2173: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 35m 54s Jun2M:main
March 27, 2024 17:14 35m 54s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Workspaces #341: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 1m 37s Jun2M:main
March 27, 2024 17:14 1m 37s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Manual #1933: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:14 3m 18s Jun2M:main
March 27, 2024 17:14 3m 18s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Standard tests #2172: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 6m 25s Jun2M:main
March 27, 2024 17:08 6m 25s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Manual #1932: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 3m 15s Jun2M:main
March 27, 2024 17:08 3m 15s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Configuration options #279: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 12m 38s Jun2M:main
March 27, 2024 17:08 12m 38s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Workspaces #340: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 1m 37s Jun2M:main
March 27, 2024 17:08 1m 37s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
clang-format #678: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 28s Jun2M:main
March 27, 2024 17:08 28s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
codespell #208: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 29s Jun2M:main
March 27, 2024 17:08 29s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Lint #1932: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:08 35s Jun2M:main
March 27, 2024 17:08 35s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Standard tests #2171: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:03 9m 48s Jun2M:main
March 27, 2024 17:03 9m 48s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Configuration options #278: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:03 8m 58s Jun2M:main
March 27, 2024 17:03 8m 58s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Workspaces #339: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:03 1m 32s Jun2M:main
March 27, 2024 17:03 1m 32s
Implement LeftSemigroupIdeal and RightSemigroupIdeal
Lint #1931: Pull request #1009 synchronize by Jun2M
March 27, 2024 17:03 36s Jun2M:main
March 27, 2024 17:03 36s