Skip to content

Actions: HigherOrderCO/HVM

Actions

Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix double negative Bench #97: Pull request #434 opened by pepijndevos
November 5, 2024 12:11 Action required pepijndevos:patch-1
pepijndevos:patch-1
November 5, 2024 12:11 Action required
paper Switch 2 typo fix Bench #96: Pull request #433 synchronize by DKormann
October 24, 2024 21:11 Action required DKormann:main
DKormann:main
October 24, 2024 21:11 Action required
paper Switch 2 typo fix Bench #95: Pull request #433 synchronize by DKormann
October 24, 2024 21:09 Action required DKormann:main
DKormann:main
October 24, 2024 21:09 Action required
paper Switch 2 typo fix Bench #94: Pull request #433 opened by DKormann
October 24, 2024 16:35 Action required DKormann:main
DKormann:main
October 24, 2024 16:35 Action required
Subprocesses Bench #92: Pull request #428 opened by enricozb
September 4, 2024 09:52 1d 1h 43m 33s enricozb/subprocess
enricozb/subprocess
September 4, 2024 09:52 1d 1h 43m 33s
Implement remove, remove_all and mkdir Bench #91: Pull request #426 synchronize by imaqtkatt
September 3, 2024 15:09 1d 7h 46m 35s implement-delete-file-and-directory
implement-delete-file-and-directory
September 3, 2024 15:09 1d 7h 46m 35s
Implement remove, remove_all and mkdir Bench #90: Pull request #426 synchronize by imaqtkatt
August 30, 2024 16:30 3d 22h 39m 10s implement-delete-file-and-directory
implement-delete-file-and-directory
August 30, 2024 16:30 3d 22h 39m 10s
Implement remove, remove_all and mkdir Bench #89: Pull request #426 synchronize by imaqtkatt
August 30, 2024 12:56 3h 34m 20s implement-delete-file-and-directory
implement-delete-file-and-directory
August 30, 2024 12:56 3h 34m 20s
Implement remove, remove_all and mkdir Bench #88: Pull request #426 opened by imaqtkatt
August 28, 2024 14:54 2m 30s implement-delete-file-and-directory
implement-delete-file-and-directory
August 28, 2024 14:54 2m 30s
Split up CUDA files Bench #87: Pull request #425 opened by enricozb
August 26, 2024 16:55 2m 20s enricozb/split-files
enricozb/split-files
August 26, 2024 16:55 2m 20s
Update README.md Bench #86: Pull request #423 opened by enricozb
August 21, 2024 07:02 15m 2s enricozb-readme-1
enricozb-readme-1
August 21, 2024 07:02 15m 2s
adds dynamic shared mem allocation to cuda kernels Bench #85: Pull request #413 synchronize by kings177
August 19, 2024 23:04 1m 15s dynamic-local-net
dynamic-local-net
August 19, 2024 23:04 1m 15s
adds dynamic shared mem allocation to cuda kernels Bench #84: Pull request #413 opened by kings177
August 16, 2024 22:00 1m 20s dynamic-local-net
dynamic-local-net
August 16, 2024 22:00 1m 20s
Update paper typos Bench #83: Pull request #412 synchronize by enricozb
August 15, 2024 05:54 1m 37s enricozb/paper
enricozb/paper
August 15, 2024 05:54 1m 37s
Update paper typos Bench #82: Pull request #412 opened by enricozb
August 14, 2024 13:26 1m 58s enricozb/paper
enricozb/paper
August 14, 2024 13:26 1m 58s
one more fix in the conclusion Bench #81: Pull request #411 opened by enricozb
August 12, 2024 04:00 1d 10h 52m 27s enricozb/paper
enricozb/paper
August 12, 2024 04:00 1d 10h 52m 27s
update paper, add extended abstract Bench #80: Pull request #410 opened by enricozb
August 12, 2024 03:57 1d 10h 56m 29s enricozb/paper
enricozb/paper
August 12, 2024 03:57 1d 10h 56m 29s
Update TSPL to report parsing error range Bench #79: Pull request #409 opened by edusporto
August 7, 2024 12:59 1m 15s parser-update
parser-update
August 7, 2024 12:59 1m 15s
return Result<T, E> from IO functions Bench #78: Pull request #407 synchronize by enricozb
August 6, 2024 18:12 1m 20s enricozb/io-result
enricozb/io-result
August 6, 2024 18:12 1m 20s
return Result<T, E> from IO functions Bench #77: Pull request #407 synchronize by enricozb
August 5, 2024 17:18 1m 18s enricozb/io-result
enricozb/io-result
August 5, 2024 17:18 1m 18s
return Result<T, E> from IO functions Bench #76: Pull request #407 synchronize by enricozb
August 5, 2024 10:46 1m 23s enricozb/io-result
enricozb/io-result
August 5, 2024 10:46 1m 23s
return Result<T, E> from IO functions Bench #75: Pull request #407 synchronize by enricozb
August 5, 2024 10:40 1m 11s enricozb/io-result
enricozb/io-result
August 5, 2024 10:40 1m 11s
return Result<T, E> from IO functions Bench #74: Pull request #407 synchronize by enricozb
August 5, 2024 10:36 1m 14s enricozb/io-result
enricozb/io-result
August 5, 2024 10:36 1m 14s
return Result<T, E> from IO functions Bench #73: Pull request #407 synchronize by enricozb
August 5, 2024 09:40 1m 14s enricozb/io-result
enricozb/io-result
August 5, 2024 09:40 1m 14s
return Result<T, E> from IO functions Bench #72: Pull request #407 opened by enricozb
August 1, 2024 14:10 1m 22s enricozb/io-result
enricozb/io-result
August 1, 2024 14:10 1m 22s