Add support for nop #5711

Triggered via pull request March 6, 2025 21:47

JasonGross

opened #2034

JasonGross:nop

Status Success

Total duration 51s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.4 KB	`sha256:06014810f0ec0c0a491d239c02ddc81d8c1de1e30266822399e71121cc0eeee2`