.github/workflows/main.yml

Merge pull request #57 from gburel/epsilon_output #91

Sign in to view logs

Triggered via push July 2, 2026 16:42

gburel

modulo

Status Success

Total duration 1m 30s

Artifacts –

main.yml

on: push

Matrix: build_lambdapi