CI

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

Sign in to view logs

Triggered via push October 29, 2024 02:08

main

Status Success

Total duration 6m 5s

Artifacts –

CI.yml

on: push

Matrix: test