Skip to content

Bump dataset/brailleocr/braille2latex pins, drop redundant push CI trigger - #13

Merged
jmankoff merged 1 commit into
mainfrom
chore-update-ci-and-version-pins
Jul 18, 2026
Merged

Bump dataset/brailleocr/braille2latex pins, drop redundant push CI trigger#13
jmankoff merged 1 commit into
mainfrom
chore-update-ci-and-version-pins

Conversation

@jmankoff

Copy link
Copy Markdown
Contributor
  • `dataset.version`: v0.1.0 -> v0.1.1
  • `brailleocr.version`: v0.1.2 -> v0.1.3
  • `braille2latex.version`: v0.2.0 -> v0.2.1

Also drops the `push:` trigger from `lint.yml`/`test.yml` for the same reason as brailletools/brailleocr#10 and brailletools/braille-bridge#22: a push to a branch with an open PR fires both `push` and `pull_request`, running the identical job twice for the same commit.

…igger

- dataset.version: v0.1.0 -> v0.1.1
- brailleocr.version: v0.1.2 -> v0.1.3
- braille2latex.version: v0.2.0 -> v0.2.1

Also drops the push: trigger from lint/test workflows so a push to a
branch with an open PR doesn't run CI twice (push + pull_request both
fire for the same commit) -- pull_request: alone is sufficient since
every branch here goes through a PR, and none are fork PRs that would
need the restricted-permission split push normally exists for.
@jmankoff
jmankoff merged commit 528198c into main Jul 18, 2026
4 checks passed
@jmankoff
jmankoff deleted the chore-update-ci-and-version-pins branch July 18, 2026 03:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant