Skip to content

remove publishing to s3#675

Merged
edavidaja merged 2 commits into
mainfrom
remove-s3-publishing
Jul 9, 2025
Merged

remove publishing to s3#675
edavidaja merged 2 commits into
mainfrom
remove-s3-publishing

Conversation

@edavidaja

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions

github-actions Bot commented May 30, 2025

Copy link
Copy Markdown
PR Preview Action v1.6.2
Preview removed because the pull request was closed.
2025-07-09 14:16 UTC

Base automatically changed from oidc-trusted-publisher to main June 3, 2025 17:05
@edavidaja edavidaja requested a review from a team June 3, 2025 17:05
Comment thread Makefile
@tdstein

tdstein commented Jun 4, 2025

Copy link
Copy Markdown
Collaborator

@edavidaja - what's the background for this change?

@edavidaja

Copy link
Copy Markdown
Collaborator Author

I asked internally and don't think we use it anywhere--in any context where we want dev builds we install them directly from GitHub.

@edavidaja edavidaja force-pushed the remove-s3-publishing branch from ea301fa to 5fe2bdf Compare June 4, 2025 17:15
@github-actions

github-actions Bot commented Jun 4, 2025

Copy link
Copy Markdown

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines Covered Coverage Threshold Status
5143 3993 78% 0% 🟢

New Files

No new covered files...

Modified Files

No covered modified files...

updated for commit: c7eaf37 by action🐍

@edavidaja edavidaja requested a review from tdstein June 11, 2025 13:27
@edavidaja edavidaja force-pushed the remove-s3-publishing branch from 5fe2bdf to 5bb8af7 Compare June 23, 2025 14:06
@edavidaja edavidaja requested a review from a team June 23, 2025 14:07
Comment thread Makefile
@edavidaja edavidaja force-pushed the remove-s3-publishing branch from 5bb8af7 to c7eaf37 Compare July 9, 2025 14:02
@edavidaja edavidaja merged commit dd595a9 into main Jul 9, 2025
15 checks passed
@edavidaja edavidaja deleted the remove-s3-publishing branch July 9, 2025 14:15
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