Skip to content

Actions: coalton-lang/coalton

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
90 workflow run results
90 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed deprecated Early Types doc CI #2303: Commit c45f3fe pushed by eliaslfox
September 14, 2023 00:49 3m 49s main
main
September 14, 2023 00:49 3m 49s
Removed deprecated Early Types doc CI #2302: Pull request #988 opened by Izaakwltn
September 14, 2023 00:45 3m 45s early-type-doc
early-type-doc
September 14, 2023 00:45 3m 45s
loop sampler CI #2301: Pull request #986 synchronize by macrologist
September 13, 2023 23:06 1m 29s macrologist:while-loop
macrologist:while-loop
September 13, 2023 23:06 1m 29s
loop sampler CI #2300: Pull request #986 synchronize by macrologist
September 13, 2023 22:50 1m 23s macrologist:while-loop
macrologist:while-loop
September 13, 2023 22:50 1m 23s
loop sampler CI #2299: Pull request #986 synchronize by macrologist
September 13, 2023 18:23 3m 38s macrologist:while-loop
macrologist:while-loop
September 13, 2023 18:23 3m 38s
If the method is declared inline, then inline its method instances CI #2298: Pull request #987 opened by digikar99
September 13, 2023 11:45 3m 35s digikar99:inline-method-instance
digikar99:inline-method-instance
September 13, 2023 11:45 3m 35s
loop sampler CI #2297: Pull request #986 opened by macrologist
September 12, 2023 18:37 4m 21s macrologist:while-loop
macrologist:while-loop
September 12, 2023 18:37 4m 21s
Typos CI #2296: Commit 6fdd091 pushed by Izaakwltn
August 30, 2023 18:44 3m 57s main
main
August 30, 2023 18:44 3m 57s
Typos CI #2295: Pull request #984 opened by jbouwman
August 30, 2023 18:08 4m 12s jbouwman:intro-walk
jbouwman:intro-walk
August 30, 2023 18:08 4m 12s
support ifix in pattern matching (draft) CI #2294: Pull request #982 opened by Jobhdez
August 13, 2023 22:49 1m 34s Jobhdez:pattern-match-nums
Jobhdez:pattern-match-nums
August 13, 2023 22:49 1m 34s
check unsigned values for underflow. CI #2293: Pull request #981 opened by Jobhdez
August 13, 2023 00:54 3m 41s Jobhdez:check-underflow
Jobhdez:check-underflow
August 13, 2023 00:54 3m 41s
Added seq get-unsafe and put-unsafe, corresponding tests CI #2292: Pull request #979 synchronize by Izaakwltn
August 4, 2023 21:46 3m 28s seq-unsafely
seq-unsafely
August 4, 2023 21:46 3m 28s
Added seq get-unsafe and put-unsafe, corresponding tests CI #2291: Pull request #979 synchronize by Izaakwltn
August 4, 2023 19:04 3m 47s seq-unsafely
seq-unsafely
August 4, 2023 19:04 3m 47s
Added seq get-unsafe and put-unsafe, corresponding tests CI #2290: Pull request #979 opened by Izaakwltn
August 4, 2023 18:44 4m 8s seq-unsafely
seq-unsafely
August 4, 2023 18:44 4m 8s
Add: Seq to coalton library CI #2289: Commit 58856fc pushed by colescott
July 24, 2023 17:01 3m 40s main
main
July 24, 2023 17:01 3m 40s
Rrb tree pseq CI #2288: Pull request #971 synchronize by macrologist
July 24, 2023 16:57 4m 4s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 24, 2023 16:57 4m 4s
Rrb tree pseq CI #2287: Pull request #971 synchronize by macrologist
July 24, 2023 16:53 3m 49s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 24, 2023 16:53 3m 49s
Rrb tree pseq CI #2286: Pull request #971 synchronize by macrologist
July 21, 2023 15:16 3m 27s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 21, 2023 15:16 3m 27s
Rrb tree pseq CI #2285: Pull request #971 synchronize by macrologist
July 20, 2023 20:01 3m 42s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 20, 2023 20:01 3m 42s
Rrb tree pseq CI #2284: Pull request #971 synchronize by macrologist
July 20, 2023 19:53 3m 27s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 20, 2023 19:53 3m 27s
Rrb tree pseq CI #2283: Pull request #971 synchronize by macrologist
July 20, 2023 15:16 3m 57s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 20, 2023 15:16 3m 57s
Rrb tree pseq CI #2282: Pull request #971 synchronize by macrologist
July 19, 2023 15:09 3m 54s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 19, 2023 15:09 3m 54s
Rrb tree pseq CI #2281: Pull request #971 synchronize by macrologist
July 19, 2023 15:08 3m 40s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 19, 2023 15:08 3m 40s
Rrb tree pseq CI #2280: Pull request #971 synchronize by macrologist
July 18, 2023 20:42 3m 47s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 18, 2023 20:42 3m 47s
Rrb tree pseq CI #2279: Pull request #971 synchronize by macrologist
July 18, 2023 20:09 3m 55s macrologist:rrb-tree-pseq
macrologist:rrb-tree-pseq
July 18, 2023 20:09 3m 55s