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

fix: adding identus CI #183

Merged
merged 1 commit into from
Jul 10, 2024
Merged

fix: adding identus CI #183

merged 1 commit into from
Jul 10, 2024

Conversation

elribonazo
Copy link
Contributor

Description:

Fix CI by swapping to use the right env variables with permission to push changes.

Checklist:

  • My PR follows the contribution guidelines of this project
  • My PR is free of third-party dependencies that don't comply with the Allowlist
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked the PR title to follow the conventional commit specification

Signed-off-by: Javier Ribó <[email protected]>
Copy link

Code Coverage

Total Project Coverage 88.94%

@elribonazo elribonazo merged commit 62beb3b into main Jul 10, 2024
4 checks passed
@elribonazo elribonazo deleted the fix/recover_tag branch July 10, 2024 12:01
yshyn-iohk pushed a commit that referenced this pull request Jul 10, 2024
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