Skip to content
.github/workflows/ci.yml

Merge pull request #413 from Nadrieril/use-the-right-mir #1477

Sign in to view logs

Merge pull request #413 from Nadrieril/use-the-right-mir

Merge pull request #413 from Nadrieril/use-the-right-mir #1477

Triggered via push October 8, 2024 14:20
@NadrierilNadrieril
pushed 45f5a34
main
Status Failure
Total duration 4m 16s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
check-version-number
6s
check-version-number
nix
9s
nix
eurydice
6s
eurydice
aeneas
6s
aeneas
kyber
2m 49s
kyber
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
kyber
Process completed with exit code 1.
kyber
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.319.1. Please update to the latest version 2.320.0