Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
479 workflow run results
479 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Manual Manual #1573: Scheduled
September 21, 2023 03:40 3m 40s main
main
September 21, 2023 03:40 3m 40s
Standard tests Standard tests #1813: Scheduled
September 21, 2023 03:22 46m 40s main
main
September 21, 2023 03:22 46m 40s
clang-format clang-format #319: Scheduled
September 21, 2023 03:21 33s main
main
September 21, 2023 03:21 33s
Lint Lint #1573: Scheduled
September 21, 2023 03:19 44s main
main
September 21, 2023 03:19 44s
Update version numbers etc for v5.3.1 Lint #1572: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 40s main
main
September 20, 2023 08:11 40s
Update version numbers etc for v5.3.1 Standard tests #1812: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 44m 29s main
main
September 20, 2023 08:11 44m 29s
Update version numbers etc for v5.3.1 clang-format #318: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 39s main
main
September 20, 2023 08:11 39s
Update version numbers etc for v5.3.1 Manual #1572: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 4m 8s main
main
September 20, 2023 08:11 4m 8s
Update version numbers etc for v5.3.1 Configuration options #108: Commit 5ea4415 pushed by james-d-mitchell
September 20, 2023 08:11 15m 42s main
main
September 20, 2023 08:11 15m 42s
Manual Manual #1571: Scheduled
September 20, 2023 03:40 3m 39s main
main
September 20, 2023 03:40 3m 39s
Standard tests Standard tests #1811: Scheduled
September 20, 2023 03:22 59m 6s main
main
September 20, 2023 03:22 59m 6s
clang-format clang-format #317: Scheduled
September 20, 2023 03:21 35s main
main
September 20, 2023 03:21 35s
Lint Lint #1571: Scheduled
September 20, 2023 03:19 42s main
main
September 20, 2023 03:19 42s
pages build and deployment pages-build-deployment #12: by james-d-mitchell
September 19, 2023 15:09 1m 1s
September 19, 2023 15:09 1m 1s
Update version numbers etc for v5.3.1 Manual #1570: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 5m 13s stable-5.3
stable-5.3
September 19, 2023 15:08 5m 13s
Update version numbers etc for v5.3.1 Configuration options #107: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 7m 15s stable-5.3
stable-5.3
September 19, 2023 15:08 7m 15s
Update version numbers etc for v5.3.1 Lint #1570: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 47s stable-5.3
stable-5.3
September 19, 2023 15:08 47s
Update version numbers etc for v5.3.1 clang-format #316: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 33s stable-5.3
stable-5.3
September 19, 2023 15:08 33s
Update version numbers etc for v5.3.1 Standard tests #1810: Commit 5ea4415 pushed by james-d-mitchell
September 19, 2023 15:08 47m 16s stable-5.3
stable-5.3
September 19, 2023 15:08 47m 16s
Rc v5.3.1 clang-format #315: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 3m 42s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 3m 42s
Rc v5.3.1 Lint #1569: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 3m 12s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 3m 12s
Rc v5.3.1 codespell #82: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 4m 6s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 4m 6s
Rc v5.3.1 Standard tests #1809: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 1h 2m 44s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 1h 2m 44s
Rc v5.3.1 Extended tests #12: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 1h 1m 57s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 1h 1m 57s
Rc v5.3.1 Configuration options #106: Pull request #959 synchronize by james-d-mitchell
September 19, 2023 13:49 10m 50s rc-v5.3.1
rc-v5.3.1
September 19, 2023 13:49 10m 50s