Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* only run on the subset of changed files * dont run on verify.v * Update verify.v Co-authored-by: Delyan Angelov <[email protected]> * fix code, run `v fmt -w verify.v` * test and fix diff command * use the simpler `git --no-pager diff --name-only origin` command * test changing another file * restore original 2023/01/leodev.v * test some more * restore 2023/01/leodev.v * simplify the other CI check as well --------- Co-authored-by: Delyan Angelov <[email protected]>
- Loading branch information