Bump rewriter from `76973c4` to `e4d987c` #5529

Triggered via pull request October 16, 2024 08:47

opened #1977

Status Success

Total duration 1m 12s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB