Skip to content

remove change-id from CI script#132130

Merged
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:remove-ci-change-id
Oct 25, 2024
Merged

remove `change-id` from CI script#132130
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:remove-ci-change-id

Commits

Commits on Oct 25, 2024