continuous integration

chore(SuccPred/Limit): rename 2 lemmas #137330

Sign in to view logs

Triggered via push October 30, 2024 20:29

urkud

YK-ofdense-rename

Status Success

Total duration 30m 38s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)