Skip to content
EasyCrypt compilation & check

EcRegexp: PCRE -> PCRE2 #3895

Sign in to view logs

EcRegexp: PCRE -> PCRE2

EcRegexp: PCRE -> PCRE2 #3895

Run time

Learn about OS pricing on GitHub Actions
Job Run time
EasyCrypt compilation (opam)
53s
EasyCrypt compilation (nix)
1m 36s
Fetch EasyCrypt External Projects Matrix
3s
Check EasyCrypt External Projects
0s
Check EasyCrypt Libraries
0s
Check EasyCrypt External Projects (set-status)
3s
Notification
-1s
2m 34s