Skip to content

Revert "Remove binder PR comments" #1081

Revert "Remove binder PR comments"

Revert "Remove binder PR comments" #1081

Triggered via pull request October 3, 2024 19:57
Status Success
Total duration 31s
Artifacts

test-mindeps.yml

on: pull_request
test-mindeps
21s
test-mindeps
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test-mindeps
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1