Skip to content

todd-coxeter: update for changes in libsemigroups #78

todd-coxeter: update for changes in libsemigroups

todd-coxeter: update for changes in libsemigroups #78

Triggered via pull request February 20, 2026 16:44
Status Success
Total duration 32m 33s
Artifacts

lint.yml

on: pull_request
clang-format
22s
clang-format
Matrix: lint
Fit to window
Zoom out
Zoom in