Build & Test

CI: move library proof check below unit tests #245

Sign in to view logs

Re-run triggered June 23, 2025 18:58

ahelwer

#223

ahelwer:ci-move-library-proof-check

Status Success

Total duration 21m 53s

Artifacts –

ci.yml

on: pull_request

Matrix: Build & Test