Skip to content

Rust 1.73 (staging)#103

Merged
gctucker merged 2 commits into
kernelci:mainfrom
ojeda:rust-1.73
Oct 16, 2023
Merged

Rust 1.73 (staging)#103
gctucker merged 2 commits into
kernelci:mainfrom
ojeda:rust-1.73

Conversation

@ojeda

@ojeda ojeda commented Oct 15, 2023

Copy link
Copy Markdown
Contributor

(Following the instructions at kernelci/kernelci-core#2124 (comment))

Could a sysadmin please create the kernelci/staging-rustc-1.73 and kernelci/rustc-1.73 repositories on Docker hub?

ojeda added 2 commits October 16, 2023 00:58
Update the kernelci-core staging patch series to use the `rustc` 1.73
toolchain.

Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
Build the `rustc-1.73` Docker image on staging as the version is being
upgraded from 1.72.

Signed-off-by: Miguel Ojeda <ojeda@kernel.org>
@ojeda ojeda changed the title Rust 1.73 Rust 1.73 (staging) Oct 15, 2023
This was referenced Oct 15, 2023
@gctucker

Copy link
Copy Markdown
Contributor

Could a sysadmin please create the kernelci/staging-rustc-1.73 and kernelci/rustc-1.73 repositories on Docker hub?

@nuclearcat ^ Could you please take care of this? (and also make sure the permissions for automation are set correctly)

@nuclearcat

nuclearcat commented Oct 16, 2023

Copy link
Copy Markdown
Member

Could a sysadmin please create the kernelci/staging-rustc-1.73 and kernelci/rustc-1.73 repositories on Docker hub?

I dont have access to do that. Docker accounts to create repositories are with you and @mgalka as i recall.

@gctucker

Copy link
Copy Markdown
Contributor

Ah yes: https://kernelci.org/docs/org/maintainers/#docker-hub

Alright I'll do it this time. The procedure will need to be tweaked to say "ask a Docker Hub admin" rather than any sysadmin.

@gctucker

Copy link
Copy Markdown
Contributor

OK the Docker Hub repositories have been created. The next staging run at 16:00 UTC should pick up the change to build the new Docker image and push it there, in principle.

@gctucker
gctucker merged commit c3610f0 into kernelci:main Oct 16, 2023
@ojeda
ojeda deleted the rust-1.73 branch October 16, 2023 13:07
@ojeda

ojeda commented Oct 16, 2023

Copy link
Copy Markdown
Contributor Author

Thanks @gctucker!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants