Skip to content
run CI test

Merge branch 'master' of github.com:krr-up/clingo-explaid #22

Sign in to view logs

Merge branch 'master' of github.com:krr-up/clingo-explaid

Merge branch 'master' of github.com:krr-up/clingo-explaid #22

Triggered via push June 27, 2024 16:55
@hweichelthweichelt
pushed 24019a4
master
Status Success
Total duration 2m 20s
Artifacts –

test.yml

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