Bump rewriter from `2315c27` to `19f344b` #5362

Triggered via pull request July 30, 2024 16:46

JasonGross

synchronize #1937

Status Success

Total duration 45s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	66.8 KB