Skip to content
Lean Action CI

deprecate eq_zero_of_nonneg_and_sum_eq_zero in favor of `all_zero_o… #2

Sign in to view logs

deprecate eq_zero_of_nonneg_and_sum_eq_zero in favor of `all_zero_o…

deprecate eq_zero_of_nonneg_and_sum_eq_zero in favor of `all_zero_o… #2

Triggered via push November 29, 2024 14:34
@roos-jroos-j
pushed af8c9ba
main
Status Success
Total duration 2m 32s
Artifacts –

lean_action_ci.yml

on: push
build
2m 23s
build
Fit to window
Zoom out
Zoom in