Skip to content

Conversation

@baggepinnen
Copy link
Member

The secret is already in place, so I think this should be enough

@franckgaga
Copy link
Member

Ok I wil try to merge it but it seems that the key is wrong or something else. Here, in red:
image

@franckgaga franckgaga merged commit 4dae85d into main Sep 19, 2024
4 checks passed
@baggepinnen baggepinnen deleted the baggepinnen-patch-1 branch September 19, 2024 13:05
@baggepinnen
Copy link
Member Author

I updated the token just in case it had expired or something, I'll retrigger the workflow to see if it worked

@franckgaga
Copy link
Member

Yes it works now, good job!

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