CI: Backport the merged PR

Bump version to 13.1.2 #2162

Sign in to view logs

Triggered via pull request December 18, 2025 21:51

mdboom

closed #1404

Status Skipped

Total duration 1s

Artifacts –

backport.yml

on: pull_request_target

Backport pull request