Skip to content
Snippets Groups Projects

try to fix CI

Passed
Hai Dang created pipeline for commit 04b5915c
, finished
For gen_proofmode_WIP
Scheduled
1 job 16 minutes 12 seconds, queued for 873 seconds