Bump rewriter from `1ce9f1a` to `76973c4` #5525

Triggered via pull request October 9, 2024 08:56

opened #1975

Status Success

Total duration 1h 41m 33s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc	75.4 KB