David P. Baker
David P. Baker
Make sure the build-docs workflow runs on pull requests and pushes to the specification-1.0 branch
I thought #546 would do it, but that appears not to be enough.
The spec and Javadoc published on jspecify.dev should have version information. * Each released version should * show its release number * be available at a permalink, ideally with the...