Skip to content

Actions: libsemigroups/libsemigroups_pybind11

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
846 workflow runs
846 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

aho-corasick: add is_terminal Run tests and lint #799: Pull request #244 opened by james-d-mitchell
May 16, 2025 10:47 11m 35s james-d-mitchell:aho-corasick-is-terminal
james-d-mitchell:aho-corasick-is-terminal
May 16, 2025 10:47 11m 35s
aho-corasick: add is_terminal codespell #620: Pull request #244 opened by james-d-mitchell
May 16, 2025 10:47 14s james-d-mitchell:aho-corasick-is-terminal
james-d-mitchell:aho-corasick-is-terminal
May 16, 2025 10:47 14s
Scheduled CodeQL #8: by github-advanced-security bot
May 16, 2025 09:32 1m 14s main
main
May 16, 2025 09:32 1m 14s
Convert from KnuthBendix and a word type to a Presentation. codespell #619: Pull request #243 synchronize by Joseph-Edwards
May 15, 2025 18:46 13s Joseph-Edwards:refactor-to
Joseph-Edwards:refactor-to
May 15, 2025 18:46 13s
Convert from KnuthBendix and a word type to a Presentation. Run tests and lint #798: Pull request #243 synchronize by Joseph-Edwards
May 15, 2025 18:46 11m 13s Joseph-Edwards:refactor-to
Joseph-Edwards:refactor-to
May 15, 2025 18:46 11m 13s
Convert from KnuthBendix and a word type to a Presentation. codespell #618: Pull request #243 opened by Joseph-Edwards
May 15, 2025 18:37 16s Joseph-Edwards:refactor-to
Joseph-Edwards:refactor-to
May 15, 2025 18:37 16s
Convert from KnuthBendix and a word type to a Presentation. Run tests and lint #797: Pull request #243 opened by Joseph-Edwards
May 15, 2025 18:37 9m 11s Joseph-Edwards:refactor-to
Joseph-Edwards:refactor-to
May 15, 2025 18:37 9m 11s
Modernise the build system codespell #617: Pull request #237 synchronize by Joseph-Edwards
May 13, 2025 09:45 15s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 13, 2025 09:45 15s
Modernise the build system Run tests and lint #796: Pull request #237 synchronize by Joseph-Edwards
May 13, 2025 09:45 11m 3s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 13, 2025 09:45 11m 3s
Modernise the build system Run tests and lint #795: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 13:44 11m 9s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 13:44 11m 9s
Modernise the build system codespell #616: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 13:44 15s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 13:44 15s
Modernise the build system codespell #615: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 11:21 14s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 11:21 14s
Modernise the build system Run tests and lint #794: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 11:21 11m 3s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 11:21 11m 3s
Modernise the build system codespell #614: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 11:05 18s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 11:05 18s
Modernise the build system Run tests and lint #793: Pull request #237 synchronize by Joseph-Edwards
May 12, 2025 11:05 11m 51s Joseph-Edwards:update-build-system
Joseph-Edwards:update-build-system
May 12, 2025 11:05 11m 51s
Scheduled CodeQL #7: by github-advanced-security bot
May 9, 2025 09:32 1m 14s main
main
May 9, 2025 09:32 1m 14s
Use proper classes Run tests and lint #792: Pull request #235 synchronize by james-d-mitchell
May 9, 2025 08:20 12m 0s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 9, 2025 08:20 12m 0s
Use proper classes codespell #613: Pull request #235 synchronize by james-d-mitchell
May 9, 2025 08:20 16s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 9, 2025 08:20 16s
Use proper classes codespell #612: Pull request #235 synchronize by james-d-mitchell
May 9, 2025 07:57 14s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 9, 2025 07:57 14s
Use proper classes Run tests and lint #791: Pull request #235 synchronize by james-d-mitchell
May 9, 2025 07:57 11m 33s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 9, 2025 07:57 11m 33s
Use proper classes codespell #611: Pull request #235 synchronize by james-d-mitchell
May 8, 2025 20:41 15s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 8, 2025 20:41 15s
Use proper classes Run tests and lint #790: Pull request #235 synchronize by james-d-mitchell
May 8, 2025 20:41 11m 30s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 8, 2025 20:41 11m 30s
Use proper classes Run tests and lint #789: Pull request #235 synchronize by james-d-mitchell
May 8, 2025 20:40 36s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 8, 2025 20:40 36s
Use proper classes codespell #610: Pull request #235 synchronize by james-d-mitchell
May 8, 2025 20:40 14s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 8, 2025 20:40 14s
Use proper classes Run tests and lint #788: Pull request #235 synchronize by james-d-mitchell
May 8, 2025 20:40 37s james-d-mitchell:use-proper-classes
james-d-mitchell:use-proper-classes
May 8, 2025 20:40 37s