Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ci: lint actions and check if pinned by hash [on hold] #1055

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

ci: lint actions and check if pinned by hash [on hold] #1055

wants to merge 2 commits into from

Conversation

aquint-zama
Copy link
Contributor

No description provided.

@cla-bot cla-bot bot added the cla-signed label Sep 19, 2024
@bcm-at-zama bcm-at-zama mentioned this pull request Sep 24, 2024
Draft
@bcm-at-zama bcm-at-zama force-pushed the chore/ci-lint branch 4 times, most recently from fa368b3 to b31e236 Compare September 24, 2024 16:42
@bcm-at-zama
Copy link
Contributor

This PR is too much of a nightmare, they are ~120 errors, it's not obvious to know what was intended (is it a miracle it works?), not sure how to fix that. I'll discuss it with the team.

@bcm-at-zama bcm-at-zama changed the title ci: lint actions and check if pinned by hash ci: lint actions and check if pinned by hash [on hold] Sep 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
cla-signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aquint-zama @bcm-at-zama