Skip to content

Actions: chrisdone/hell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump to 2024-01-21 Build #168: Commit 698449d pushed by chrisdone
1m 15s main
main
1m 15s
Bump to 2024-01-21 Generate homepage #72: Commit 698449d pushed by chrisdone
26s main
main
26s
Fix typo Generate homepage #71: Commit aa6d37a pushed by chrisdone
25s main
main
25s
Fix typo Build #167: Commit aa6d37a pushed by chrisdone
1m 6s main
main
1m 6s
Slightly better constraint solving error messages with locations Generate homepage #70: Commit 87cf3ea pushed by chrisdone
26s main
main
26s
Slightly better constraint solving error messages with locations Build #166: Commit 87cf3ea pushed by chrisdone
1m 10s main
main
1m 10s
Add IO.Handle as type (#83) Build #165: Commit c439b4d pushed by chrisdone
1m 13s main
main
1m 13s
Add IO.Handle as type (#83) Generate homepage #69: Commit c439b4d pushed by chrisdone
26s main
main
26s
Add IO.Handle as type Build #164: Pull request #83 synchronize by austin-artificial
39s austin-artificial:austin/expose-handle
austin-artificial:austin/expose-handle
39s
Add IO.Handle as type Build #163: Pull request #83 opened by austin-artificial
44s austin-artificial:austin/expose-handle
austin-artificial:austin/expose-handle
44s
Force evaluation in check case Generate homepage #68: Commit 28452e9 pushed by chrisdone
19s main
main
19s
Force evaluation in check case Build #162: Commit 28452e9 pushed by chrisdone
1m 4s main
main
1m 4s
Add Process.nullStream (#82) Generate homepage #67: Commit 6dd4928 pushed by chrisdone
20s main
main
20s
Add Process.nullStream (#82) Build #161: Commit 6dd4928 pushed by chrisdone
1m 5s main
main
1m 5s
Add Process.nullStream Build #160: Pull request #82 synchronize by austin-artificial
46s austin-artificial:austin/null-stream
austin-artificial:austin/null-stream
46s
Add Process.nullStream Build #159: Pull request #82 synchronize by austin-artificial
39s austin-artificial:austin/null-stream
austin-artificial:austin/null-stream
39s
Add Process.nullStream Build #158: Pull request #82 opened by austin-artificial
42s austin-artificial:austin/null-stream
austin-artificial:austin/null-stream
42s
Add filtering to api page (#81) Build #157: Commit 5d84d82 pushed by chrisdone
1m 14s main
main
1m 14s
Add filtering to api page (#81) Generate homepage #66: Commit 5d84d82 pushed by chrisdone
25s main
main
25s
Add filtering to api page Build #156: Pull request #81 synchronize by austin-artificial
37s austin-artificial:austin/fitler-api
austin-artificial:austin/fitler-api
37s
Bump for Hackage Generate homepage #65: Commit 67f9805 pushed by chrisdone
21s main
main
21s
Bump for Hackage Build #155: Commit 67f9805 pushed by chrisdone
1m 8s main
main
1m 8s
Add basic printer Generate homepage #64: Commit 8bc02d4 pushed by chrisdone
21s main
main
21s
Add basic printer Build #154: Commit 8bc02d4 pushed by chrisdone
1m 13s main
main
1m 13s
Attached a Prim tag to Forall in UTerm Generate homepage #63: Commit d4d2768 pushed by chrisdone
19s main
main
19s