Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,551 workflow runs
3,551 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Manual Manual #2700: Scheduled
August 2, 2025 04:08 6m 0s main
main
August 2, 2025 04:08 6m 0s
Standard tests Standard tests #2939: Scheduled
August 2, 2025 04:03 39m 36s main
main
August 2, 2025 04:03 39m 36s
Workspaces Workspaces #1108: Scheduled
August 2, 2025 04:02 1m 22s main
main
August 2, 2025 04:02 1m 22s
clang-format clang-format #1450: Scheduled
August 2, 2025 04:01 28s main
main
August 2, 2025 04:01 28s
Lint Lint #2700: Scheduled
August 2, 2025 04:00 25s main
main
August 2, 2025 04:00 25s
Manual Manual #2699: Scheduled
August 1, 2025 04:37 4m 47s main
main
August 1, 2025 04:37 4m 47s
Standard tests Standard tests #2938: Scheduled
August 1, 2025 04:31 38m 49s main
main
August 1, 2025 04:31 38m 49s
Workspaces Workspaces #1107: Scheduled
August 1, 2025 04:21 1m 29s main
main
August 1, 2025 04:21 1m 29s
clang-format clang-format #1449: Scheduled
August 1, 2025 04:20 19s main
main
August 1, 2025 04:20 19s
Lint Lint #2699: Scheduled
August 1, 2025 04:19 24s main
main
August 1, 2025 04:19 24s
Manual Manual #2698: Scheduled
July 31, 2025 04:26 5m 39s main
main
July 31, 2025 04:26 5m 39s
Standard tests Standard tests #2937: Scheduled
July 31, 2025 04:10 39m 14s main
main
July 31, 2025 04:10 39m 14s
Workspaces Workspaces #1106: Scheduled
July 31, 2025 04:09 1m 33s main
main
July 31, 2025 04:09 1m 33s
clang-format clang-format #1448: Scheduled
July 31, 2025 04:08 17s main
main
July 31, 2025 04:08 17s
Lint Lint #2698: Scheduled
July 31, 2025 04:07 25s main
main
July 31, 2025 04:07 25s
Manual Manual #2697: Scheduled
July 30, 2025 04:27 5m 59s main
main
July 30, 2025 04:27 5m 59s
Standard tests Standard tests #2936: Scheduled
July 30, 2025 04:11 40m 28s main
main
July 30, 2025 04:11 40m 28s
Workspaces Workspaces #1105: Scheduled
July 30, 2025 04:10 1m 36s main
main
July 30, 2025 04:10 1m 36s
clang-format clang-format #1447: Scheduled
July 30, 2025 04:09 17s main
main
July 30, 2025 04:09 17s
Lint Lint #2697: Scheduled
July 30, 2025 04:08 25s main
main
July 30, 2025 04:08 25s
Add Cartan matrix computation for monoids Workspaces #1104: Pull request #1048 synchronize by JosephDayngerRuiz
July 29, 2025 16:40 1m 25s JosephDayngerRuiz:AddingCartan
JosephDayngerRuiz:AddingCartan
July 29, 2025 16:40 1m 25s
Add Cartan matrix computation for monoids clang-format #1446: Pull request #1048 synchronize by JosephDayngerRuiz
July 29, 2025 16:40 16s JosephDayngerRuiz:AddingCartan
JosephDayngerRuiz:AddingCartan
July 29, 2025 16:40 16s
Add Cartan matrix computation for monoids Lint #2696: Pull request #1048 synchronize by JosephDayngerRuiz
July 29, 2025 16:40 25s JosephDayngerRuiz:AddingCartan
JosephDayngerRuiz:AddingCartan
July 29, 2025 16:40 25s
Add Cartan matrix computation for monoids Standard tests #2935: Pull request #1048 synchronize by JosephDayngerRuiz
July 29, 2025 16:40 42m 51s JosephDayngerRuiz:AddingCartan
JosephDayngerRuiz:AddingCartan
July 29, 2025 16:40 42m 51s
Add Cartan matrix computation for monoids Configuration options #575: Pull request #1048 synchronize by JosephDayngerRuiz
July 29, 2025 16:40 14m 15s JosephDayngerRuiz:AddingCartan
JosephDayngerRuiz:AddingCartan
July 29, 2025 16:40 14m 15s