Check stdlib_flags.h modifications

proof of concept: simp lemmas spawing subgoals #6528

Sign in to view logs

Triggered via pull request April 10, 2026 11:52

datokrat

opened #13358

Status Success

Total duration 9s

Artifacts –

check-stdlib-flags.yml

on: pull_request_target

check-stdlib-flags