Skip to content

Actions: coalton-lang/coalton

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Coalton mode CI #2607: Pull request #1093 synchronize by jbouwman
April 22, 2024 20:41 2m 36s jbouwman:coalton-mode
jbouwman:coalton-mode
April 22, 2024 20:41 2m 36s
Coalton mode Docs #1094: Pull request #1093 synchronize by jbouwman
April 22, 2024 20:41 54s jbouwman:coalton-mode
jbouwman:coalton-mode
April 22, 2024 20:41 54s
Coalton mode CI #2606: Pull request #1093 synchronize by jbouwman
April 22, 2024 20:16 2m 32s jbouwman:coalton-mode
jbouwman:coalton-mode
April 22, 2024 20:16 2m 32s
Coalton mode Docs #1093: Pull request #1093 synchronize by jbouwman
April 22, 2024 20:16 50s jbouwman:coalton-mode
jbouwman:coalton-mode
April 22, 2024 20:16 50s
Fix typo free.lisp Docs #1092: Commit d8e512d pushed by stylewarning
April 20, 2024 20:06 1m 29s main
main
April 20, 2024 20:06 1m 29s
Fix typo free.lisp CI #2605: Commit d8e512d pushed by stylewarning
April 20, 2024 20:06 2m 35s main
main
April 20, 2024 20:06 2m 35s
Fix typo in free.lisp CI #2604: Pull request #1094 opened by gahr
April 20, 2024 09:12 2m 37s gahr:main
gahr:main
April 20, 2024 09:12 2m 37s
Fix typo in free.lisp Docs #1091: Pull request #1094 opened by gahr
April 20, 2024 09:12 48s gahr:main
gahr:main
April 20, 2024 09:12 48s
Coalton mode Docs #1090: Pull request #1093 synchronize by jbouwman
April 19, 2024 19:05 56s jbouwman:coalton-mode
jbouwman:coalton-mode
April 19, 2024 19:05 56s