.github/workflows/ci.yml

Fix a mistake in Primitives.fst #1409

Sign in to view logs

Triggered via push September 9, 2024 15:22

sonmarcho

son/implicit

Status Failure

Total duration 15m 52s

Artifacts –

ci.yml

on: push

check_if_skip_duplicate_job

check-charon-pin

Annotations

1 error and 5 warnings

Process completed with exit code 1.

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

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

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

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