Add more directives #5753

Triggered via pull request March 11, 2025 19:29

JasonGross

opened #2047

JasonGross:directives

Status Success

Total duration 6h 6m 35s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.3 KB	`sha256:fbf5d20a80903de3542273cb8e3ed57da9737d82246c4914670f66594e35751e`