OSSF Scorecard

ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 #236

Sign in to view logs

Triggered via push April 17, 2026 20:04

main

Status Success

Total duration 33s

Artifacts –

scorecard.yml

on: push