ci(tdce): Try to figure out why adding combo.brild doesn't work

ethanuppal · Feb 6, 2025 · eb823cc · eb823cc
1 parent 952ba0b
commit eb823cc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -78,7 +78,6 @@ jobs:
         run: |
           cd lesson3
           cargo build --package tdce
-          bril2json <../bril/examples/test/tdce/simple.bril | ../target/debug/tdce | bril2json | brili -p
-          bril2json <../bril/benchmarks/core/combination.bril | ../target/debug/tdce | bril2json | brili -p 12 3
-          bril2json <../bril/benchmarks/core/combination.bril | brili -p 12 3
+          bril2json <../bril/examples/test/tdce/combo.bril | brili -p
+          bril2json <../bril/examples/test/tdce/combo.bril | ../target/debug/tdce | bril2json | brili -p
           brench brench.toml ../bril/benchmarks/**/*.bril | grep connected-components --invert-match | python3 check_brench.py
diff --git a/lesson3/check_brench.py b/lesson3/check_brench.py
@@ -12,6 +12,9 @@
     elif tdce[2] == "timeout":
         print(f"\x1b[31m{baseline[0]} TIMED OUT\x1b[m")
         sys.exit(1)
+    elif tdce[2] == "missing":
+        print(f"\x1b[31m{baseline[0]} MISSING\x1b[m")
+        sys.exit(1)
 
     baseline_time = int(baseline[2])
     tdce_time = int(tdce[2])