Skip to content

Update github workflows#427

Merged
n-osborne merged 5 commits intoocaml-gospel:mainfrom n-osborne:update-workflowDec 2, 2024

Commits

Commits on Dec 2, 2024