Add more string notations for some constants #5755

Triggered via pull request March 11, 2025 19:40

JasonGross

opened #2048

Status Success

Total duration 3h 38m 18s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.3 KB	`sha256:4809a2386a78c1823154ae33883440c888bde38fbe3fbb65cab137e7c390bae8`