Bump rewriter from `3a0a5f7` to `22162aa` #4876

Triggered via pull request December 9, 2023 01:31

opened #1781

Status Success

Total duration 56s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	503 KB