Skip to content

Add a link to Binder on pull requests #117

Add a link to Binder on pull requests

Add a link to Binder on pull requests #117

Triggered via pull request December 2, 2023 11:32
Status Cancelled
Total duration 1m 49s
Artifacts

ci.yml

on: pull_request
pre-commit  /  pre-commit
18s
pre-commit / pre-commit
pre-commit  /  lint-extension
1m 27s
pre-commit / lint-extension
comment-pr  /  Comment PR
8s
comment-pr / Comment PR
codeql  /  codeql
codeql / codeql
Matrix: test-conda / test-conda
Waiting for pending jobs
Matrix: test-pip / test-pip
Waiting for pending jobs
Matrix: test-unit-functional-integration / test-pip
Waiting for pending jobs
test-ui  /  test-ui
test-ui / test-ui
build  /  build
build / build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
pre-commit / lint-extension
Canceling since a higher priority waiting request for 'CI-refs/pull/1179/merge' exists
pre-commit / lint-extension
The operation was canceled.