Skip to content

Actions: libsemigroups/libsemigroups_pybind11

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
187 workflow runs
187 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
presentation: attempt to resolve #391 Lint #88: Pull request #395 synchronize by james-d-mitchell
10m 3s james-d-mitchell:presentation-rules
james-d-mitchell:presentation-rules
10m 3s
presentation: attempt to resolve #391 Lint #87: Pull request #395 synchronize by james-d-mitchell
4m 48s james-d-mitchell:presentation-rules
james-d-mitchell:presentation-rules
4m 48s
transf: don't allow mult. when degrees differ Lint #86: Pull request #394 synchronize by james-d-mitchell
13m 43s james-d-mitchell:fix-transf-mult
james-d-mitchell:fix-transf-mult
13m 43s
presentation: attempt to resolve #391 Lint #85: Pull request #395 opened by james-d-mitchell
27s james-d-mitchell:presentation-rules
james-d-mitchell:presentation-rules
27s
Release candidate for v1.4.0 Lint #84: Pull request #393 synchronize by james-d-mitchell
37m 29s rc-v1.4.0
rc-v1.4.0
37m 29s
transf: don't allow mult. when degrees differ Lint #83: Pull request #394 opened by james-d-mitchell
14m 44s james-d-mitchell:fix-transf-mult
james-d-mitchell:fix-transf-mult
14m 44s
Release candidate for v1.4.0 Lint #82: Pull request #393 opened by james-d-mitchell
19m 47s rc-v1.4.0
rc-v1.4.0
19m 47s
todd-coxeter: update for changes in libsemigroups Lint #81: Pull request #388 synchronize by james-d-mitchell
19m 55s james-d-mitchell:improve-lookbehind
james-d-mitchell:improve-lookbehind
19m 55s
todd-coxeter: update for changes in libsemigroups Lint #80: Pull request #388 synchronize by james-d-mitchell
31m 38s james-d-mitchell:improve-lookbehind
james-d-mitchell:improve-lookbehind
31m 38s
todd-coxeter: update for changes in libsemigroups Lint #79: Pull request #388 synchronize by james-d-mitchell
12m 55s james-d-mitchell:improve-lookbehind
james-d-mitchell:improve-lookbehind
12m 55s
todd-coxeter: update for changes in libsemigroups Lint #78: Pull request #388 synchronize by james-d-mitchell
32m 33s james-d-mitchell:improve-lookbehind
james-d-mitchell:improve-lookbehind
32m 33s
Use jidicula's action Lint #77: Pull request #390 opened by Joseph-Edwards
27m 16s Joseph-Edwards:restore-clang-format-action
Joseph-Edwards:restore-clang-format-action
27m 16s
Add a clang-format job Lint #76: Pull request #389 opened by Joseph-Edwards
15m 24s Joseph-Edwards:clang-format
Joseph-Edwards:clang-format
15m 24s
todd-coxeter: update for changes in libsemigroups Lint #75: Pull request #388 opened by james-d-mitchell
10m 21s james-d-mitchell:improve-lookbehind
james-d-mitchell:improve-lookbehind
10m 21s
transf: future proof __getitem__ Lint #74: Pull request #382 synchronize by james-d-mitchell
11m 49s james-d-mitchell:fix-transf
james-d-mitchell:fix-transf
11m 49s
Update the CI so that the micromamba environment isn't cached Lint #73: Pull request #387 opened by Joseph-Edwards
9m 5s Joseph-Edwards:update-mamba-ci
Joseph-Edwards:update-mamba-ci
9m 5s
build(deps): bump urllib3 from 2.6.0 to 2.6.3 Lint #72: Pull request #384 opened by dependabot Bot
19m 30s dependabot/uv/urllib3-2.6.3
dependabot/uv/urllib3-2.6.3
19m 30s
Remove requirements-archive Lint #71: Pull request #383 opened by Joseph-Edwards
16m 9s Joseph-Edwards:drop-requirements-archive
Joseph-Edwards:drop-requirements-archive
16m 9s
transf: future proof __getitem__ Lint #70: Pull request #382 opened by james-d-mitchell
23m 14s james-d-mitchell:fix-transf
james-d-mitchell:fix-transf
23m 14s
Release candidate for v1.3.0 Lint #69: Pull request #381 opened by james-d-mitchell
9m 9s rc-v1.3.0
rc-v1.3.0
9m 9s
Update to libsemigroups v3.4.0 and add features introduced there Lint #68: Pull request #380 synchronize by james-d-mitchell
9m 28s james-d-mitchell:libsemigroups-v3.4.0
james-d-mitchell:libsemigroups-v3.4.0
9m 28s
Update to libsemigroups v3.4.0 and add features introduced there Lint #67: Pull request #380 synchronize by james-d-mitchell
9m 27s james-d-mitchell:libsemigroups-v3.4.0
james-d-mitchell:libsemigroups-v3.4.0
9m 27s
Update to libsemigroups v3.4.0 and add features introduced there Lint #66: Pull request #380 opened by james-d-mitchell
17s james-d-mitchell:libsemigroups-v3.4.0
james-d-mitchell:libsemigroups-v3.4.0
17s
build(deps): bump urllib3 from 2.6.0 to 2.6.3 in /requirements-archive Lint #65: Pull request #379 opened by dependabot Bot
9m 15s dependabot/pip/requirements-archive/urllib3-2.6.3
dependabot/pip/requirements-archive/urllib3-2.6.3
9m 15s
build(deps): bump pypa/cibuildwheel from 3.3.0 to 3.3.1 in the actions group Lint #64: Pull request #378 opened by dependabot Bot
13m 42s dependabot/github_actions/actions-c39ac40c9c
dependabot/github_actions/actions-c39ac40c9c
13m 42s