CI

Merge pull request #789 from vprover/michael-safe-recursion #2197

Sign in to view logs

Triggered via push December 9, 2025 10:50

master

Status Success

Total duration 15m 31s

Artifacts –

CI.yml

on: push