Skip to content

Actions: casehubdk/hxl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stack safe path compression Continuous Integration #78: Commit 21d936d pushed by shaagerup
8m 16s main
main
8m 16s
stack safe path compression Clean #71: Commit 21d936d pushed by shaagerup
9s main
main
9s
more general tracing util Clean #70: Commit e3f2c41 pushed by shaagerup
7s main
main
7s
more general tracing util Continuous Integration #77: Commit e3f2c41 pushed by shaagerup
7m 53s main
main
7m 53s
unbatched tracing combinator Clean #69: Commit a279cba pushed by shaagerup
7s main
main
7s
unbatched tracing combinator Continuous Integration #76: Commit a279cba pushed by shaagerup
8m 19s main
main
8m 19s
disable liftF tracing Clean #68: Commit 8e13f73 pushed by ValdemarGr
9s main
main
9s
disable liftF tracing Continuous Integration #75: Commit 8e13f73 pushed by ValdemarGr
8m 56s main
main
8m 56s
make applicative stack safe Continuous Integration #74: Commit 580fb54 pushed by ValdemarGr
6m 51s main
main
6m 51s
make applicative stack safe Clean #67: Commit 580fb54 pushed by ValdemarGr
9s main
main
9s
fix rounds tracing Continuous Integration #73: Commit 757c110 pushed by ValdemarGr
12m 16s main
main
12m 16s
fix rounds tracing Clean #66: Commit 757c110 pushed by ValdemarGr
8s main
main
8s
fmt Clean #65: Commit 4079085 pushed by ValdemarGr
9s v0.3.1
v0.3.1
9s
fmt Continuous Integration #72: Commit 4079085 pushed by ValdemarGr
7m 10s v0.3.1
v0.3.1
7m 10s
fmt Continuous Integration #71: Commit 4079085 pushed by ValdemarGr
16m 30s main
main
16m 30s
fmt Clean #64: Commit 4079085 pushed by ValdemarGr
7s main
main
7s
cleanup Clean #63: Commit 0b391f0 pushed by ValdemarGr
12s main
main
12s
cleanup Continuous Integration #70: Commit 0b391f0 pushed by ValdemarGr
55s main
main
55s
no snapshot Continuous Integration #69: Commit 402dd5d pushed by ValdemarGr
11m 11s main
main
11m 11s
no snapshot Clean #62: Commit 402dd5d pushed by ValdemarGr
9s main
main
9s
fmt Clean #61: Commit bfa6884 pushed by ValdemarGr
7s main
main
7s
fmt Continuous Integration #68: Commit bfa6884 pushed by ValdemarGr
2m 11s main
main
2m 11s
regen Clean #60: Commit ec6c546 pushed by ValdemarGr
7s main
main
7s
regen Continuous Integration #67: Commit ec6c546 pushed by ValdemarGr
1m 8s main
main
1m 8s
retry Clean #59: Commit 12d512a pushed by ValdemarGr
7s main
main
7s