Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,828 workflow run results
2,828 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Manual Manual #1978: Scheduled
May 4, 2024 03:40 3m 14s main
main
May 4, 2024 03:40 3m 14s
Workspaces Workspaces #386: Scheduled
May 4, 2024 03:26 1m 55s main
main
May 4, 2024 03:26 1m 55s
Standard tests Standard tests #2218: Scheduled
May 4, 2024 03:25 30m 56s main
main
May 4, 2024 03:25 30m 56s
clang-format clang-format #724: Scheduled
May 4, 2024 03:24 23s main
main
May 4, 2024 03:24 23s
Lint Lint #1978: Scheduled
May 4, 2024 03:22 34s main
main
May 4, 2024 03:22 34s
Manual Manual #1977: Scheduled
May 3, 2024 03:40 3m 15s main
main
May 3, 2024 03:40 3m 15s
Workspaces Workspaces #385: Scheduled
May 3, 2024 03:28 1m 28s main
main
May 3, 2024 03:28 1m 28s
Standard tests Standard tests #2217: Scheduled
May 3, 2024 03:27 36m 44s main
main
May 3, 2024 03:27 36m 44s
clang-format clang-format #723: Scheduled
May 3, 2024 03:26 23s main
main
May 3, 2024 03:26 23s
Lint Lint #1977: Scheduled
May 3, 2024 03:24 28s main
main
May 3, 2024 03:24 28s
Manual Manual #1976: Scheduled
May 2, 2024 03:40 2m 41s main
main
May 2, 2024 03:40 2m 41s
Workspaces Workspaces #384: Scheduled
May 2, 2024 03:25 1m 55s main
main
May 2, 2024 03:25 1m 55s
Standard tests Standard tests #2216: Scheduled
May 2, 2024 03:24 32m 39s main
main
May 2, 2024 03:24 32m 39s
clang-format clang-format #722: Scheduled
May 2, 2024 03:23 27s main
main
May 2, 2024 03:23 27s
Lint Lint #1976: Scheduled
May 2, 2024 03:21 29s main
main
May 2, 2024 03:21 29s
Manual Manual #1975: Scheduled
May 1, 2024 03:40 2m 48s main
main
May 1, 2024 03:40 2m 48s
Workspaces Workspaces #383: Scheduled
May 1, 2024 03:28 1m 52s main
main
May 1, 2024 03:28 1m 52s
Standard tests Standard tests #2215: Scheduled
May 1, 2024 03:27 32m 15s main
main
May 1, 2024 03:27 32m 15s
clang-format clang-format #721: Scheduled
May 1, 2024 03:27 29s main
main
May 1, 2024 03:27 29s
Lint Lint #1975: Scheduled
May 1, 2024 03:24 31s main
main
May 1, 2024 03:24 31s
Manual Manual #1974: Scheduled
April 30, 2024 03:40 2m 46s main
main
April 30, 2024 03:40 2m 46s
Workspaces Workspaces #382: Scheduled
April 30, 2024 03:25 1m 58s main
main
April 30, 2024 03:25 1m 58s
Standard tests Standard tests #2214: Scheduled
April 30, 2024 03:24 30m 46s main
main
April 30, 2024 03:24 30m 46s
clang-format clang-format #720: Scheduled
April 30, 2024 03:24 28s main
main
April 30, 2024 03:24 28s
Lint Lint #1974: Scheduled
April 30, 2024 03:21 30s main
main
April 30, 2024 03:21 30s