Adapt w.r.t. coq/coq#19228. #5341

Triggered via pull request July 28, 2024 21:11

ppedrot

opened #1934

Status Success

Total duration 46s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	66.8 KB