cesar/fayalite
1
0
Fork 0
forked from libre-chip/fayalite
Code Pull requests Activity Actions

Run Rocq tests.
Some checks are pending
/ test (push) Waiting to run
Details

Browse source
This commit is contained in:
Cesar Strauss 2026-02-14 18:41:37 -03:00
parent a398f8f185
commit 845813d4bb
Signed by: cesar
SSH key fingerprint: SHA256:sJUl6USz0D6c6sAQyFZab8XNPJnT05pt2ES0Lv/hCg4
5 changed files with 46 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/check-copyright.sh
View file

@ -50,7 +50,7 @@ function main()
/crates/fayalite/tests/ui/*.stderr|/crates/fayalite/tests/sim/expected/*.vcd|/crates/fayalite/tests/sim/expected/*.txt)
# file that can't contain copyright header
;;
/.forgejo/workflows/*.yml|*/.gitignore|*.toml)
/.forgejo/workflows/*.yml|*/.gitignore|*.toml|*/Makefile|*/_CoqProject)
check_file "$file" "${POUND_HEADER[@]}"
;;
*.md)