.github/workflows/main.yml

Fix remove_useless_proofs and unqualify lambdapi identifiers #49

Sign in to view logs

Triggered via pull request December 15, 2025 01:50

agontard

synchronize #42

agontard:lambdapi_unqualify

Status Success

Total duration 5m 55s

Artifacts –

main.yml

on: pull_request

Matrix: isabelle_dedukti