.github/workflows/ci.yml

feat: pattern matching in progress #1769

Sign in to view logs

Triggered via pull request March 6, 2025 15:58

ayhon

opened #449

ayhon:feat/patter-matching-in-progress

Status Failure

Total duration 11m 47s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged

Annotations

1 error and 1 warning

Process completed with exit code 2.

This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.321.0. Please update to the latest version 2.322.0