Skip to content
CI

Merge pull request #231 from egraphs-good/pre-commit-ci-update-config #826

Sign in to view logs

Merge pull request #231 from egraphs-good/pre-commit-ci-update-config

Merge pull request #231 from egraphs-good/pre-commit-ci-update-config #826

Triggered via push November 12, 2024 14:10
@saulshanabrooksaulshanabrook
pushed f1fb5b4
main
Status Success
Total duration 6m 0s
Artifacts –

CI.yml

on: push
mypy
1m 5s
mypy
benchmark
5m 50s
benchmark
docs
2m 7s
docs
Matrix: test
Fit to window
Zoom out
Zoom in