Skip to content
Lean Action CI

comment out non-deterministic tests #17

Sign in to view logs

comment out non-deterministic tests

comment out non-deterministic tests #17

Triggered via push November 4, 2024 01:44
@kim-emkim-em
pushed 1307193
nightly-testing
Status Success
Total duration 33s
Artifacts –

lean_action_ci.yml

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