Add is-set-prod (2.6.2 and 3.1.5) #121
fizrukrzk.yml
on: push
Check formalisations
9s
Check Rzk formatting
10s
Annotations
1 error
|
Check Rzk formatting
Process completed with exit code 1.
|