add .roc file for benchmarks (#8034)

add bench file
This commit is contained in:
Anton-4 2025-07-14 18:36:33 +02:00 committed by GitHub
parent 90ad399872
commit 0e793d3dd0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 23483 additions and 2 deletions

View file

@ -70,12 +70,12 @@ jobs:
- name: roc executable minimal check (Unix)
if: runner.os != 'Windows'
run: |
./zig-out/bin/roc -h | grep -q "Usage:"
./zig-out/bin/roc check ./src/PROFILING/bench_repeated_check.roc
- name: roc executable minimal check (Windows)
if: runner.os == 'Windows'
run: |
zig-out\bin\roc.exe -h | findstr "Usage:"
zig-out\bin\roc.exe check ./src/PROFILING/bench_repeated_check.roc
- name: zig snapshot tests
run: zig build snapshot -- --debug

File diff suppressed because it is too large Load diff