CI

Merge pull request #382 from egraphs-good/demo #1291

Sign in to view logs

Triggered via push November 22, 2025 20:04

main

Status Success

Total duration 26m 32s

Artifacts –

CI.yml

on: push

Matrix: benchmark

Matrix: test