Check for stage0 changes

fix: make `rcases` tactic collect new goals #5167

Sign in to view logs

Triggered via pull request October 9, 2024 07:17

kmill

synchronize #5024

kmill:fix_4331

Status Success

Total duration 52s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue