Skip to content

Actions: Kotlin/kotlin-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KT-57523 ([[x]](y) notation is abused in kotlin-spec): Resolution of original problems Build Kotlin spec on PRs (Docker version) #18: Pull request #133 opened by MarkTheHopeful
December 2, 2024 10:04 6m 16s MarkTheHopeful:kotlin-1.9/KT-57523
MarkTheHopeful:kotlin-1.9/KT-57523
December 2, 2024 10:04 6m 16s
KT-58965 (Consider moving content of subsection 4.1.1.1 to chapter 5): Possible resolution Build Kotlin spec on PRs (Docker version) #17: Pull request #132 synchronize by MarkTheHopeful
November 26, 2024 09:23 7m 22s MarkTheHopeful:kotlin-1.9/KT-58965
MarkTheHopeful:kotlin-1.9/KT-58965
November 26, 2024 09:23 7m 22s
KT-58965 (Consider moving content of subsection 4.1.1.1 to chapter 5): Possible resolution Build Kotlin spec on PRs (Docker version) #16: Pull request #132 synchronize by MarkTheHopeful
October 15, 2024 18:10 4m 14s MarkTheHopeful:kotlin-1.9/KT-58965
MarkTheHopeful:kotlin-1.9/KT-58965
October 15, 2024 18:10 4m 14s
pages build and deployment pages-build-deployment #49: by erokhins
September 27, 2024 17:58 1m 36s gh-pages
gh-pages
September 27, 2024 17:58 1m 36s
pages build and deployment pages-build-deployment #48: by erokhins
September 27, 2024 09:44 57s gh-pages
gh-pages
September 27, 2024 09:44 57s
pages build and deployment pages-build-deployment #47: by erokhins
September 19, 2024 18:33 58s gh-pages
gh-pages
September 19, 2024 18:33 58s
pages build and deployment pages-build-deployment #46: by erokhins
September 18, 2024 12:43 58s gh-pages
gh-pages
September 18, 2024 12:43 58s
pages build and deployment pages-build-deployment #45: by erokhins
September 17, 2024 17:25 1m 6s gh-pages
gh-pages
September 17, 2024 17:25 1m 6s
pages build and deployment pages-build-deployment #44: by erokhins
September 17, 2024 16:53 56s gh-pages
gh-pages
September 17, 2024 16:53 56s
pages build and deployment pages-build-deployment #43: by erokhins
September 6, 2024 14:23 1m 6s gh-pages
gh-pages
September 6, 2024 14:23 1m 6s
Drop redundant Widen operator from RHS of subtyping rule Build Kotlin spec on PRs (Docker version) #13: Pull request #130 opened by nikitabobko
August 2, 2024 12:56 6m 26s bobko/fix-widen-operator
bobko/fix-widen-operator
August 2, 2024 12:56 6m 26s
Fix typo Build Kotlin spec on PRs (Docker version) #12: Pull request #129 opened by nikitabobko
July 29, 2024 16:21 7m 14s bobko/fix-typo
bobko/fix-typo
July 29, 2024 16:21 7m 14s
Update library versions + move to Kotlin Multiplatform Build Kotlin spec on PRs (Docker version) #11: Pull request #122 synchronize by serras
May 2, 2024 08:41 5m 47s serras:serrano-update-versions
serras:serrano-update-versions
May 2, 2024 08:41 5m 47s
pages build and deployment pages-build-deployment #42: by erokhins
April 5, 2024 13:01 1m 8s gh-pages
gh-pages
April 5, 2024 13:01 1m 8s
removed parser directory to comply to the java package definition #126 Build Kotlin spec on PRs (Docker version) #10: Pull request #127 opened by simonegiacomelli
April 3, 2024 15:09 7m 35s simonegiacomelli:release
simonegiacomelli:release
April 3, 2024 15:09 7m 35s
pages build and deployment pages-build-deployment #41: by erokhins
February 7, 2024 16:53 1m 14s gh-pages
gh-pages
February 7, 2024 16:53 1m 14s
Update library versions + move to Kotlin Multiplatform Build Kotlin spec on PRs (Docker version) #9: Pull request #122 synchronize by serras
September 22, 2023 09:49 7m 24s serras:serrano-update-versions
serras:serrano-update-versions
September 22, 2023 09:49 7m 24s
Update library versions + move to Kotlin Multiplatform Build Kotlin spec on PRs (Docker version) #8: Pull request #122 synchronize by serras
September 22, 2023 09:38 7m 25s serras:serrano-update-versions
serras:serrano-update-versions
September 22, 2023 09:38 7m 25s
Clarification over constructors of enum entries Build Kotlin spec on PRs (Docker version) #7: Pull request #123 opened by serras
September 22, 2023 08:51 11m 6s serras:serrano-enum-constructor
serras:serrano-enum-constructor
September 22, 2023 08:51 11m 6s
Clarification over the types of enum entries Build Kotlin spec on PRs (Docker version) #6: Pull request #121 synchronize by serras
September 20, 2023 15:31 9m 52s serras:serrano-enum-entries
serras:serrano-enum-entries
September 20, 2023 15:31 9m 52s
Update library versions + move to Kotlin Multiplatform Build Kotlin spec on PRs (Docker version) #5: Pull request #122 opened by serras
September 20, 2023 15:19 2m 41s serras:serrano-update-versions
serras:serrano-update-versions
September 20, 2023 15:19 2m 41s