Skip to content

Actions: coalton-lang/coalton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,546 workflow runs
2,546 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add define-type-alias CI #3528: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 20:23 3m 28s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 20:23 3m 28s
Add define-type-alias Docs #2015: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 20:23 1m 7s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 20:23 1m 7s
Add define-type-alias CI #3527: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 20:15 2m 44s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 20:15 2m 44s
Add define-type-alias Docs #2014: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 20:15 1m 1s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 20:15 1m 1s
Remove conditionals from profiling Docs #2013: Pull request #1302 synchronize by Izaakwltn
October 17, 2024 18:21 55s profiling-fix
profiling-fix
October 17, 2024 18:21 55s
Remove conditionals from profiling CI #3526: Pull request #1302 synchronize by Izaakwltn
October 17, 2024 18:21 3m 30s profiling-fix
profiling-fix
October 17, 2024 18:21 3m 30s
Remove conditionals from profiling CI #3525: Pull request #1302 synchronize by Izaakwltn
October 17, 2024 18:19 1m 18s profiling-fix
profiling-fix
October 17, 2024 18:19 1m 18s
Remove conditionals from profiling Docs #2012: Pull request #1302 synchronize by Izaakwltn
October 17, 2024 18:19 57s profiling-fix
profiling-fix
October 17, 2024 18:19 57s
Add define-type-alias CI #3524: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 17:58 3m 29s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 17:58 3m 29s
Add define-type-alias Docs #2011: Pull request #1294 synchronize by YarinHeffes
October 17, 2024 17:58 1m 7s YarinHeffes:type-alias
YarinHeffes:type-alias
October 17, 2024 17:58 1m 7s
Remove conditionals from profiling Docs #2010: Pull request #1302 synchronize by Izaakwltn
October 16, 2024 22:46 56s profiling-fix
profiling-fix
October 16, 2024 22:46 56s
Remove conditionals from profiling CI #3523: Pull request #1302 synchronize by Izaakwltn
October 16, 2024 22:46 3m 23s profiling-fix
profiling-fix
October 16, 2024 22:46 3m 23s
Add fromfrac function for converting fractions to dividable types Docs #2009: Commit 7fc91f8 pushed by stylewarning
October 16, 2024 22:42 58s main
main
October 16, 2024 22:42 58s
Add fromfrac function for converting fractions to dividable types CI #3522: Commit 7fc91f8 pushed by stylewarning
October 16, 2024 22:42 3m 24s main
main
October 16, 2024 22:42 3m 24s
Add fromfrac function for converting fractions to dividable types CI #3521: Pull request #1310 synchronize by Izaakwltn
October 16, 2024 22:40 3m 22s fraction-conversion
fraction-conversion
October 16, 2024 22:40 3m 22s
Add fromfrac function for converting fractions to dividable types Docs #2008: Pull request #1310 synchronize by Izaakwltn
October 16, 2024 22:40 54s fraction-conversion
fraction-conversion
October 16, 2024 22:40 54s
Change Quantization from type to struct; doc upgrade CI #3520: Commit b5e8693 pushed by stylewarning
October 16, 2024 22:37 3m 25s main
main
October 16, 2024 22:37 3m 25s
Change Quantization from type to struct; doc upgrade Docs #2007: Commit b5e8693 pushed by stylewarning
October 16, 2024 22:37 57s main
main
October 16, 2024 22:37 57s
Add define-type-alias CI #3519: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:58 3m 28s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:58 3m 28s
Add define-type-alias Docs #2006: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:58 53s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:58 53s
Add define-type-alias CI #3518: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:57 3m 30s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:57 3m 30s
Add define-type-alias Docs #2005: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:57 54s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:57 54s
Add define-type-alias Docs #2004: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:25 1m 0s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:25 1m 0s
Add define-type-alias CI #3517: Pull request #1294 synchronize by YarinHeffes
October 16, 2024 21:25 3m 34s YarinHeffes:type-alias
YarinHeffes:type-alias
October 16, 2024 21:25 3m 34s
Adding coalton-based benchmark system Docs #2003: Pull request #1286 synchronize by Izaakwltn
October 16, 2024 21:02 55s benchmark-system
benchmark-system
October 16, 2024 21:02 55s