Update stage0

feat: dedicated fix operator for well-founded recursion on Nat (#7965) #6504

Sign in to view logs

Triggered via push December 1, 2025 13:26

github-merge-queue[bot]

master

Status Success

Total duration 9m 20s

Artifacts –

update-stage0.yml

on: push