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