Lean Action CI

doc: draft for SMTCOMP #125

Sign in to view logs

Triggered via push June 12, 2025 19:43

hargoniX

main

Status Success

Total duration 1m 1s

Artifacts –

lean_action_ci.yml

on: push