internals: user-defined rules can be headed by a projection #3219
ci.yml
on: pull_request
Check for Duplicates Jobs
7s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
0s