Rename header.difficulty() to .proof(), rename max_stack_size. #504
Triggered via pull request
February 12, 2024 20:53
Status
Success
Total duration
37m 42s
Artifacts
–
ci.yml
on: pull_request
Matrix: autotools
Matrix: cmake
Matrix: msbuild
Matrix: preset
Annotations
5 warnings