.github/workflows/main.yml

SZS status GaveUp and new line for -dkterm (#40) #45

Sign in to view logs

Triggered via push September 17, 2024 14:59

gburel

modulo

Status Success

Total duration 5m 12s

Artifacts –

main.yml

on: push

Matrix: build_lambdapi