Skip to content

Fix actions#265

Merged
filipeom merged 1 commit intoformalsec:mainfrom
filipeom:fix-actions
Dec 26, 2024
Merged

Fix actions#265
filipeom merged 1 commit intoformalsec:mainfrom
filipeom:fix-actions

Conversation

@filipeom
Copy link
Member

No description provided.

@filipeom filipeom enabled auto-merge (rebase) December 26, 2024 23:41
@filipeom filipeom merged commit 2d1cf7d into formalsec:main Dec 26, 2024
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant