Skip to content

Add a link to Binder on pull requests #116

Add a link to Binder on pull requests

Add a link to Binder on pull requests #116

Triggered via pull request December 2, 2023 11:28
Status Cancelled
Total duration 4m 4s
Artifacts

ci.yml

on: pull_request
pre-commit  /  pre-commit
17s
pre-commit / pre-commit
pre-commit  /  lint-extension
2m 8s
pre-commit / lint-extension
comment-pr  /  Comment PR
7s
comment-pr / Comment PR
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
codeql / codeql
Canceling since a higher priority waiting request for 'CI-refs/pull/1179/merge' exists
codeql / codeql
The operation was canceled.