Skip to content

Merge branch 'master' of inria:GIT/bigloo #143

Merge branch 'master' of inria:GIT/bigloo

Merge branch 'master' of inria:GIT/bigloo #143

Triggered via push February 20, 2025 13:55
Status Success
Total duration 45m 29s
Artifacts

bigloo.yml

on: push
Fit to window
Zoom out
Zoom in