Rename "diffy" to "differential" in src-core (#765) · SleipnirGroup/Choreo@22ce2b0

Triggered via push September 24, 2024 06:38

shueja

main

Status Success

Total duration 13m 53s

Artifacts 5

choreo.yml

on: push

Matrix: build

5 notices

30% - 178 hits, 406 misses, 0 errors

57% - 330 hits, 254 misses, 0 errors

59% - 358 hits, 244 misses, 0 errors

72% - 274 hits, 105 misses, 0 errors

30% - 114 hits, 265 misses, 0 errors

Produced during runtime