Add support for shld #5714

Triggered via pull request March 6, 2025 23:54

JasonGross

opened #2037

JasonGross:shld

Status Success

Total duration 54m 23s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.4 KB	`sha256:cbc91945b3369f76a03c65c13876bb73f9333d932971af5408d01b54b6198317`