Skip to content

Actions: odersky/dotty

Actions

Specification

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. Specification #2: Commit 91d7724 pushed by odersky
November 10, 2023 15:56 1m 19s boxed-alt
boxed-alt
November 10, 2023 15:56 1m 19s
Return to sealed. Specification #1: Commit b4ab9fc pushed by odersky
November 10, 2023 13:55 1m 25s boxed-alt
boxed-alt
November 10, 2023 13:55 1m 25s