Code formatting

Exclude empty proofs; 0x0 for 0 instead of 0x #10091

Sign in to view logs

Triggered via pull request November 20, 2024 12:23

flcl42

synchronize #7766

exclude-empty-proofs-and-no-zeros

Status Success

Total duration 34s

Artifacts –

code-formatting.yml

on: pull_request

Check whitespaces