Skip to content

Actions: scala/scala3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow run results
354 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website scaladoc #22965: Pull request #21602 opened by hamzaremmal
16m 34s hamzaremmal:update-dotty.epfl.ch
hamzaremmal:update-dotty.epfl.ch
16m 34s
Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website Specification #5324: Pull request #21602 opened by hamzaremmal
1m 31s hamzaremmal:update-dotty.epfl.ch
hamzaremmal:update-dotty.epfl.ch
1m 31s
Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website Scala CLA #19333: Pull request #21602 opened by hamzaremmal
16s hamzaremmal:update-dotty.epfl.ch
hamzaremmal:update-dotty.epfl.ch
16s
Update workflow to push to scala/dotty.epfl.ch instead of lampepfl/dotty-website Dotty #32477: Pull request #21602 opened by hamzaremmal
1h 17m 10s hamzaremmal:update-dotty.epfl.ch
hamzaremmal:update-dotty.epfl.ch
1h 17m 10s
ProTip! You can narrow down the results and go further in time using created:<2024-09-17 or the other filters available.