Bump etc/coq-scripts from `4327aa1` to `9479734` #5588

Triggered via pull request January 14, 2025 08:16

opened #2000

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