Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: remove old kotlin and map it to the new runtime #2381

Merged
merged 1 commit into from
Aug 15, 2024
Merged

feat: remove old kotlin and map it to the new runtime #2381

merged 1 commit into from
Aug 15, 2024

Conversation

stuartwdouglas
Copy link
Collaborator

No description provided.

@stuartwdouglas stuartwdouglas requested review from a team and gak and removed request for a team August 15, 2024 07:52
@ftl-robot ftl-robot mentioned this pull request Aug 15, 2024
Open
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/remote-old-kotlin branch from bfd3911 to 735f0ac Compare August 15, 2024 08:13
@stuartwdouglas stuartwdouglas added the run-all A PR with this label will run the full set of CI jobs in the PR rather than in the merge queue label Aug 15, 2024
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/remote-old-kotlin branch from 735f0ac to d61df39 Compare August 15, 2024 08:40
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/remote-old-kotlin branch from d61df39 to 27fb43d Compare August 15, 2024 10:44
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/remote-old-kotlin branch from 27fb43d to 65975e9 Compare August 15, 2024 10:58
@stuartwdouglas stuartwdouglas added this pull request to the merge queue Aug 15, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 15, 2024
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/remote-old-kotlin branch from 65975e9 to 65314c2 Compare August 15, 2024 19:42
@stuartwdouglas stuartwdouglas added this pull request to the merge queue Aug 15, 2024
Merged via the queue into main with commit b8d399c Aug 15, 2024
70 checks passed
@stuartwdouglas stuartwdouglas deleted the stuartwdouglas/remote-old-kotlin branch August 15, 2024 19:55
safeer pushed a commit that referenced this pull request Aug 19, 2024
@stuartwdouglas @safeer
feat: remove old kotlin and map it to the new runtime (#2381)
3f63da0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@alecthomas alecthomas alecthomas approved these changes

@gak gak Awaiting requested review from gak

Assignees
No one assigned
Labels
run-all A PR with this label will run the full set of CI jobs in the PR rather than in the merge queue
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@stuartwdouglas @alecthomas