fayalite/scripts
Cesar Strauss e4210a672f
All checks were successful
/ test (pull_request) Successful in 4m4s
/ test (push) Successful in 4m39s
Check copyright header in Rocq files.
If we ever add Verilog files, we can "or" both results, I guess.
2025-12-09 07:45:35 -03:00
..
check-copyright.sh Check copyright header in Rocq files. 2025-12-09 07:45:35 -03:00