docker-ci-for-pr

Add more primitive proof rules #383

Sign in to view logs

Re-run triggered September 21, 2024 09:17

binghe

#1308

digama0:ot_proof

Status Success

Total duration 1h 56m 30s

Artifacts –

docker-ci-for-pr.yml

on: pull_request