Bump etc/coq-scripts from `e4d9e81` to `4327aa1` #5523

Triggered via pull request October 9, 2024 08:56

opened #1974

Status Success

Total duration 1h 0m 22s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB