Skip to content

Merge typing of expressions and formulas #3514

Merge typing of expressions and formulas

Merge typing of expressions and formulas #3514

Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...

succeeded Dec 16, 2024 in 2m 23s
Set up job
1s
Initialize containers
34s
Run actions/checkout@v4
1s
Extract target branch name
0s
Find remote branch
1s
Checkout External Project
0s
Install EasyCrypt dependencies
9s
Compile & Install EasyCrypt
25s
Detect SMT provers
0s
Compile project
1m 8s
Compute real-path to report.log
0s
Upload report.log
0s
Post Run actions/checkout@v4
0s
Stop containers
0s
Complete job
0s