LISA CI

add HOL tactics that auto-have, and rename. #623

Sign in to view logs

Triggered via push February 16, 2026 12:08

holtypes

Status Success

Total duration 3m 54s

Artifacts –

ci.yml

on: push