Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,683 workflow runs
4,683 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #2332: Scheduled
November 18, 2024 03:37 37s main
main
November 18, 2024 03:37 37s
build(deps): bump codecov/codecov-action from 3 to 5 clang-format #1077: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 27s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 27s
build(deps): bump codecov/codecov-action from 3 to 5 Standard tests #2570: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 40m 50s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 40m 50s
build(deps): bump codecov/codecov-action from 3 to 5 codespell #345: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 17s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 17s
build(deps): bump codecov/codecov-action from 3 to 5 Manual #2331: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 3m 3s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 3m 3s
build(deps): bump codecov/codecov-action from 3 to 5 Lint #2331: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 33s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 33s
build(deps): bump codecov/codecov-action from 3 to 5 Workspaces #739: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 1m 47s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 1m 47s
build(deps): bump codecov/codecov-action from 3 to 5 Configuration options #443: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 14m 21s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 14m 21s
Manual Manual #2330: Scheduled
November 17, 2024 03:50 3m 3s main
main
November 17, 2024 03:50 3m 3s
Workspaces Workspaces #738: Scheduled
November 17, 2024 03:42 1m 27s main
main
November 17, 2024 03:42 1m 27s
Standard tests Standard tests #2569: Scheduled
November 17, 2024 03:41 41m 43s main
main
November 17, 2024 03:41 41m 43s
clang-format clang-format #1076: Scheduled
November 17, 2024 03:40 25s main
main
November 17, 2024 03:40 25s
Lint Lint #2330: Scheduled
November 17, 2024 03:36 33s main
main
November 17, 2024 03:36 33s
Manual Manual #2329: Scheduled
November 16, 2024 03:47 3m 31s main
main
November 16, 2024 03:47 3m 31s
Workspaces Workspaces #737: Scheduled
November 16, 2024 03:39 1m 26s main
main
November 16, 2024 03:39 1m 26s
Standard tests Standard tests #2568: Scheduled
November 16, 2024 03:38 39m 35s main
main
November 16, 2024 03:38 39m 35s
clang-format clang-format #1075: Scheduled
November 16, 2024 03:37 25s main
main
November 16, 2024 03:37 25s
Lint Lint #2329: Scheduled
November 16, 2024 03:34 37s main
main
November 16, 2024 03:34 37s
Better Nambooripad (#1026) clang-format #1074: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 27s main
main
November 15, 2024 19:01 27s
Better Nambooripad (#1026) Manual #2328: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 3m 38s main
main
November 15, 2024 19:01 3m 38s
Better Nambooripad (#1026) Configuration options #442: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 14m 11s main
main
November 15, 2024 19:01 14m 11s
Better Nambooripad (#1026) Standard tests #2567: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 39m 59s main
main
November 15, 2024 19:01 39m 59s
Better Nambooripad (#1026) Lint #2328: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 35s main
main
November 15, 2024 19:01 35s
Better Nambooripad (#1026) Workspaces #736: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 1m 26s main
main
November 15, 2024 19:01 1m 26s
Manual Manual #2327: Scheduled
November 15, 2024 03:49 3m 56s main
main
November 15, 2024 03:49 3m 56s