Bump etc/coq-scripts from `4327aa1` to `bf7754a` #5592

Triggered via pull request January 15, 2025 08:29

opened #2003

Status Success

Total duration 3m 23s

Artifacts 1

java.yml

on: pull_request

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB