Skip to content

[tool] chore(ci): migrate from CircleCI to GitHub Actions#97

Open
guillaumejparis wants to merge 1 commit intomainfrom
pass_ci_gh_actions
Open

[tool] chore(ci): migrate from CircleCI to GitHub Actions#97
guillaumejparis wants to merge 1 commit intomainfrom
pass_ci_gh_actions

Conversation

@guillaumejparis
Copy link
Member

Proposed changes

Testing Instructions

  1. Step-by-step how to test
  2. Environment or config notes

Related issues

  • Closes #ISSUE-NUMBER

Checklist

  • I consider the submitted work as finished
  • I tested the code for its functionality
  • I wrote test cases for the relevant uses case
  • I added/update the relevant documentation (either on github or on notion)
  • Where necessary I refactored code to improve the overall quality
  • For bug fix -> I implemented a test that covers the bug

Further comments

@filigran-cla-bot
Copy link

Contributor License Agreement

All good! The CLA is already in place for @guillaumejparis — nothing to do here.

This pull request is ready to be reviewed and merged from a CLA perspective.

This is an automated message from the Filigran CLA Bot. If you have questions, please contact the maintainers.

@filigran-cla-bot filigran-cla-bot bot added the cla:exempt CLA not required (Filigran employee) label Feb 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla:exempt CLA not required (Filigran employee)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant