chore: setup devfiles

This commit is contained in:
Alexander Navarro 2025-02-05 11:59:43 -03:00
parent 7c6cd6967a
commit 981e35124a
11 changed files with 109 additions and 17 deletions

View file

@ -0,0 +1,5 @@
#!/usr/bin/env bash
set -euxo pipefail
cog verify --file "$1"