Skip to content

Actions: HigherOrderCO/HVM

Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Numeric Casting Operations
Checks #75: Pull request #361 synchronize by enricozb
May 29, 2024 11:52 1m 14s enricozb/cast-num
May 29, 2024 11:52 1m 14s
Fix Readback of Partially Applied Ops
Checks #74: Pull request #356 synchronize by enricozb
May 29, 2024 11:52 1m 10s enricozb/print-num
May 29, 2024 11:52 1m 10s
Numeric Casting Operations
Checks #73: Pull request #361 synchronize by enricozb
May 29, 2024 11:05 1m 31s enricozb/cast-num
May 29, 2024 11:05 1m 31s
Numeric Casting Operations
Checks #72: Pull request #361 synchronize by enricozb
May 29, 2024 11:01 37s enricozb/cast-num
May 29, 2024 11:01 37s
Numeric Casting Operations
Checks #71: Pull request #361 synchronize by enricozb
May 29, 2024 10:47 30s enricozb/cast-num
May 29, 2024 10:47 30s
Numeric Casting Operations
Checks #70: Pull request #361 synchronize by enricozb
May 29, 2024 10:24 49s enricozb/cast-num
May 29, 2024 10:24 49s
Numeric Casting Operations
Checks #69: Pull request #361 opened by enricozb
May 29, 2024 09:08 31s enricozb/cast-num
May 29, 2024 09:08 31s
use dyntest for tests
Checks #68: Pull request #359 opened by tjjfvi
May 28, 2024 19:33 45s dyntest
May 28, 2024 19:33 45s
Update paper (#355)
Checks #66: Commit c8f85a3 pushed by enricozb
May 28, 2024 13:00 1m 12s main
May 28, 2024 13:00 1m 12s
error gracefully when @main is missing (#346)
Checks #65: Commit 093af58 pushed by enricozb
May 28, 2024 12:55 1m 58s main
May 28, 2024 12:55 1m 58s
Merge pull request #357 from HigherOrderCO/redex-pri-printing
Checks #64: Commit 3c3af24 pushed by developedby
May 28, 2024 12:54 1m 50s main
May 28, 2024 12:54 1m 50s
Fix Readback of Partially Applied Ops
Checks #63: Pull request #356 synchronize by enricozb
May 28, 2024 12:49 3m 16s enricozb/print-num
May 28, 2024 12:49 3m 16s
Fix printing of "!" in redexes
Checks #62: Pull request #357 opened by developedby
May 28, 2024 12:30 1m 23s redex-pri-printing
May 28, 2024 12:30 1m 23s
Fix Readback of Partially Applied Ops
Checks #61: Pull request #356 opened by enricozb
May 28, 2024 11:53 1m 52s enricozb/print-num
May 28, 2024 11:53 1m 52s
sync PAPER.typst
Checks #60: Pull request #355 opened by enricozb
May 28, 2024 11:45 2m 4s enricozb/paper
May 28, 2024 11:45 2m 4s
Merge pull request #354 from HigherOrderCO/fix-actions-check
Checks #59: Commit 9e437c0 pushed by kings177
May 27, 2024 20:07 1m 34s main
May 27, 2024 20:07 1m 34s
Updates checks.yml to work after rust-toolchain was removed
Checks #58: Pull request #354 synchronize by kings177
May 27, 2024 16:03 1m 14s fix-actions-check
May 27, 2024 16:03 1m 14s
May 27, 2024 14:54 15s
Sync C and CUDA IO Operations (#347)
Checks #54: Commit 39adb16 pushed by enricozb
May 27, 2024 13:03 1m 38s main
May 27, 2024 13:03 1m 38s
CUDA Basic IO
Checks #53: Pull request #347 synchronize by enricozb
May 27, 2024 12:57 1m 25s enricozb/ffi-cuda
May 27, 2024 12:57 1m 25s
CUDA Basic IO
Checks #52: Pull request #347 synchronize by enricozb
May 27, 2024 12:45 1m 37s enricozb/ffi-cuda
May 27, 2024 12:45 1m 37s
Remove +nightly from install instructions
Checks #51: Commit 52b4283 pushed by kings177
May 26, 2024 15:51 1m 16s main
May 26, 2024 15:51 1m 16s
fix run_io changing root
Checks #49: Commit 50e683c pushed by VictorTaelin
May 25, 2024 15:18 1m 21s main
May 25, 2024 15:18 1m 21s