Skip to content

Add a link to Binder on pull requests #113

Add a link to Binder on pull requests

Add a link to Binder on pull requests #113

Triggered via pull request December 1, 2023 08:40
Status Cancelled
Total duration 2m 27s
Artifacts

ci.yml

on: pull_request
pre-commit  /  pre-commit
14s
pre-commit / pre-commit
pre-commit  /  lint-extension
1m 56s
pre-commit / lint-extension
link-to-binder  /  Link to Binder
4s
link-to-binder / Link to Binder
codeql  /  codeql
codeql / codeql
Matrix: test-conda / test-conda
Waiting for pending jobs
Matrix: test-pip / test-pip
Waiting for pending jobs
test-ui  /  test-ui
test-ui / test-ui
Matrix: test-unit-functional-integration / test-pip
Waiting for pending jobs
build  /  build
build / build
Fit to window
Zoom out
Zoom in

Annotations

1 error
pre-commit / lint-extension
Canceling since a higher priority waiting request for 'CI-refs/pull/1179/merge' exists