CI

Merge pull request #259 from egraphs-good/remove-unused-save #906

Sign in to view logs

Triggered via push February 20, 2025 16:55

main

Status Cancelled

Total duration 2m 46s

Artifacts –

CI.yml

on: push

Matrix: test

Annotations

1 error

Canceling since a higher priority waiting request for 'refs/heads/main' exists