Skip to content

Resolve PR number for Codecov workflow_run#64

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
kamalsaleh:master
Apr 23, 2026
Merged

Resolve PR number for Codecov workflow_run#64
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
kamalsaleh:master

Conversation

@kamalsaleh
Copy link
Copy Markdown
Member

  • Resolve PR number via gh for workflow_run on pull_request and expose as output.
  • Use resolved PR for CODECOV_PR; keep behavior for non-PR runs.
  • Remove redundant comment in Tests workflow.

Bump version of FinGSetsForCAP to v2026.04-07

- Resolve PR number via gh for workflow_run on pull_request and expose as output.
- Use resolved PR for CODECOV_PR; keep behavior for non-PR runs.
- Remove redundant comment in Tests workflow.

Bump version of FinGSetsForCAP to v2026.04-07
@mohamed-barakat mohamed-barakat merged commit 12471ce into homalg-project:master Apr 23, 2026
4 checks passed
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.

2 participants