Skip to content
CI (L2)

chore(l2): forbid unwrap #143

Sign in to view logs

chore(l2): forbid unwrap

chore(l2): forbid unwrap #143

Re-run triggered November 27, 2024 19:59
@jrchatrucjrchatruc
#1290
LeanSerra:l2/forbid_unwrap
Status Success
Total duration 13m 58s
Artifacts –

ci_l2.yaml

on: pull_request
Test
13m 48s
Test
Fit to window
Zoom out
Zoom in