.github/workflows/ci.yml

Make a minor fix #1661

Sign in to view logs

Triggered via pull request December 18, 2024 21:41

sonmarcho

opened #403

son/errors

Status Success

Total duration 2m 48s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged