Make build-docs job only depend on build - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

74 stars 11 forks source link

Make build-docs job only depend on build #212

Closed NatKarmios closed 1 year ago