Notifications

Automated Verification of Fundamental Algebraic Laws #134

Sign in to view logs

Triggered via pull request January 9, 2025 20:53

nkrusch

closed #226

paper-vote-4

Status Skipped

Total duration 2s

Artifacts –

notify.yaml

on: pull_request