Skip to content
L2 Prover

chore(l2): forbid as conversions #14

Sign in to view logs

chore(l2): forbid as conversions

chore(l2): forbid as conversions #14

Triggered via pull request November 29, 2024 15:03
@LeanSerraLeanSerra
synchronize #1347
l2/remove_as
Status Cancelled
Total duration 57s
Artifacts –

ci_l2_prover.yaml

on: pull_request
Test
46s
Test
Matrix: Lint
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Canceling since a higher priority waiting request for 'L2 Prover-l2/remove_as' exists
Test
The operation was canceled.