Bump rewriter from `869b054` to `e8da092` #5803

Triggered via pull request March 13, 2025 15:02

synchronize #2063

Status Success

Total duration 4m 11s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size	Digest
fiat-javadoc	75.4 KB	`sha256:19ba8c49c00fb0742a2539a07ce89846a307fa021734009cd72abef346c54e7a`