Back to pull request #17487

chore: bump lean4checker to v4.13.0-rc3 #137814

Sign in to view logs

Triggered via push October 7, 2024 08:05

adomani

adomani/bump_lean4checker_to_13_rc3

Status Success

Total duration 10s

Artifacts –

build_fork.yml

on: push

Lint style (fork)

Cancel Previous Runs (CI)

Post-CI job (fork)