Skip to content
EasyCrypt compilation & check

tactic: match: out of TCB #2752

Sign in to view logs

tactic: match: out of TCB

tactic: match: out of TCB #2752

Triggered via push April 19, 2024 14:54
@github-merge-queuegithub-merge-queue[bot]
pushed 00cb1a4
main
Status Success
Total duration 25s
Artifacts –

ci.yml

on: push
Check for Duplicates Jobs
4s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
0s
EasyCrypt compilation (opam)
EasyCrypt compilation (nix)
0s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Fetch EasyCrypt External Projects Matrix
0s
Fetch EasyCrypt External Projects Matrix
Matrix: Check EasyCrypt External Projects
Check EasyCrypt External Projects (set-status)
4s
Check EasyCrypt External Projects (set-status)
Notification
0s
Notification
Fit to window
Zoom out
Zoom in