Skip to content
Lint

Add a CI workflow that tests the packaging using libsemigroups installed with a combination of --disable-eigen and --disable-hpcombi #48

Sign in to view logs

Add a CI workflow that tests the packaging using libsemigroups installed with a combination of --disable-eigen and --disable-hpcombi

Add a CI workflow that tests the packaging using libsemigroups installed with a combination of --disable-eigen and --disable-hpcombi #48

Triggered via pull request November 28, 2025 17:53
@Joseph-EdwardsJoseph-Edwards
synchronize #362
Joseph-Edwards:update-ci
Status Success
Total duration 10m 1s
Artifacts –

lint.yml

on: pull_request
Matrix: lint
Fit to window
Zoom out
Zoom in