Skip to content

Add SZS output + several fixes (#38) #41

Add SZS output + several fixes (#38)

Add SZS output + several fixes (#38) #41

Triggered via push September 11, 2024 16:17
Status Success
Total duration 5m 44s
Artifacts

main.yml

on: push
Matrix: build_lambdapi
Fit to window
Zoom out
Zoom in