.github/workflows/ci.yml

Clean up region variables #1637

Sign in to view logs

Triggered via pull request December 6, 2024 12:14

Nadrieril

synchronize #387

Nadrieril:pre-debruijn

Status Failure

Total duration 19m 23s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged

Annotations

1 error

charon-pin-is-merged

Process completed with exit code 1.