.github/workflows/main.yml

Split signature and formulae (#41) #47

Sign in to view logs

Triggered via push October 24, 2024 15:46

gburel

modulo

Status Success

Total duration 5m 51s

Artifacts –

main.yml

on: push

Matrix: build_lambdapi