Skip to content

GHA: add a job that test plugins compilation#6394

Open
rjbou wants to merge 7 commits intoocaml:masterfrom rjbou:gha-plugins

Commits

Commits on Feb 21, 2025