Skip to content

Limit CI permissions and build in parallel#16

Merged
gitosaurus merged 1 commit into
mainfrom
chore/ci-hardening
Apr 18, 2026
Merged

Limit CI permissions and build in parallel#16
gitosaurus merged 1 commit into
mainfrom
chore/ci-hardening

Conversation

@gitosaurus
Copy link
Copy Markdown
Owner

Following up comments on PR #15

@gitosaurus gitosaurus mentioned this pull request Apr 18, 2026
@gitosaurus gitosaurus merged commit 345e0bb into main Apr 18, 2026
1 check passed
@gitosaurus gitosaurus deleted the chore/ci-hardening branch April 18, 2026 20:23
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