4 Commits

Author	SHA1	Message	Date
tersec	21b71bd29c	update URL and document Nim bug blocking further genericizing cleanups (#3483)	2022-03-11 15:03:47 +00:00
tersec	c9aa1bee01	spec URL updates (#3342)	2022-01-31 09:56:59 +00:00
tersec	ae61512ee9	rename upgrade_to_{merge,bellatrix}; detect unchanging spec YAMLs (#3265)	2022-01-10 09:39:43 +00:00
tersec	a4667d1840	script to automate aspects of spec URL updating (#3252)	2022-01-06 12:59:36 +00:00