Skip to content

Actions: coalton-lang/coalton

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,488 workflow runs
1,488 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Draft: File Library for Coalton Docs #1107: Pull request #1085 synchronize by Izaakwltn
April 29, 2024 23:42 49s io-library
io-library
April 29, 2024 23:42 49s
tweak comments Docs #1106: Commit b372ab0 pushed by stylewarning
April 29, 2024 21:13 52s main
main
April 29, 2024 21:13 52s
tweak comments CI #2619: Commit b372ab0 pushed by stylewarning
April 29, 2024 21:13 2m 36s main
main
April 29, 2024 21:13 2m 36s
Typechecker base definitions Docs #1105: Pull request #1098 synchronize by jbouwman
April 29, 2024 20:56 47s jbouwman:tc-base-definitions
jbouwman:tc-base-definitions
April 29, 2024 20:56 47s
Typechecker base definitions CI #2618: Pull request #1098 synchronize by jbouwman
April 29, 2024 20:56 2m 34s jbouwman:tc-base-definitions
jbouwman:tc-base-definitions
April 29, 2024 20:56 2m 34s
Typechecker base definitions CI #2617: Pull request #1098 opened by jbouwman
April 29, 2024 18:52 2m 31s jbouwman:tc-base-definitions
jbouwman:tc-base-definitions
April 29, 2024 18:52 2m 31s
Typechecker base definitions Docs #1104: Pull request #1098 opened by jbouwman
April 29, 2024 18:52 55s jbouwman:tc-base-definitions
jbouwman:tc-base-definitions
April 29, 2024 18:52 55s
tc-env-lookup-value: suggest type constructors CI #2616: Pull request #1097 synchronize by jbouwman
April 29, 2024 15:42 2m 35s jbouwman:suggest-constructor
jbouwman:suggest-constructor
April 29, 2024 15:42 2m 35s
tc-env-lookup-value: suggest type constructors Docs #1103: Pull request #1097 synchronize by jbouwman
April 29, 2024 15:42 56s jbouwman:suggest-constructor
jbouwman:suggest-constructor
April 29, 2024 15:42 56s
Draft: File Library for Coalton Docs #1102: Pull request #1085 synchronize by Izaakwltn
April 27, 2024 00:47 52s io-library
io-library
April 27, 2024 00:47 52s
Draft: File Library for Coalton CI #2615: Pull request #1085 synchronize by Izaakwltn
April 27, 2024 00:47 2m 41s io-library
io-library
April 27, 2024 00:47 2m 41s
tc-env-lookup-value: suggest type constructors Docs #1101: Pull request #1097 opened by jbouwman
April 26, 2024 18:30 49s jbouwman:suggest-constructor
jbouwman:suggest-constructor
April 26, 2024 18:30 49s
tc-env-lookup-value: suggest type constructors CI #2614: Pull request #1097 opened by jbouwman
April 26, 2024 18:30 2m 35s jbouwman:suggest-constructor
jbouwman:suggest-constructor
April 26, 2024 18:30 2m 35s
Draft: File Library for Coalton CI #2613: Pull request #1085 synchronize by Izaakwltn
April 26, 2024 01:00 1m 38s io-library
io-library
April 26, 2024 01:00 1m 38s
Draft: File Library for Coalton Docs #1100: Pull request #1085 synchronize by Izaakwltn
April 26, 2024 01:00 56s io-library
io-library
April 26, 2024 01:00 56s
Coalton mode Docs #1099: Pull request #1093 synchronize by jbouwman
April 24, 2024 16:07 58s jbouwman:coalton-mode
jbouwman:coalton-mode
April 24, 2024 16:07 58s
Coalton mode CI #2612: Pull request #1093 synchronize by jbouwman
April 24, 2024 16:07 2m 39s jbouwman:coalton-mode
jbouwman:coalton-mode
April 24, 2024 16:07 2m 39s
Coalton mode CI #2611: Pull request #1093 synchronize by jbouwman
April 23, 2024 22:07 2m 39s jbouwman:coalton-mode
jbouwman:coalton-mode
April 23, 2024 22:07 2m 39s
Coalton mode Docs #1098: Pull request #1093 synchronize by jbouwman
April 23, 2024 22:07 51s jbouwman:coalton-mode
jbouwman:coalton-mode
April 23, 2024 22:07 51s
Draft: File Library for Coalton CI #2610: Pull request #1085 synchronize by Izaakwltn
April 23, 2024 21:50 2m 39s io-library
io-library
April 23, 2024 21:50 2m 39s
Draft: File Library for Coalton Docs #1097: Pull request #1085 synchronize by Izaakwltn
April 23, 2024 21:50 50s io-library
io-library
April 23, 2024 21:50 50s
Move package parser to separate input file CI #2609: Pull request #1091 synchronize by jbouwman
April 23, 2024 16:59 2m 44s jbouwman:extended-package
jbouwman:extended-package
April 23, 2024 16:59 2m 44s
Move package parser to separate input file Docs #1096: Pull request #1091 synchronize by jbouwman
April 23, 2024 16:59 52s jbouwman:extended-package
jbouwman:extended-package
April 23, 2024 16:59 52s
Coalton mode CI #2608: Pull request #1093 synchronize by jbouwman
April 23, 2024 15:59 2m 37s jbouwman:coalton-mode
jbouwman:coalton-mode
April 23, 2024 15:59 2m 37s
Coalton mode Docs #1095: Pull request #1093 synchronize by jbouwman
April 23, 2024 15:59 51s jbouwman:coalton-mode
jbouwman:coalton-mode
April 23, 2024 15:59 51s