Proof mode, second draft #155
MauroToscano
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
cairo_1_programs.yml
on: pull_request
Execute programs
4m 13s
Annotations
1 error
|
Execute programs
Process completed with exit code 2.
|