Skip to content
Merged PR

chore(backport): Update GitHub Actions and pre-commit hooks #937

Sign in to view logs

chore(backport): Update GitHub Actions and pre-commit hooks

chore(backport): Update GitHub Actions and pre-commit hooks #937

Triggered via pull request October 25, 2023 05:39
@matthewfeickertmatthewfeickert
closed #2359
backport/github-actions
Status Success
Total duration 24s
Artifacts –

merged.yml

on: pull_request
Trigger Binder build
14s
Trigger Binder build
Fit to window
Zoom out
Zoom in