CI: Build semigroups (and cascade of dependencies)#12
Conversation
james-d-mitchell
left a comment
james-d-mitchell
left a comment
There was a problem hiding this comment.
Looks reasonable to me, let’s see if the CI passes
|
Build manuals fails because there's no manual. It'd probably make sense to remove that ci job |
limakzi
left a comment
limakzi
left a comment
There was a problem hiding this comment.
Since there is no documentation, as @james-d-mitchell mentioned, please remove build-docs step.
Co-authored-by: Kamil Zabielski <50334623+limakzi@users.noreply.github.com>
|
Since the documentation step was moved to a separate file in c931949, I think it should be fine to merge this PR as is; a removal of `docs.yml' file can be done in a separate PR. (I think there's something to be said for just leaving the failing Docs job in place, as a reminder that documentation is missing, but I leave the decision on that to others :) ) |
|
I've updated the action versions, which should entirely eliminate the need for manually specifying the packages to build. |
3 participants
Closes #10.