.github/workflows/ci.yml

Various small code improvements #1626

Sign in to view logs

Triggered via pull request December 4, 2024 12:25

Nadrieril

synchronize #383

Nadrieril:tweaks

Status Success

Total duration 12m 15s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged