.github/workflows/main.yml

Unqualify lambdapi identifiers (#42) #50

Sign in to view logs

Triggered via push December 15, 2025 01:58

fblanqui

master

Status Success

Total duration 5m 56s

Artifacts –

main.yml

on: push

Matrix: isabelle_dedukti