openapi: more hackery (#5)

* openapi: more hackery Signed-off-by: William Woodruff <[email protected]> * lib: tests Signed-off-by: William Woodruff <[email protected]> * more terrible hacks Signed-off-by: William Woodruff <[email protected]> * openapi, src: fix HashedrekordSchema Signed-off-by: William Woodruff <[email protected]> * lib: add note Signed-off-by: William Woodruff <[email protected]> * openapi: switch to a more stable ref Signed-off-by: William Woodruff <[email protected]> --------- Signed-off-by: William Woodruff <[email protected]>
trailofbits · Apr 22, 2024 · 5403b6e · 5403b6e
1 parent 853f873
commit 5403b6e
Show file tree

Hide file tree

Showing 5 changed files with 630 additions and 502 deletions.
diff --git a/openapi/Makefile b/openapi/Makefile
@@ -4,8 +4,8 @@
 .PHONY: all
 all: fulcio.openapi.json rekor.openapi.json
 
-fulcio.openapi.json: versions
+fulcio.openapi.json: versions update.sh
  ./update.sh
 
-rekor.openapi.json: versions
+rekor.openapi.json: versions update.sh
  ./update.sh