ProofAlarm

ubuntu-24? #3220

Sign in to view logs

Triggered via push December 16, 2024 21:19

waahm7

gcc-13

Status Success

Total duration 19s

Artifacts –

proof-alarm.yml

on: push

check-for-changes