Skip to content

Actions: odersky/dotty

Actions

Dotty

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add propositions raised in the Friday meeting. Dotty #3: Commit 91d7724 pushed by odersky
November 10, 2023 15:56 1d 0h 59m 43s boxed-alt
boxed-alt
November 10, 2023 15:56 1d 0h 59m 43s
Return to sealed. Dotty #2: Commit b4ab9fc pushed by odersky
November 10, 2023 13:55 1d 3h 0m 15s boxed-alt
boxed-alt
November 10, 2023 13:55 1d 3h 0m 15s