Skip to content

Actions: libsemigroups/libsemigroups_pybind11

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
192 workflow runs
192 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
build(deps): bump the actions group across 1 directory with 3 updates Lint #193: Pull request #460 synchronize by dependabot Bot
10m 42s dependabot/github_actions/actions-266bbead79
dependabot/github_actions/actions-266bbead79
10m 42s
Use to instead of constructing ToddCoxeter from WordGraph Lint #192: Pull request #462 opened by Joseph-Edwards
10m 15s Joseph-Edwards:fix-todd-coxeter-tests
Joseph-Edwards:fix-todd-coxeter-tests
10m 15s
build(deps): bump the actions group across 1 directory with 3 updates Lint #191: Pull request #460 opened by dependabot Bot
10m 48s dependabot/github_actions/actions-266bbead79
dependabot/github_actions/actions-266bbead79
10m 48s
Orders using alphabets Lint #190: Pull request #459 synchronize by Joseph-Edwards
34m 36s james-d-mitchell:orders-using-alphabets
james-d-mitchell:orders-using-alphabets
34m 36s
Orders using alphabets Lint #189: Pull request #459 synchronize by james-d-mitchell
19m 51s james-d-mitchell:orders-using-alphabets
james-d-mitchell:orders-using-alphabets
19m 51s
build(deps): bump the actions group across 1 directory with 2 updates Lint #188: Pull request #457 synchronize by dependabot Bot
10m 44s dependabot/github_actions/actions-7fe60ccdd2
dependabot/github_actions/actions-7fe60ccdd2
10m 44s
Orders using alphabets Lint #187: Pull request #459 synchronize by james-d-mitchell
30m 9s james-d-mitchell:orders-using-alphabets
james-d-mitchell:orders-using-alphabets
30m 9s
Orders using alphabets Lint #186: Pull request #459 opened by james-d-mitchell
31m 49s james-d-mitchell:orders-using-alphabets
james-d-mitchell:orders-using-alphabets
31m 49s
build(deps): bump soupsieve from 2.8 to 2.8.4 Lint #185: Pull request #458 opened by dependabot Bot
12m 27s dependabot/uv/soupsieve-2.8.4
dependabot/uv/soupsieve-2.8.4
12m 27s
build(deps): bump the actions group across 1 directory with 2 updates Lint #184: Pull request #457 opened by dependabot Bot
12m 5s dependabot/github_actions/actions-7fe60ccdd2
dependabot/github_actions/actions-7fe60ccdd2
12m 5s
Alphabet Lint #183: Pull request #456 synchronize by james-d-mitchell
10m 31s james-d-mitchell:alphabet
james-d-mitchell:alphabet
10m 31s
Knuth bendix search Lint #182: Pull request #453 synchronize by james-d-mitchell
12m 28s james-d-mitchell:knuth-bendix-search
james-d-mitchell:knuth-bendix-search
12m 28s
Knuth bendix search Lint #181: Pull request #453 synchronize by james-d-mitchell
2m 27s james-d-mitchell:knuth-bendix-search
james-d-mitchell:knuth-bendix-search
2m 27s
Alphabet Lint #180: Pull request #456 opened by james-d-mitchell
11m 38s james-d-mitchell:alphabet
james-d-mitchell:alphabet
11m 38s
build(deps): bump pypa/cibuildwheel from 3.4.1 to 4.1.0 in the actions group across 1 directory Lint #179: Pull request #451 synchronize by james-d-mitchell
56m 4s dependabot/github_actions/actions-41868a87b6
dependabot/github_actions/actions-41868a87b6
56m 4s
Knuth bendix search Lint #178: Pull request #453 opened by james-d-mitchell
1h 44m 3s james-d-mitchell:knuth-bendix-search
james-d-mitchell:knuth-bendix-search
1h 44m 3s
build(deps): bump pypa/cibuildwheel from 3.4.1 to 4.1.0 in the actions group across 1 directory Lint #177: Pull request #451 synchronize by dependabot Bot
10m 30s dependabot/github_actions/actions-41868a87b6
dependabot/github_actions/actions-41868a87b6
10m 30s
Update KnuthBendix Lint #176: Pull request #449 synchronize by james-d-mitchell
24m 38s james-d-mitchell:improve-knuth-bendix-newest
james-d-mitchell:improve-knuth-bendix-newest
24m 38s
Update KnuthBendix Lint #175: Pull request #449 reopened by james-d-mitchell
10m 13s james-d-mitchell:improve-knuth-bendix-newest
james-d-mitchell:improve-knuth-bendix-newest
10m 13s
konieczny: add support for MaxPlusTrunc matrices Lint #174: Pull request #452 synchronize by james-d-mitchell
9m 48s james-d-mitchell:dynamic-max-plus
james-d-mitchell:dynamic-max-plus
9m 48s
konieczny: add support for MaxPlusTrunc matrices Lint #173: Pull request #452 reopened by james-d-mitchell
10m 14s james-d-mitchell:dynamic-max-plus
james-d-mitchell:dynamic-max-plus
10m 14s
konieczny: add support for MaxPlusTrunc matrices Lint #172: Pull request #452 opened by james-d-mitchell
12m 26s james-d-mitchell:dynamic-max-plus
james-d-mitchell:dynamic-max-plus
12m 26s
build(deps): bump pypa/cibuildwheel from 3.4.1 to 4.1.0 in the actions group across 1 directory Lint #171: Pull request #451 opened by dependabot Bot
9m 42s dependabot/github_actions/actions-41868a87b6
dependabot/github_actions/actions-41868a87b6
9m 42s
Update KnuthBendix Lint #170: Pull request #449 synchronize by james-d-mitchell
4m 38s james-d-mitchell:improve-knuth-bendix-newest
james-d-mitchell:improve-knuth-bendix-newest
4m 38s
Update KnuthBendix Lint #169: Pull request #449 synchronize by james-d-mitchell
8m 46s james-d-mitchell:improve-knuth-bendix-newest
james-d-mitchell:improve-knuth-bendix-newest
8m 46s