Skip to content
Lean Python Regression Tests

Reject non-integral float-like values (numpy floats) for integer para… #42

Sign in to view logs

Reject non-integral float-like values (numpy floats) for integer para…

Reject non-integral float-like values (numpy floats) for integer para… #42

Triggered via push August 12, 2026 20:32
@jhonabreuljhonabreul
pushed cc51794
master
Status Cancelled
Total duration 8s
Artifacts –

lean-python-regression-tests.yml

on: push
lean-python-regression
lean-python-regression
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lean Python Regression Tests
Canceling since a higher priority waiting request for Lean Python Regression Tests-refs/heads/master exists