Skip to content

🤖 Update one or more manifest files in the .ci directory#87439

Merged
giordano merged 1 commit intomasterfrom
update_manifests/single_pr/all_manifests
Jul 13, 2023
Merged

🤖 Update one or more manifest files in the .ci directory#87439
giordano merged 1 commit intomasterfrom
update_manifests/single_pr/all_manifests

Conversation

@JuliaTagBot
Copy link
Copy Markdown
Contributor

No description provided.

@JuliaTagBot JuliaTagBot added the CI continuous integration label Jul 13, 2023
@JuliaTagBot JuliaTagBot temporarily deployed to stopwatch July 13, 2023 18:02 — with GitHub Actions Inactive
@giordano giordano merged commit e80177b into master Jul 13, 2023
@giordano giordano deleted the update_manifests/single_pr/all_manifests branch July 13, 2023 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants