Skip to content

Actions: coalton-lang/coalton

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,272 workflow runs
1,272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add specialization for LispArray primitive types Docs #1943: Pull request #1289 synchronize by stylewarning
October 10, 2024 00:19 56s shirok:lisparray-specialization
shirok:lisparray-specialization
October 10, 2024 00:19 56s
Adding coalton-based benchmark system Docs #1942: Pull request #1286 synchronize by Izaakwltn
October 10, 2024 00:12 1m 0s benchmark-system
benchmark-system
October 10, 2024 00:12 1m 0s
Add Into :a String => Into (Cell :a) String instance Docs #1941: Pull request #1298 synchronize by Izaakwltn
October 10, 2024 00:04 57s into-string-instances
into-string-instances
October 10, 2024 00:04 57s
Add profiling to coalton-library/system Docs #1940: Pull request #1299 synchronize by Izaakwltn
October 9, 2024 22:09 58s add-profiling
add-profiling
October 9, 2024 22:09 58s
Adding coalton-based benchmark system Docs #1939: Pull request #1286 synchronize by Izaakwltn
October 9, 2024 22:00 57s benchmark-system
benchmark-system
October 9, 2024 22:00 57s
Add Into :a String => Into (Cell :a) String instance Docs #1938: Pull request #1298 synchronize by Izaakwltn
October 9, 2024 20:47 50s into-string-instances
into-string-instances
October 9, 2024 20:47 50s
Add profiling to coalton-library/system Docs #1937: Pull request #1299 opened by Izaakwltn
October 9, 2024 20:39 53s add-profiling
add-profiling
October 9, 2024 20:39 53s
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 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
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
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 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
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 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
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 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
Adding coalton-based benchmark system Docs #1923: Pull request #1286 synchronize by Izaakwltn
October 8, 2024 21:35 1m 0s benchmark-system
benchmark-system
October 8, 2024 21:35 1m 0s
Correct span offsets in error messages Docs #1922: Commit 01cf00a pushed by jbouwman
October 8, 2024 20:34 58s main
main
October 8, 2024 20:34 58s
Correct span labeling Docs #1921: Pull request #1292 synchronize by jbouwman
October 8, 2024 18:59 56s jbouwman:1248-span-labeling
jbouwman:1248-span-labeling
October 8, 2024 18:59 56s
Correct span labeling Docs #1920: Pull request #1292 synchronize by jbouwman
October 8, 2024 18:30 54s jbouwman:1248-span-labeling
jbouwman:1248-span-labeling
October 8, 2024 18:30 54s
Correct span labeling Docs #1919: Pull request #1292 synchronize by jbouwman
October 8, 2024 18:30 59s jbouwman:1248-span-labeling
jbouwman:1248-span-labeling
October 8, 2024 18:30 59s