.github/workflows/ci.yml

fix: backward functions are pure #1735

Sign in to view logs

Triggered via pull request February 5, 2025 16:47

ayhon

opened #435

ayhon:fix/backward-functions-are-pure

Status Success

Total duration 19m 13s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged