Skip to content

Actions: HigherOrderCO/HVM3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix url HVM3 CI #158: Commit fba2e9c pushed by Lorenzobattistela
11m 15s main
main
11m 15s
get back old collapser HVM3 CI #157: Commit f8ea900 pushed by Lorenzobattistela
3m 27s main
main
3m 27s
fix typos readme (#56) HVM3 CI #156: Commit 9f5be61 pushed by developedby
2m 58s main
main
2m 58s
Update README.md (#58) HVM3 CI #155: Commit e79e862 pushed by developedby
6m 44s main
main
6m 44s
Fix generation of auto dup labels HVM3 CI #153: Commit babccc3 pushed by developedby
8m 32s main
main
8m 32s
Enable lto for C compilation now that we have multiple files HVM3 CI #151: Commit 3576f0e pushed by developedby
3m 22s main
main
3m 22s
fix collapse error not passing through CCol (lazy) HVM3 CI #150: Commit 3e13054 pushed by Lorenzobattistela
3m 22s main
main
3m 22s
fix inc/dec priority HVM3 CI #149: Commit 310f466 pushed by VictorTaelin
3m 1s main
main
3m 1s
40-bit address space (max mem: from 34GB to 8TB) HVM3 CI #148: Commit 4ba14d3 pushed by VictorTaelin
3m 13s main
main
3m 13s
compiled mode: strip '#pragma once' from embedded Runtime.h to silenc… HVM3 CI #147: Commit e62dd79 pushed by VictorTaelin
3m 9s main
main
3m 9s
compiled mode: fix CWD-dependent runtime assembly by using embedded r… HVM3 CI #146: Commit 052c7b8 pushed by VictorTaelin
3m 9s main
main
3m 9s
C runtime refactor + perf: split modular files but build as single tr… HVM3 CI #145: Commit 759157f pushed by VictorTaelin
5m 38s main
main
5m 38s
cabal: include runtime split sources in extra-source-files for TH and… HVM3 CI #144: Commit 83e1260 pushed by VictorTaelin
7m 27s main
main
7m 27s
Optimized collapser HVM3 CI #142: Pull request #55 synchronize by Lorenzobattistela
1m 40s optimized-collapser
optimized-collapser
1m 40s
Optimized collapser HVM3 CI #141: Pull request #55 synchronize by Lorenzobattistela
2m 0s optimized-collapser
optimized-collapser
2m 0s
Optimized collapser HVM3 CI #140: Pull request #55 synchronize by Lorenzobattistela
1m 56s optimized-collapser
optimized-collapser
1m 56s
Optimized collapser HVM3 CI #139: Pull request #55 synchronize by Lorenzobattistela
5m 53s optimized-collapser
optimized-collapser
5m 53s
Optimized collapser HVM3 CI #138: Pull request #55 opened by Lorenzobattistela
7m 17s optimized-collapser
optimized-collapser
7m 17s
Strict reduce the value first in fast compiled matches HVM3 CI #137: Commit 9cd8161 pushed by developedby
5m 4s main
main
5m 4s
log improvements HVM3 CI #136: Commit 58c7adc pushed by VictorTaelin
2m 44s main
main
2m 44s
Fix printing of strict let HVM3 CI #135: Commit ceeba69 pushed by developedby
1m 48s main
main
1m 48s
Fix auto-dup on ifl default var HVM3 CI #134: Commit 11ad25f pushed by developedby
1m 56s main
main
1m 56s
Panic on match on wrong constructor HVM3 CI #133: Commit 5391c03 pushed by developedby
2m 1s main
main
2m 1s
Fix shown term on validation error HVM3 CI #132: Commit 9b5d446 pushed by developedby
1m 37s main
main
1m 37s
Move term validation to a single function in adjust HVM3 CI #131: Commit 459863f pushed by developedby
3m 11s main
main
3m 11s