.github/workflows/main.yml

Merge pull request #58 from gburel/epsilon_output #93

Sign in to view logs

Triggered via push July 3, 2026 15:22

gburel

modulo

Status Success

Total duration 12m 24s

Artifacts –

main.yml

on: push

Matrix: build_lambdapi