Skip to content
.github/workflows/ci.yml

Use upstream libcrux flake in CI #1105

Sign in to view logs

Use upstream libcrux flake in CI

Use upstream libcrux flake in CI #1105

Triggered via pull request July 2, 2024 14:57
@NadrierilNadrieril
synchronize #281
Nadrieril:fix-ci
Status Cancelled
Total duration 47s
Artifacts –

ci.yml

on: pull_request
check_if_skip_duplicate_job
14s
check_if_skip_duplicate_job
check-version-number
0s
check-version-number
nix
0s
nix
eurydice
0s
eurydice
aeneas
0s
aeneas
kyber
0s
kyber
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check-version-number
The run was canceled by @Nadrieril.
check_if_skip_duplicate_job
The run was canceled by @Nadrieril.
check_if_skip_duplicate_job
The operation was canceled.