Skip to content

Conversation

dimitribouniol
Copy link
Collaborator

Renamed Main workflow (which was incorrectly also named "Pull Requests"), and removed docker files as they are no longer needed for CI.

@dimitribouniol dimitribouniol self-assigned this Sep 23, 2024
@dimitribouniol dimitribouniol merged commit 78d0c32 into main Sep 23, 2024
13 checks passed
@dimitribouniol dimitribouniol deleted the dimitri/ci-cleanup branch September 23, 2024 09:39
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