Skip to content

GHA updates - #1202

Merged
gdt merged 2 commits into
bcpierce00:masterfrom
tleedjarv:gha-ocaml-upd
Jul 23, 2026
Merged

GHA updates#1202
gdt merged 2 commits into
bcpierce00:masterfrom
tleedjarv:gha-ocaml-upd

Conversation

@tleedjarv

Copy link
Copy Markdown
Contributor

Just to keep CI scripts working.

@gdt
gdt merged commit a91e541 into bcpierce00:master Jul 23, 2026
26 checks passed
@tleedjarv
tleedjarv deleted the gha-ocaml-upd branch July 23, 2026 12:38
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.

2 participants