Regenerate hacl tokens

hacl-bot · Dec 6, 2024 · 8a5e1d4 · 8a5e1d4
1 parent 2374538
commit 8a5e1d4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/secrets/github-runner-hacl-1-ci-token.age b/secrets/github-runner-hacl-1-ci-token.age
diff --git a/secrets/github-runner-hacl-2-ci-token.age b/secrets/github-runner-hacl-2-ci-token.age