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.

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

Post 1.3.0 release updates to main #1145

Closed
wants to merge 4 commits into from

Conversation

edgelessci
Copy link
Contributor

Updating main as part of the 1.3.0 release.
Only merge after the release is published.

@edgelessci edgelessci added the no changelog PRs not listed in the release notes label Jan 13, 2025
Copy link

github-actions bot commented Jan 13, 2025

PR Preview Action v1.4.8
Preview removed because the pull request was closed.
2025-01-17 08:59 UTC

@katexochen katexochen force-pushed the automated/update-main-after-tmp/v1.3.0 branch from c20920c to 7e94408 Compare January 13, 2025 14:32
@katexochen
Copy link
Member

Manually deleted the GPU artifacts which won't be part of this release.

@edgelessci edgelessci force-pushed the automated/update-main-after-tmp/v1.3.0 branch 6 times, most recently from beb8aad to 62fdccc Compare January 16, 2025 14:24
@edgelessci edgelessci force-pushed the automated/update-main-after-tmp/v1.3.0 branch from 62fdccc to 74dcf69 Compare January 16, 2025 15:23
@katexochen katexochen closed this Jan 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog PRs not listed in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants