Skip to content
Triggered via pull request August 23, 2024 15:11
@strubstrub
synchronize #603
bdep
Status Success
Total duration 35s
Artifacts

ci.yml

on: pull_request
Check for Duplicates Jobs
5s
Check for Duplicates Jobs
EasyCrypt compilation (opam)
0s
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
4s
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
0s
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
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