Skip to content

WIP: mapreduce for arrays, simple example working #3122

WIP: mapreduce for arrays, simple example working

WIP: mapreduce for arrays, simple example working #3122

Triggered via push August 22, 2024 16:52
Status Failure
Total duration 2m 12s
Artifacts

ci.yml

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

Annotations

2 errors
EasyCrypt compilation (nix)
Process completed with exit code 2.
EasyCrypt compilation (opam)
Process completed with exit code 2.