Skip to content

Commit

Permalink
Remove CircleCI pipeline
Browse files Browse the repository at this point in the history
The CircleCI pipeline is no longer needed because we're currently
generating the docker images using Github Actions.
  • Loading branch information
jordi committed May 31, 2024
1 parent dd01707 commit 0f53b60
Showing 1 changed file with 0 additions and 44 deletions.
44 changes: 0 additions & 44 deletions .circleci/config.yml

This file was deleted.

0 comments on commit 0f53b60

Please sign in to comment.