Skip to content

Merge branch 'main' into compare_equal #302

Merge branch 'main' into compare_equal

Merge branch 'main' into compare_equal #302

Re-run triggered July 23, 2025 19:49
Status Success
Total duration 6m 2s
Artifacts 62

ci.yml

on: push
Matrix: build
Matrix: test-linux
Matrix: test-windows
Check job status  /  Check job status
14s
Check job status / Check job status
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test linux-aarch64 / py3.12, 12.9.0, local, GPU a100
WARNING: The directory '/github/home/.cache/pip' or its parent directory is not owned or is not writable by the current user. The cache has been disabled. Check the permissions and owner of that directory. If executing pip with sudo, you should use sudo's -H flag.
Test linux-aarch64 / py3.12, 12.9.0, local, GPU a100
WARNING: Running pip as the 'root' user can result in broken permissions and conflicting behaviour with the system package manager, possibly rendering your system unusable. It is recommended to use a virtual environment instead: https://pip.pypa.io/warnings/venv. Use the --root-user-action option if you know what you are doing and want to suppress this warning.