Skip to content
L2 Prover

chore(l2): forbid as conversions #36

Sign in to view logs

chore(l2): forbid as conversions

chore(l2): forbid as conversions #36

Triggered via pull request December 2, 2024 14:21
@LeanSerraLeanSerra
synchronize #1347
l2/remove_as
Status Success
Total duration 9m 16s
Artifacts –

ci_l2_prover.yaml

on: pull_request
Test
8m 59s
Test
Matrix: Lint
Fit to window
Zoom out
Zoom in