F-Droid build failed: AGP 8.12.x/8.13.0 doesn't work on buildserver

AGP 8.12.x/8.13.0 doesn't work on the buildserver. See fdroid/admin#593 for more details. Could you please downgrade AGP to 8.11.1? Thanks!