Skip to content
CI

Merge pull request #111 from egraphs-good/change #528

Sign in to view logs

Merge pull request #111 from egraphs-good/change

Merge pull request #111 from egraphs-good/change #528

Triggered via push February 6, 2024 22:07
@saulshanabrooksaulshanabrook
pushed 5b894e0
main
Status Cancelled
Total duration 24s
Artifacts –

CI.yml

on: push
Matrix: test
mypy
10s
mypy
benchmark
10s
benchmark
docs
10s
docs
build linux
0s
build linux
build windows
0s
build windows
build macos
0s
build macos
Release
0s
Release
Fit to window
Zoom out
Zoom in

Annotations

6 errors
docs
The operation was canceled.
mypy
The operation was canceled.
benchmark
The operation was canceled.
test 3.11
The operation was canceled.
test 3.10
The operation was canceled.
test 3.12
The operation was canceled.