ProofAlarm

remove fail fast #3258

Sign in to view logs

Triggered via push December 18, 2024 20:09

waahm7

gcc-13

Status Success

Total duration 14s

Artifacts –

proof-alarm.yml

on: push

check-for-changes