[CI] [TEST] Pin lighter js_of_ocaml #5310

Triggered via pull request June 12, 2024 03:26

JasonGross

opened #1923

Status Success

Total duration 1m 2s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc Expired	66.8 KB	`sha256:7bbaaa2bf47b914b88b3e136c00fee3f31d9a48691863d4e60cf93f12dd1c885`