Skip to content
.github/workflows/ci.yml

Update charon/src/ast/expressions_utils.rs #1626

Sign in to view logs

Update charon/src/ast/expressions_utils.rs

Update charon/src/ast/expressions_utils.rs #1626

Triggered via push November 12, 2024 12:01
@sonmarchosonmarcho
pushed 97c750b
son/index
Status Failure
Total duration 1m 24s
Artifacts –

ci.yml

on: push
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
check-version-number
9s
check-version-number
nix
15s
nix
eurydice
0s
eurydice
aeneas
0s
aeneas
kyber
0s
kyber
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
check-version-number
Process completed with exit code 1.
nix
Process completed with exit code 1.
check-version-number
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
nix
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