Skip to content

Use implicit parameters in the generated code #1400

Use implicit parameters in the generated code

Use implicit parameters in the generated code #1400

Triggered via pull request September 9, 2024 09:24
Status Failure
Total duration 22m 23s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 warnings
lean
Process completed with exit code 2.
nix
Process completed with exit code 1.
check_if_skip_duplicate_job
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
userdocs
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
check-charon-pin
This self-hosted runner is currently using runner version 2.317.0. This version is out of date. Please update to the latest version 2.319.1
lean
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.317.0. Please update to the latest version 2.319.1
nix
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.317.0. Please update to the latest version 2.319.1