Skip to content
CI

Merge pull request #222 from egraphs-good/no-import-star #789

Sign in to view logs

Merge pull request #222 from egraphs-good/no-import-star

Merge pull request #222 from egraphs-good/no-import-star #789

Triggered via push October 23, 2024 21:13
@saulshanabrooksaulshanabrook
pushed 97a55a2
main
Status Success
Total duration 7m 20s
Artifacts –

CI.yml

on: push
mypy
1m 19s
mypy
benchmark
7m 10s
benchmark
docs
2m 24s
docs
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodSpeed Action Update
A new version v3 is available at https://github.com/CodSpeedHQ/action/releases . You're currently using version v2. Please update to the latest version for improved features and bug fixes.