Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" #5527

Triggered via pull request October 15, 2024 09:06

JasonGross

opened #1976

Status Success

Total duration 55s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB