Abi-cafe

Nicer formatting for verifier errors during define_function #1250

Sign in to view logs

Triggered via push April 18, 2025 09:05

bjorn3

master

Status Success

Total duration 6m 59s

Artifacts –

abi-cafe.yml

on: push

Matrix: abi_cafe