Skip to content

Actions: HigherOrderCO/HVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
316 workflow runs
316 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #337 from HigherOrderCO/fix_i24_comparison Checks #27: Commit a526923 pushed by VictorTaelin
May 23, 2024 16:36 10m 26s main
main
May 23, 2024 16:36 10m 26s
Merge pull request #336 from HigherOrderCO/io_standard Checks #26: Commit fe8cbe7 pushed by VictorTaelin
May 23, 2024 16:36 10m 25s main
main
May 23, 2024 16:36 10m 25s
IO/FFI Standard Checks #25: Pull request #336 synchronize by VictorTaelin
May 23, 2024 16:35 10m 30s io_standard
io_standard
May 23, 2024 16:35 10m 30s
IO/FFI Standard Checks #24: Pull request #336 synchronize by VictorTaelin
May 23, 2024 16:04 35s io_standard
io_standard
May 23, 2024 16:04 35s
remove kind2 command name (#339) Checks #23: Commit 99a39c3 pushed by kings177
May 23, 2024 15:24 2m 37s main
main
May 23, 2024 15:24 2m 37s
remove kind2 command name Checks #22: Pull request #339 opened by enricozb
May 23, 2024 15:22 2m 34s enricozb/command-name
enricozb/command-name
May 23, 2024 15:22 2m 34s
Fix i24 comparison Checks #21: Pull request #337 synchronize by VictorTaelin
May 23, 2024 12:21 2m 25s fix_i24_comparison
fix_i24_comparison
May 23, 2024 12:21 2m 25s
Fix i24 comparison Checks #20: Pull request #337 synchronize by VictorTaelin
May 23, 2024 12:07 1m 38s fix_i24_comparison
fix_i24_comparison
May 23, 2024 12:07 1m 38s
[paper] clean numerics and interaction rules (#301) Checks #19: Commit ff2066b pushed by enricozb
May 23, 2024 12:06 2m 38s main
main
May 23, 2024 12:06 2m 38s
[paper] clean up numbers section Checks #18: Pull request #301 synchronize by enricozb
May 23, 2024 12:01 2m 23s enricozb/paper
enricozb/paper
May 23, 2024 12:01 2m 23s
[paper] clean up numbers section Checks #17: Pull request #301 synchronize by enricozb
May 23, 2024 05:48 2m 29s enricozb/paper
enricozb/paper
May 23, 2024 05:48 2m 29s
avoid huge CUDA memset - faster boot Checks #16: Commit 38fc2f1 pushed by VictorTaelin
May 23, 2024 00:52 2m 26s main
main
May 23, 2024 00:52 2m 26s
Fix i24 comparison Checks #15: Pull request #337 opened by VictorTaelin
May 22, 2024 23:10 1m 16s fix_i24_comparison
fix_i24_comparison
May 22, 2024 23:10 1m 16s
IO/FFI Standard Checks #14: Pull request #336 synchronize by VictorTaelin
May 22, 2024 22:52 25s io_standard
io_standard
May 22, 2024 22:52 25s
Merge pull request #327 from HigherOrderCO/test-suite Checks #13: Commit 656c881 pushed by VictorTaelin
May 22, 2024 22:51 2m 39s main
main
May 22, 2024 22:51 2m 39s
add test suite Checks #12: Pull request #327 synchronize by tjjfvi
May 21, 2024 21:21 2m 13s test-suite
test-suite
May 21, 2024 21:21 2m 13s
add test suite Checks #11: Pull request #327 synchronize by tjjfvi
May 21, 2024 21:14 4m 42s test-suite
test-suite
May 21, 2024 21:14 4m 42s
add test suite Checks #10: Pull request #327 synchronize by tjjfvi
May 21, 2024 21:09 2m 14s test-suite
test-suite
May 21, 2024 21:09 2m 14s
add test suite Checks #9: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:56 2m 11s test-suite
test-suite
May 21, 2024 20:56 2m 11s
add test suite Checks #8: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:34 2m 9s test-suite
test-suite
May 21, 2024 20:34 2m 9s
add test suite Checks #7: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:21 1m 31s test-suite
test-suite
May 21, 2024 20:21 1m 31s
add test suite Checks #6: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:20 11m 31s test-suite
test-suite
May 21, 2024 20:20 11m 31s
add test suite Checks #5: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:14 6m 26s test-suite
test-suite
May 21, 2024 20:14 6m 26s
add test suite Checks #4: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:09 1m 11s test-suite
test-suite
May 21, 2024 20:09 1m 11s
add test suite Checks #3: Pull request #327 synchronize by tjjfvi
May 21, 2024 20:04 1m 12s test-suite
test-suite
May 21, 2024 20:04 1m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.