added missing file headers #1
ci.yml
on: push
Light checks
Check all features and all targets against the MSRV, except for winter-prover and winterfell
Check prover and winterfell packages
1m 6s
Matrix: Build for no-std
Matrix: test