Closed iherman closed 3 years ago
Also, did you actually remove the file ECHIDNA? The PR thinks you simply renamed it...
The ECHIDNA file was part of a separate 'snapshot' folder which was used to ECHIDNA. Ie, the editor did all kinds of tests himself before publishing. So the file was actually moved, which means renaming...
ok
The yml script in .github/workflows is now a dummy; if it is to be used then it should be a .yml file and the spec status should be updated.