Check PR is valid

Update Mod: Lean 3.1 #599

Sign in to view logs

Triggered via pull request October 10, 2025 21:48

KiKaraage

opened #1764

KiKaraage:main

Status Success

Total duration 15s

Artifacts –

pr-check.yml

on: pull_request

Rebuild themes after theme submission