Skip to content
.github/workflows/ci.yml

Store the type of each place #1645

Sign in to view logs

Store the type of each place

Store the type of each place #1645

Triggered via pull request November 13, 2024 14:26
@NadrierilNadrieril
synchronize #457
Nadrieril:types-in-places
Status Failure
Total duration 6m 26s
Artifacts –

ci.yml

on: pull_request
nix
4m 29s
nix
check-version-number
10s
check-version-number
eurydice
24s
eurydice
aeneas
35s
aeneas
kyber
0s
kyber
Fit to window
Zoom out
Zoom in

Annotations

2 errors
aeneas
Process completed with exit code 1.
eurydice
Process completed with exit code 1.