example of transfer of nat_rec to an abtract type + bugfix #122
Triggered via pull request
January 12, 2024 19:13
CohenCyril
CohenCyril
synchronize
#13
Status
Success
Total duration
5m 35s
Artifacts
–