Skip to content
Lean Action CI

set solver path via argument #3

Sign in to view logs

set solver path via argument

set solver path via argument #3

Triggered via push September 25, 2024 09:33
@hargoniXhargoniX
pushed 3402208
main
Status Success
Total duration 20s
Artifacts –

lean_action_ci.yml

on: push
build
11s
build
Fit to window
Zoom out
Zoom in