Skip to content

Actions: odersky/dotty

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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
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
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
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
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
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
November 10, 2023 13:55 4s