Grant the necessary permissions to deploy to github pages - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

37 stars 10 forks source link

Grant the necessary permissions to deploy to github pages #192

Closed shym closed 8 months ago

shym commented 9 months ago

Follow-up to #191 which didn’t provide enough permissions for the deployment.