chore(l2): forbid as conversions #28

Sign in to view logs

Triggered via pull request November 29, 2024 20:29

LeanSerra

synchronize #1347

l2/remove_as

Status Success

Total duration 9m 11s

Artifacts –

ci_l2_prover.yaml

on: pull_request

Matrix: Lint