.github/workflows/main.yml

Read definitional theorems ending in "_dict" (#49) #58

Sign in to view logs

Triggered via push March 12, 2026 09:42

fblanqui

master

Status Success

Total duration 10m 30s

Artifacts –

main.yml

on: push

Matrix: isabelle_dedukti