Skip to content

upd github actions#714

Merged
aserto-bot merged 2 commits intomainfrom
chore/upd-gh-actions
Mar 31, 2026
Merged

upd github actions#714
aserto-bot merged 2 commits intomainfrom
chore/upd-gh-actions

Conversation

@gertd
Copy link
Copy Markdown
Member

@gertd gertd commented Mar 31, 2026

No description provided.

aserto-bot
aserto-bot previously approved these changes Mar 31, 2026
@coveralls
Copy link
Copy Markdown

Pull Request Test Coverage Report for Build 23814609007

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 7.428%

Totals Coverage Status
Change from base Build 23810892236: 0.0%
Covered Lines: 732
Relevant Lines: 9855

💛 - Coveralls

@aserto-bot aserto-bot merged commit 7dbd60b into main Mar 31, 2026
6 checks passed
@aserto-bot aserto-bot deleted the chore/upd-gh-actions branch March 31, 2026 19:29
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