ProofAlarm

is it both fix? #3222

Sign in to view logs

Triggered via push December 16, 2024 21:29

waahm7

gcc-13

Status Success

Total duration 14s

Artifacts –

proof-alarm.yml

on: push

check-for-changes