example of transfer of nat_rec to an abtract type + bugfix #120
Triggered via pull request
January 12, 2024 17:46
CohenCyril
CohenCyril
opened
#13
Status
Failure
Total duration
5m 34s
Artifacts
–
Annotations
1 error
|
trocq
Process completed with exit code 1.
|