Skip to content

Actions: chrisdone/hell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add withSystemTempFile and withSystemTempDirectory from the tempo… Generate homepage #50: Commit d844e40 pushed by chrisdone
January 7, 2025 11:57 20s main
main
January 7, 2025 11:57 20s
add withSystemTempFile and withSystemTempDirectory from the tempo… Build #131: Commit d844e40 pushed by chrisdone
January 7, 2025 11:57 50s main
main
January 7, 2025 11:57 50s
Update examples Build #129: Commit 6edda34 pushed by chrisdone
January 2, 2025 16:09 58s main
main
January 2, 2025 16:09 58s
Update examples Generate homepage #49: Commit 6edda34 pushed by chrisdone
January 2, 2025 16:09 17s main
main
January 2, 2025 16:09 17s
Add Tree example Generate homepage #48: Commit 0cf0283 pushed by chrisdone
January 2, 2025 16:05 21s main
main
January 2, 2025 16:05 21s
Add Tree example Build #128: Commit 0cf0283 pushed by chrisdone
January 2, 2025 16:05 59s main
main
January 2, 2025 16:05 59s
Expose Tree type Generate homepage #47: Commit d81cc73 pushed by chrisdone
January 2, 2025 15:53 17s main
main
January 2, 2025 15:53 17s
Expose Tree type Build #127: Commit d81cc73 pushed by chrisdone
January 2, 2025 15:53 1m 2s main
main
January 2, 2025 15:53 1m 2s
Hide internal names (Variant/Tagged/Record/etc) Generate homepage #46: Commit 14cadae pushed by chrisdone
January 2, 2025 15:50 19s main
main
January 2, 2025 15:50 19s
Hide internal names (Variant/Tagged/Record/etc) Build #126: Commit 14cadae pushed by chrisdone
January 2, 2025 15:50 59s main
main
January 2, 2025 15:50 59s
Hide primitive names Build #125: Pull request #69 opened by chrisdone-artificial
January 2, 2025 15:32 38s chrisdone-artificial:cd/2025-01-02-prim-names
chrisdone-artificial:cd/2025-01-02-prim-names
January 2, 2025 15:32 38s
Update docs Generate homepage #45: Commit 724e9aa pushed by chrisdone
January 1, 2025 21:43 19s main
main
January 1, 2025 21:43 19s
Update docs Build #124: Commit 724e9aa pushed by chrisdone
January 1, 2025 21:43 1m 6s main
main
January 1, 2025 21:43 1m 6s
Ensure user-defined sum/record type are qualified (#68) Generate homepage #44: Commit 003ad4e pushed by chrisdone
January 1, 2025 21:33 17s main
main
January 1, 2025 21:33 17s
Ensure user-defined sum/record type are qualified (#68) Build #123: Commit 003ad4e pushed by chrisdone
January 1, 2025 21:33 1m 3s main
main
January 1, 2025 21:33 1m 3s
Ensure user-defined sum/record type are qualified Build #122: Pull request #68 opened by chrisdone
January 1, 2025 21:32 1m 5s cd/2025-01-01-ensure-main-qual
cd/2025-01-01-ensure-main-qual
January 1, 2025 21:32 1m 5s
Support referencing user-defined types from terms and other user-defi… Generate homepage #43: Commit 15c53bb pushed by chrisdone
December 31, 2024 11:39 23s main
main
December 31, 2024 11:39 23s
Support referencing user-defined types from terms and other user-defi… Build #121: Commit 15c53bb pushed by chrisdone
December 31, 2024 11:39 59s main
main
December 31, 2024 11:39 59s
Support referencing user-defined types from terms and other user-defined types Build #120: Pull request #67 opened by chrisdone
December 31, 2024 11:38 1m 8s cd/2024-12-31-ref-types-by-name
cd/2024-12-31-ref-types-by-name
December 31, 2024 11:38 1m 8s
Add Map.keys/Map.elems (#66) Build #119: Commit 34d50ee pushed by chrisdone
December 29, 2024 13:15 58s main
main
December 29, 2024 13:15 58s
Add Map.keys/Map.elems (#66) Generate homepage #42: Commit 34d50ee pushed by chrisdone
December 29, 2024 13:15 19s main
main
December 29, 2024 13:15 19s
Add Map.keys/Map.elems Build #118: Pull request #66 opened by chrisdone
December 29, 2024 13:12 1m 0s cd/2024-12-29-add-map-functions
cd/2024-12-29-add-map-functions
December 29, 2024 13:12 1m 0s
Update docs Build #117: Commit 2dad319 pushed by chrisdone
December 16, 2024 09:15 59s main
main
December 16, 2024 09:15 59s
Update docs Generate homepage #41: Commit 2dad319 pushed by chrisdone
December 16, 2024 09:15 19s main
main
December 16, 2024 09:15 19s
Use Text with Exit.die (#63) Generate homepage #40: Commit 845430e pushed by chrisdone
December 16, 2024 08:56 21s main
main
December 16, 2024 08:56 21s