Skip to content

Actions: HigherOrderCO/HVM

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #345 from HigherOrderCO/fix-tests Checks #34: Commit 5809ad0 pushed by tjjfvi
May 24, 2024 15:17 1m 43s main
main
May 24, 2024 15:17 1m 43s
fix tests Checks #33: Pull request #345 synchronize by tjjfvi
May 24, 2024 15:15 1m 16s fix-tests
fix-tests
May 24, 2024 15:15 1m 16s
fix tests Checks #32: Pull request #345 opened by tjjfvi
May 24, 2024 15:08 1m 52s fix-tests
fix-tests
May 24, 2024 15:08 1m 52s
inc version Checks #31: Commit e157ca8 pushed by VictorTaelin
May 23, 2024 19:17 10m 29s main
main
May 23, 2024 19:17 10m 29s
Merge pull request #341 from miolini/main Checks #30: Commit 896c65a pushed by kings177
May 23, 2024 18:19 10m 25s main
main
May 23, 2024 18:19 10m 25s
fix example code in README Checks #28: Pull request #340 opened by ethe
May 23, 2024 17:01 10m 26s ethe:main
ethe:main
May 23, 2024 17:01 10m 26s
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
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.