Skip to content
.github/workflows/ci.yml

Overhaul the rust visitors #1775

Sign in to view logs

Overhaul the rust visitors

Overhaul the rust visitors #1775

Triggered via pull request December 23, 2024 15:14
@NadrierilNadrieril
synchronize #506
Nadrieril:rework-rust-visitors
Status Failure
Total duration 46s
Artifacts –

ci.yml

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

Annotations

1 error
nix
Process completed with exit code 1.