Skip to content

Actions: hkust-taco/mlscript

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New UCS desugarer and rudimentary PreTyper Scala CI #1542: Pull request #194 synchronize by chengluyu
May 23, 2024 02:42 3m 12s chengluyu:pretyper
chengluyu:pretyper
May 23, 2024 02:42 3m 12s
Defunctionalization with simple-sub Control-flow Analysis Scala CI #1541: Pull request #222 synchronize by HarrisL2
May 21, 2024 16:04 35m 35s HarrisL2:simpledef
HarrisL2:simpledef
May 21, 2024 16:04 35m 35s
Defunctionalization with simple-sub Control-flow Analysis Scala CI #1540: Pull request #222 synchronize by HarrisL2
May 18, 2024 17:42 3m 1s HarrisL2:simpledef
HarrisL2:simpledef
May 18, 2024 17:42 3m 1s
Defunctionalization with simple-sub Control-flow Analysis Scala CI #1539: Pull request #222 synchronize by HarrisL2
May 17, 2024 19:33 3m 6s HarrisL2:simpledef
HarrisL2:simpledef
May 17, 2024 19:33 3m 6s
Defunctionalization with simple-sub Control-flow Analysis Scala CI #1538: Pull request #222 synchronize by HarrisL2
May 17, 2024 18:58 3m 1s HarrisL2:simpledef
HarrisL2:simpledef
May 17, 2024 18:58 3m 1s
Defunctionalization with simple-sub Control-flow Analysis Scala CI #1537: Pull request #222 opened by HarrisL2
May 17, 2024 18:56 3m 0s HarrisL2:simpledef
HarrisL2:simpledef
May 17, 2024 18:56 3m 0s
Fix statement desugar in Unquote (#221) Scala CI #1536: Commit a1de9b6 pushed by LPTK
May 17, 2024 09:45 3m 1s mlscript
mlscript
May 17, 2024 09:45 3m 1s
Fix statement desugar in Unquote Scala CI #1535: Pull request #221 synchronize by NeilKleistGao
May 17, 2024 04:07 8m 36s NeilKleistGao:blkgen
NeilKleistGao:blkgen
May 17, 2024 04:07 8m 36s
Fix statement desugar in Unquote Scala CI #1534: Pull request #221 opened by NeilKleistGao
May 17, 2024 03:59 1m 3s NeilKleistGao:blkgen
NeilKleistGao:blkgen
May 17, 2024 03:59 1m 3s
Tail Recursion Optimization Scala CI #1533: Pull request #218 synchronize by CAG2Mark
May 12, 2024 14:55 2m 58s CAG2Mark:tailrec
CAG2Mark:tailrec
May 12, 2024 14:55 2m 58s
Tail Recursion Optimization Scala CI #1532: Pull request #218 synchronize by CAG2Mark
May 12, 2024 12:08 3m 2s CAG2Mark:tailrec
CAG2Mark:tailrec
May 12, 2024 12:08 3m 2s
Tail Recursion Optimization Scala CI #1531: Pull request #218 synchronize by CAG2Mark
May 12, 2024 09:32 3m 8s CAG2Mark:tailrec
CAG2Mark:tailrec
May 12, 2024 09:32 3m 8s
New UCS desugarer and rudimentary PreTyper Scala CI #1530: Pull request #194 synchronize by chengluyu
May 8, 2024 20:09 3m 3s chengluyu:pretyper
chengluyu:pretyper
May 8, 2024 20:09 3m 3s
New UCS desugarer and rudimentary PreTyper Scala CI #1529: Pull request #194 synchronize by chengluyu
May 7, 2024 20:29 3m 5s chengluyu:pretyper
chengluyu:pretyper
May 7, 2024 20:29 3m 5s
New UCS desugarer and rudimentary PreTyper Scala CI #1528: Pull request #194 synchronize by chengluyu
May 7, 2024 19:43 3m 20s chengluyu:pretyper
chengluyu:pretyper
May 7, 2024 19:43 3m 20s
Add interesting extrusion test Scala CI #1527: Commit 4923fb8 pushed by LPTK
May 3, 2024 07:22 3m 2s mlscript
mlscript
May 3, 2024 07:22 3m 2s
Tail Recursion Optimization Scala CI #1526: Pull request #218 synchronize by CAG2Mark
May 1, 2024 14:25 3m 8s CAG2Mark:tailrec
CAG2Mark:tailrec
May 1, 2024 14:25 3m 8s
Tail Recursion Optimization Scala CI #1525: Pull request #218 synchronize by CAG2Mark
May 1, 2024 14:20 3m 18s CAG2Mark:tailrec
CAG2Mark:tailrec
May 1, 2024 14:20 3m 18s
New UCS desugarer and rudimentary PreTyper Scala CI #1524: Pull request #194 synchronize by chengluyu
April 28, 2024 19:45 3m 1s chengluyu:pretyper
chengluyu:pretyper
April 28, 2024 19:45 3m 1s
New UCS desugarer and rudimentary PreTyper Scala CI #1523: Pull request #194 synchronize by chengluyu
April 27, 2024 04:52 3m 10s chengluyu:pretyper
chengluyu:pretyper
April 27, 2024 04:52 3m 10s
New UCS desugarer and rudimentary PreTyper Scala CI #1522: Pull request #194 synchronize by chengluyu
April 25, 2024 02:41 3m 4s chengluyu:pretyper
chengluyu:pretyper
April 25, 2024 02:41 3m 4s
New UCS desugarer and rudimentary PreTyper Scala CI #1521: Pull request #194 synchronize by chengluyu
April 24, 2024 08:58 1m 27s chengluyu:pretyper
chengluyu:pretyper
April 24, 2024 08:58 1m 27s
Support for GADTs Scala CI #1520: Pull request #195 synchronize by Meowcolm024
April 23, 2024 03:54 3m 4s Meowcolm024:local-gadt
Meowcolm024:local-gadt
April 23, 2024 03:54 3m 4s
Optional Arguments Scala CI #1519: Pull request #220 opened by noordahx
April 22, 2024 05:06 3m 4s noordahx:optional-arguments
noordahx:optional-arguments
April 22, 2024 05:06 3m 4s
Tail Recursion Optimization Scala CI #1518: Pull request #218 synchronize by CAG2Mark
April 20, 2024 14:43 3m 0s CAG2Mark:tailrec
CAG2Mark:tailrec
April 20, 2024 14:43 3m 0s