Closed wilwade closed 2 years ago
BLOCKED: #157
We should fully switch over to tagged releases. Because we have multiple specs, this can be hard, but the github pages deployment should only happen when we have one of these tagged releases.
Replaced by #157
wilwade
commented
2 years ago
BLOCKED: #157
We should fully switch over to tagged releases. Because we have multiple specs, this can be hard, but the github pages deployment should only happen when we have one of these tagged releases.