Skip to content

Actions: hkust-taco/mlscript

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support integer literals of different radices and decimal numeric literals Scala CI #1310: Pull request #199 synchronize by chengluyu
December 31, 2023 12:36 4m 3s chengluyu:lexer/numeric-literals
chengluyu:lexer/numeric-literals
December 31, 2023 12:36 4m 3s
Support integer literals of different radices and decimal numeric literals Scala CI #1309: Pull request #199 synchronize by chengluyu
December 31, 2023 12:36 3m 55s chengluyu:lexer/numeric-literals
chengluyu:lexer/numeric-literals
December 31, 2023 12:36 3m 55s
Adjust heap size and stack size of JVM of GitHub workflow (#201) Scala CI #1308: Commit ea4ddab pushed by LPTK
December 31, 2023 05:29 2m 43s mlscript
mlscript
December 31, 2023 05:29 2m 43s
Adjust heap size and stack size of JVM of GitHub workflow Scala CI #1307: Pull request #201 synchronize by chengluyu
December 30, 2023 20:32 2m 42s github-workflow-memory-size
github-workflow-memory-size
December 30, 2023 20:32 2m 42s
Adjust heap size and stack size of JVM of GitHub workflow Scala CI #1306: Pull request #201 synchronize by chengluyu
December 30, 2023 20:28 2m 47s github-workflow-memory-size
github-workflow-memory-size
December 30, 2023 20:28 2m 47s
Adjust heap size and stack size of JVM of GitHub workflow Scala CI #1305: Pull request #201 opened by chengluyu
December 30, 2023 20:18 2m 41s github-workflow-memory-size
github-workflow-memory-size
December 30, 2023 20:18 2m 41s
Remove inspection function for syntax tree nodes Scala CI #1304: Pull request #200 synchronize by chengluyu
December 30, 2023 19:46 4m 5s chengluyu:utils-inspect
chengluyu:utils-inspect
December 30, 2023 19:46 4m 5s
Remove inspection function for syntax tree nodes Scala CI #1303: Pull request #200 synchronize by chengluyu
December 30, 2023 19:41 3m 50s chengluyu:utils-inspect
chengluyu:utils-inspect
December 30, 2023 19:41 3m 50s
Remove inspection function for syntax tree nodes Scala CI #1302: Pull request #200 synchronize by chengluyu
December 30, 2023 19:32 3m 54s chengluyu:utils-inspect
chengluyu:utils-inspect
December 30, 2023 19:32 3m 54s
Remove inspection function for syntax tree nodes Scala CI #1301: Pull request #200 synchronize by chengluyu
December 30, 2023 19:18 3m 50s chengluyu:utils-inspect
chengluyu:utils-inspect
December 30, 2023 19:18 3m 50s
Add driver subproject Scala CI #1300: Pull request #172 synchronize by NeilKleistGao
December 30, 2023 15:45 6m 0s NeilKleistGao:driver
NeilKleistGao:driver
December 30, 2023 15:45 6m 0s
Remove inspection function for syntax tree nodes Scala CI #1299: Pull request #200 opened by chengluyu
December 30, 2023 10:46 3m 43s chengluyu:utils-inspect
chengluyu:utils-inspect
December 30, 2023 10:46 3m 43s
Support integer literals of different radices and decimal numeric literals Scala CI #1298: Pull request #199 synchronize by chengluyu
December 30, 2023 09:58 4m 4s chengluyu:lexer/numeric-literals
chengluyu:lexer/numeric-literals
December 30, 2023 09:58 4m 4s
Support integer literals of different radices and decimal numeric literals Scala CI #1297: Pull request #199 opened by chengluyu
December 30, 2023 09:54 4m 13s chengluyu:lexer/numeric-literals
chengluyu:lexer/numeric-literals
December 30, 2023 09:54 4m 13s
Fix code generation for local functions declared by let rec Scala CI #1296: Pull request #198 opened by chengluyu
December 30, 2023 07:24 3m 56s chengluyu:codegen/let-rec
chengluyu:codegen/let-rec
December 30, 2023 07:24 3m 56s
Fix name duplication in code generation for new definition typing Scala CI #1295: Pull request #197 opened by chengluyu
December 30, 2023 07:05 3m 44s chengluyu:codegen/wasted-runtime-names
chengluyu:codegen/wasted-runtime-names
December 30, 2023 07:05 3m 44s
New UCS desugarer and rudimentary PreTyper Scala CI #1294: Pull request #194 synchronize by chengluyu
December 29, 2023 21:12 4m 10s chengluyu:pretyper
chengluyu:pretyper
December 29, 2023 21:12 4m 10s
New UCS desugarer and rudimentary PreTyper Scala CI #1293: Pull request #194 synchronize by chengluyu
December 29, 2023 18:53 4m 7s chengluyu:pretyper
chengluyu:pretyper
December 29, 2023 18:53 4m 7s
New UCS desugarer and rudimentary PreTyper Scala CI #1292: Pull request #194 synchronize by chengluyu
December 29, 2023 13:17 4m 15s chengluyu:pretyper
chengluyu:pretyper
December 29, 2023 13:17 4m 15s
New UCS desugarer and rudimentary PreTyper Scala CI #1291: Pull request #194 synchronize by chengluyu
December 29, 2023 08:15 4m 16s chengluyu:pretyper
chengluyu:pretyper
December 29, 2023 08:15 4m 16s
Add driver subproject Scala CI #1290: Pull request #172 synchronize by NeilKleistGao
December 29, 2023 02:47 6m 1s NeilKleistGao:driver
NeilKleistGao:driver
December 29, 2023 02:47 6m 1s
New UCS desugarer and rudimentary PreTyper Scala CI #1289: Pull request #194 synchronize by chengluyu
December 28, 2023 20:44 4m 0s chengluyu:pretyper
chengluyu:pretyper
December 28, 2023 20:44 4m 0s
Support for GADTs Scala CI #1288: Pull request #195 synchronize by Meowcolm024
December 27, 2023 13:10 4m 1s Meowcolm024:local-gadt
Meowcolm024:local-gadt
December 27, 2023 13:10 4m 1s
New UCS desugarer and rudimentary PreTyper Scala CI #1287: Pull request #194 synchronize by chengluyu
December 27, 2023 10:24 4m 13s chengluyu:pretyper
chengluyu:pretyper
December 27, 2023 10:24 4m 13s
Support for GADTs Scala CI #1286: Pull request #195 synchronize by Meowcolm024
December 27, 2023 09:44 3m 55s Meowcolm024:local-gadt
Meowcolm024:local-gadt
December 27, 2023 09:44 3m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-12-27 or the other filters available.