Skip to content

Actions: odersky/dotty

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
6 workflow runs
6 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

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
Add propositions raised in the Friday meeting. scaladoc #3: Commit 91d7724 pushed by odersky
November 10, 2023 15:56 2s boxed-alt
boxed-alt
November 10, 2023 15:56 2s
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. 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
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
Return to sealed. scaladoc #2: Commit b4ab9fc pushed by odersky
November 10, 2023 13:55 4s boxed-alt
boxed-alt
November 10, 2023 13:55 4s