Skip to content

Actions: hkust-taco/mlscript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,065 workflow runs
1,065 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Support for GADTs Scala CI #1517: Pull request #195 synchronize by Meowcolm024
April 15, 2024 03:02 3m 6s Meowcolm024:local-gadt
Meowcolm024:local-gadt
April 15, 2024 03:02 3m 6s
Tail Recursion Optimization Scala CI #1516: Pull request #218 synchronize by CAG2Mark
April 14, 2024 17:12 3m 3s CAG2Mark:tailrec
CAG2Mark:tailrec
April 14, 2024 17:12 3m 3s
Tail Recursion Optimization Scala CI #1515: Pull request #218 synchronize by CAG2Mark
April 14, 2024 08:15 2m 55s CAG2Mark:tailrec
CAG2Mark:tailrec
April 14, 2024 08:15 2m 55s
Tail Recursion Optimization Scala CI #1514: Pull request #218 synchronize by CAG2Mark
April 14, 2024 06:28 3m 0s CAG2Mark:tailrec
CAG2Mark:tailrec
April 14, 2024 06:28 3m 0s
Type Selection Scala CI #1513: Pull request #219 opened by Meowcolm024
April 9, 2024 10:53 3m 10s Meowcolm024:ty-sel
Meowcolm024:ty-sel
April 9, 2024 10:53 3m 10s
Tail Recursion Optimization Scala CI #1512: Pull request #218 synchronize by CAG2Mark
April 8, 2024 09:10 3m 2s CAG2Mark:tailrec
CAG2Mark:tailrec
April 8, 2024 09:10 3m 2s
ProTip! You can narrow down the results and go further in time using created:<2024-04-08 or the other filters available.