Scheduled build #6
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
scheduled.yml
on: schedule
Build Coq and UniMath (Ubuntu)
1h 54m