runtest: all to control the number of files checked in parallel #2793
ci.yml
on: pull_request
Check for Duplicates Jobs
9s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s