Skip to content

Actions: johnynek/bosatsu

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
781 workflow runs
781 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Existential types support ci #2056: Pull request #1066 synchronize by johnynek
November 23, 2023 17:32 7m 38s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 23, 2023 17:32 7m 38s
add a negative test ci #2055: Commit 8bcc02d pushed by johnynek
November 23, 2023 17:32 7m 41s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 23, 2023 17:32 7m 41s
Existential types support ci #2054: Pull request #1066 synchronize by johnynek
November 23, 2023 00:01 7m 46s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 23, 2023 00:01 7m 46s
add a test suggested by snoble ci #2053: Commit 3fab526 pushed by johnynek
November 23, 2023 00:01 7m 21s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 23, 2023 00:01 7m 21s
Existential types support ci #2052: Pull request #1066 synchronize by johnynek
November 22, 2023 02:05 7m 45s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 22, 2023 02:05 7m 45s
address some things noticed in review ci #2051: Commit b28b023 pushed by johnynek
November 22, 2023 02:05 10m 46s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 22, 2023 02:05 10m 46s
Existential types support ci #2050: Pull request #1066 synchronize by johnynek
November 21, 2023 21:36 6m 10s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 21:36 6m 10s
simplify and remove some debug ci #2049: Commit 30c99c3 pushed by johnynek
November 21, 2023 21:36 7m 55s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 21:36 7m 55s
Existential types support ci #2048: Pull request #1066 synchronize by johnynek
November 21, 2023 19:51 7m 41s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 19:51 7m 41s
add more Type tests ci #2047: Commit 284098f pushed by johnynek
November 21, 2023 19:51 7m 28s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 19:51 7m 28s
Update sbt-assembly to 2.1.5 ci #2046: Pull request #1072 opened by scala-steward
November 21, 2023 16:59 3m 23s scala-steward:update/sbt-assembly-2.1.5
scala-steward:update/sbt-assembly-2.1.5
November 21, 2023 16:59 3m 23s
Existential types support ci #2045: Pull request #1066 synchronize by johnynek
November 21, 2023 02:32 11m 10s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 02:32 11m 10s
new idea for existentials + branches, seems to work ci #2044: Commit 7b45341 pushed by johnynek
November 21, 2023 02:32 8m 35s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 21, 2023 02:32 8m 35s
Existential types support ci #2043: Pull request #1066 synchronize by johnynek
November 20, 2023 19:29 30m 24s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 20, 2023 19:29 30m 24s
add test using existentials in pattern matching ci #2042: Commit d909317 pushed by johnynek
November 20, 2023 19:29 7m 48s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 20, 2023 19:29 7m 48s
Existential types support ci #2041: Pull request #1066 synchronize by johnynek
November 20, 2023 00:42 7m 39s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 20, 2023 00:42 7m 39s
fix some tests ci #2040: Commit 5e0c63b pushed by johnynek
November 20, 2023 00:42 7m 31s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 20, 2023 00:42 7m 31s
Existential types support ci #2039: Pull request #1066 synchronize by johnynek
November 19, 2023 19:59 8m 4s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 19, 2023 19:59 8m 4s
get tests passing ci #2038: Commit 469fcf9 pushed by johnynek
November 19, 2023 19:59 8m 3s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 19, 2023 19:59 8m 3s
Update scalafmt-core to 3.7.17 ci #2037: Pull request #1071 opened by scala-steward
November 17, 2023 19:36 6m 20s scala-steward:update/scalafmt-core-3.7.17
scala-steward:update/scalafmt-core-3.7.17
November 17, 2023 19:36 6m 20s
Existential types support ci #2036: Pull request #1066 synchronize by johnynek
November 13, 2023 04:28 12m 50s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 13, 2023 04:28 12m 50s
get simplest possible existential case infering ci #2035: Commit a91a74a pushed by johnynek
November 13, 2023 04:28 6m 41s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 13, 2023 04:28 6m 41s
Existential types support ci #2034: Pull request #1066 synchronize by johnynek
November 12, 2023 21:23 10m 21s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 12, 2023 21:23 10m 21s
refactor TypedExpr.Generic using Type.Quantification ci #2033: Commit 9c7ddec pushed by johnynek
November 12, 2023 21:23 8m 23s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 12, 2023 21:23 8m 23s
Existential types support ci #2032: Pull request #1066 synchronize by johnynek
November 11, 2023 21:13 11m 26s oscar/20231026_existential_quant
oscar/20231026_existential_quant
November 11, 2023 21:13 11m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-11-11 or the other filters available.