.github/workflows/ci.yml

Skip lean CI if the lean files did not change #1620

Sign in to view logs

Triggered via pull request December 4, 2024 10:53

Nadrieril

synchronize #386

Nadrieril:speedup-ci

Status Success

Total duration 1m 34s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged