Skip to content

Actions: coalton-lang/coalton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,280 workflow run results
2,280 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Into :a String => Into (Cell :a) String instance CI #3449: Pull request #1298 opened by Izaakwltn
October 9, 2024 20:34 3m 23s into-string-instances
into-string-instances
October 9, 2024 20:34 3m 23s
Add Into :a String => Into (Cell :a) String instance Docs #1936: Pull request #1298 opened by Izaakwltn
October 9, 2024 20:34 1m 0s into-string-instances
into-string-instances
October 9, 2024 20:34 1m 0s
Adding coalton-based benchmark system CI #3448: Pull request #1286 synchronize by Izaakwltn
October 9, 2024 20:25 3m 25s benchmark-system
benchmark-system
October 9, 2024 20:25 3m 25s
Adding coalton-based benchmark system Docs #1935: Pull request #1286 synchronize by Izaakwltn
October 9, 2024 20:25 1m 9s benchmark-system
benchmark-system
October 9, 2024 20:25 1m 9s
Attribute helpers Docs #1934: Commit b75d02f pushed by jbouwman
October 9, 2024 19:05 53s main
main
October 9, 2024 19:05 53s
Attribute helpers CI #3447: Commit b75d02f pushed by jbouwman
October 9, 2024 19:05 3m 23s main
main
October 9, 2024 19:05 3m 23s
Adding coalton-based benchmark system Docs #1933: Pull request #1286 synchronize by Izaakwltn
October 9, 2024 19:00 51s benchmark-system
benchmark-system
October 9, 2024 19:00 51s
Adding coalton-based benchmark system CI #3446: Pull request #1286 synchronize by Izaakwltn
October 9, 2024 19:00 3m 25s benchmark-system
benchmark-system
October 9, 2024 19:00 3m 25s
Attribute helpers CI #3445: Pull request #1297 opened by jbouwman
October 9, 2024 18:48 3m 25s jbouwman:attribute-helpers
jbouwman:attribute-helpers
October 9, 2024 18:48 3m 25s
Attribute helpers Docs #1932: Pull request #1297 opened by jbouwman
October 9, 2024 18:48 58s jbouwman:attribute-helpers
jbouwman:attribute-helpers
October 9, 2024 18:48 58s
Remove location parameter from check-duplicates Docs #1931: Commit ce96064 pushed by jbouwman
October 9, 2024 17:11 1m 0s main
main
October 9, 2024 17:11 1m 0s
Remove location parameter from check-duplicates CI #3444: Commit ce96064 pushed by jbouwman
October 9, 2024 17:11 3m 26s main
main
October 9, 2024 17:11 3m 26s
Remove location parameter from check-duplicates Docs #1930: Pull request #1296 opened by jbouwman
October 9, 2024 16:52 58s jbouwman:simplify-check-duplicates
jbouwman:simplify-check-duplicates
October 9, 2024 16:52 58s
Remove location parameter from check-duplicates CI #3443: Pull request #1296 opened by jbouwman
October 9, 2024 16:52 3m 24s jbouwman:simplify-check-duplicates
jbouwman:simplify-check-duplicates
October 9, 2024 16:52 3m 24s
Rename bound variables CI #3442: Pull request #1295 opened by amorphedstar
October 9, 2024 05:02 2m 48s amorphedstar:rename-bound-variables
amorphedstar:rename-bound-variables
October 9, 2024 05:02 2m 48s
Rename bound variables Docs #1929: Pull request #1295 opened by amorphedstar
October 9, 2024 05:02 58s amorphedstar:rename-bound-variables
amorphedstar:rename-bound-variables
October 9, 2024 05:02 58s
Add define-type-alias Docs #1928: Pull request #1294 synchronize by YarinHeffes
October 8, 2024 23:51 59s YarinHeffes:type-alias
YarinHeffes:type-alias
October 8, 2024 23:51 59s
Add define-type-alias CI #3441: Pull request #1294 synchronize by YarinHeffes
October 8, 2024 23:51 3m 30s YarinHeffes:type-alias
YarinHeffes:type-alias
October 8, 2024 23:51 3m 30s
Add define-type-alias Docs #1927: Pull request #1294 opened by YarinHeffes
October 8, 2024 23:39 52s YarinHeffes:type-alias
YarinHeffes:type-alias
October 8, 2024 23:39 52s
Add define-type-alias CI #3440: Pull request #1294 opened by YarinHeffes
October 8, 2024 23:39 3m 23s YarinHeffes:type-alias
YarinHeffes:type-alias
October 8, 2024 23:39 3m 23s
Adding coalton-based benchmark system CI #3439: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:54 3m 30s benchmark-system
benchmark-system
October 8, 2024 21:54 3m 30s
Adding coalton-based benchmark system Docs #1926: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:54 54s benchmark-system
benchmark-system
October 8, 2024 21:54 54s
Adding coalton-based benchmark system CI #3438: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:43 3m 23s benchmark-system
benchmark-system
October 8, 2024 21:43 3m 23s
Adding coalton-based benchmark system Docs #1925: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:43 51s benchmark-system
benchmark-system
October 8, 2024 21:43 51s
Adding coalton-based benchmark system Docs #1924: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:40 55s benchmark-system
benchmark-system
October 8, 2024 21:40 55s