Skip to content

Add “github” extra deps. to the “all” extra #200

Add “github” extra deps. to the “all” extra

Add “github” extra deps. to the “all” extra #200

Triggered via pull request November 1, 2023 21:47
Status Success
Total duration 7m 18s
Artifacts

ci.yml

on: pull_request
Matrix: others
Matrix: tests
Fit to window
Zoom out
Zoom in