continuous integration (staging)

chore: fix `lift_fun` -> `liftFun` in lemma names (#4873) #3109

Sign in to view logs

Triggered via push June 9, 2023 00:56

bors[bot]

staging

Status Success

Total duration 1h 16m 18s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)