Skip to content

PP: various fixes #3530

PP: various fixes

PP: various fixes #3530

Fetch EasyCrypt External Projects Matrix

succeeded Dec 23, 2024 in 3s
Set up job
0s
Run actions/checkout@v4
1s
Run JSON=$(jq -c . < easycrypt/.github/workflows/external.json)
0s
Post Run actions/checkout@v4
0s
Complete job
0s