.github/workflows/emacs.yml

Tools to use Elpi in Lambdapi + type classes #540

Sign in to view logs

Triggered via pull request September 7, 2026 19:58

agontard

synchronize #1378

agontard:elpi-rebase

Status Success

Total duration 1m 13s

Artifacts –

emacs.yml

on: pull_request

Matrix: test_compile