Fix typo in ⊢plus
#986
This workflow is awaiting approval from a maintainer in #1087
Triggered via pull request
January 24, 2025 22:41
pre-commit-ci[bot]
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #1087
ci.yml
on: pull_request
Matrix: build
Waiting for pending jobs
Publish to GitHub Pages
Publish to GitHub Releases