Skip to content

Fixes GitHub workflow problems#770

Merged
kaczmarczyck merged 1 commit into
google:developfrom
kaczmarczyck:bloat-workflow
Apr 28, 2026
Merged

Fixes GitHub workflow problems#770
kaczmarczyck merged 1 commit into
google:developfrom
kaczmarczyck:bloat-workflow

Conversation

@kaczmarczyck
Copy link
Copy Markdown
Collaborator

@kaczmarczyck kaczmarczyck commented Apr 28, 2026

  • The bloat workflow now uses the Wasefire mechanism.
  • The CI workflow has a recognizable name.
  • OSS-Fuzz in the CIFuzz workflow failed because it misses uv. The setup script now installs it.

@kaczmarczyck kaczmarczyck requested a review from ia0 April 28, 2026 13:37
@kaczmarczyck kaczmarczyck self-assigned this Apr 28, 2026
@coveralls
Copy link
Copy Markdown

coveralls commented Apr 28, 2026 •
edited
Loading

Coverage Status

coverage: 97.218%. remained the same — kaczmarczyck:bloat-workflow into google:develop

@kaczmarczyck
Fixes GitHub workflow problems
008f586 
- The bloat workflow now uses the Wasefire mechanism.
- The CI workflow has a recognizable name.
- OSS-Fuzz in the CIFuzz workflow failed because it misses uv.
  The setup script now installs it.
ia0
ia0 reviewed Apr 28, 2026
View reviewed changes
Comment thread .github/workflows/bloat_formatter.sh
@kaczmarczyck kaczmarczyck merged commit 893780c into google:develop Apr 28, 2026
7 checks passed
@kaczmarczyck kaczmarczyck deleted the bloat-workflow branch April 28, 2026 16:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ia0 ia0 ia0 approved these changes

Assignees

@kaczmarczyck kaczmarczyck

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@kaczmarczyck @coveralls @ia0