Skip to content

Actions: egraphs-good/egg

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #283 from dewert99/non-canonical Build and Test #552: Commit 034f12e pushed by oflatt
November 28, 2023 17:58 6m 21s main
main
November 28, 2023 17:58 6m 21s
allow per-language discriminants (#270) Build and Test #551: Commit a84c3c4 pushed by mwillsey
November 28, 2023 17:51 6m 18s main
main
November 28, 2023 17:51 6m 18s