Add github runner for eurydice

doc/src/registration.md

@@ -16,7 +16,7 @@ runner and copy the token that's given somewhere in the script.
 Go to `./secrets` and edit the token:
 
 ```bash
-nix run github:ryantm/agenix -- -e ./github-runner-hacl-ci-token.age
+nix run github:ryantm/agenix -- -e github-runner-hacl-ci-token.age
 ```
 
 Then deploy the new configuration by running `./switch.sh`.

github-runners.nix

@@ -1,8 +1,7 @@
-{
-  config,
-  lib,
-  pkgs,
-  ...
+{ config
+, lib
+, pkgs
+, ...
 }:
 let
   cleanup = pkgs.writeShellScript "cleanup.sh" "rm -rf $GITHUB_WORKSPACE/*";
@@ -41,6 +40,7 @@ in
     (aux "starmalloc" "https://github.com/inria-prosecco/starmalloc")
     (aux "charon" "https://github.com/aeneasverif/charon")
     (aux "aeneas" "https://github.com/aeneasverif/aeneas")
+    (aux "eurydice" "https://github.com/aeneasverif/eurydice")
     (aux "mls-star" "https://github.com/inria-prosecco/mls-star")
     (aux "comparse" "https://github.com/twal/comparse")
     (aux "dolev-yao-star" "https://github.com/reprosec/dolev-yao-star-extrinsic")

secrets/github-runner-eurydice-ci-token.age

@@ -0,0 +1,39 @@
+age-encryption.org/v1
+-> ssh-ed25519 nUWlMA EtnbbbmZ0wgy8mfdd3ja+o4gg6m0EXHf3gdCtxxSPgM
+5XPnuTtnP/1A7AHNBBbkpcdx6HoCaHS15NnsZnSsVlU
+-> ssh-ed25519 ZfZSkg LXHLQIM2NCdVy8sTOUtQbnsaOgQgxcfqeZWNheJU/Rk
+C/lM3ujeMaqo+fp8SlU7sYvWj1ZyHOe4Uh6wtwbJSVk
+-> ssh-ed25519 rRdSWw XBi5eqm8kiFikoCyPt5/RC85kmhhQa/ggPNXHodo7jU
+Pm3Nk6Mkfe9Cp8t/5cbENgFZyUpzz1KGCWDb7GwDBuE
+-> ssh-ed25519 zOM4Qw YR/SpS3jPWQMt3tBezjIH8gh2l2LzBr9sYzNBNDaqj4
+XcZ2u7VS44j9VdDuRGweIuwutgpM+VlNWtNWFIQvKOo
+-> ssh-ed25519 WFz8SQ L5/9iQiHIop0gIVdR3OX25asCTYtqqqogRCW2JCRsmo
+OP+epx2a1ciSXFBgONmzS3JU1x8i+6MyukaJUGiwaco
+-> ssh-rsa 8NHeww
+D5LZPZwSYw/PZOb2lgUjRZqQLuBrIz/8067jtG0zvAc6ZKvpaJJxPOzF6ulpstK4
+pkeM07oJQGfNW87VTPcyfY6wY+L7hKDe8guYSyy9HVnZlDf0hn9UJ9RAR8bGnqhx
+m+o4DCuF5LoqGkj/OGKy5+LstYEumSVAn+RmDgWMHih+zrY3eBYIaZpZueMl9gr9
+If+ypNBY+xKxUZnC/NoLpH9KHUngPnISf0re07yAIzMvbReBzUr97bJcOlTwt4Za
+1Qn/UmlyXrfdjMOJO/hmBwFtvyuTF5aa1+NBocoZQEuZVt/P7Z/XieZ2JGoTkFx9
+Aj9hOLqvs51XMCcgukQEMg
+-> ssh-rsa 7NAQAQ
+jO1TANlNP1WEld5tt28ylx34HChH3RjIe/GDDq3TIxYuGUh4Y3JoYn9dsccImt9w
+v1GHQsliUADLSSQG9y7pMb2MSms+SADpNcrR3anWLxEEmQKwu2VLKpMhgwy6BwE5
+VwZXQyqW4CuclwmvqmvUt+asGinwrzkNtthhsJpSIKZ9oBf/bV9LStMPp58znj5i
+vrW78tVloprGruJGRt8VxfV8RkWmE39VLSMMHBxokQcmUnsDLVkbGdPk4r7awzFL
+g4z5xJlpvABTgxD8OkzM9RJgC6fU3/sxgq9DVtSDvxtkqC7QC3i8bpVmWV9Fn51O
+MbmEd/jKWhU3p0Rvlraz5A
+-> ssh-rsa AgX6iw
+lSfsmhkIAwV8ef4vpl44qRN+MKs6cqUb+ETasjauBeu1IbhZ2BoIGFQ/7c7Ke6iw
+UgFw3EM+W7lKXIOzjxn+JZr7EBhjlaQVfK+P3IgP+hi2139U0np4MxgJEDHaHiXk
+RQ7JbZoGAeC1VMlxDEMMeXonC2zzEZdaF9Lp9+dhk1t0Mj43RLC9UENOmXeEeVCj
+OnRMhTwZ53FB8AecQeVbw5i+IX0ZqCz/j1awSgKikovL7ftNxDQnJJd6BcDuo6M5
+44Ts6ipV9h7nqfggoyts/2sAEut0wvvned09Jfj9+/p/wOl+TzuFQsowLmPZrsab
+hXP/10RdSZDy3Dit5xi0aqPJ9s6g+g/SyjCEG6ylqRh5mffu+8lMbBIZZH0cvkON
+zXswwRbJpdP72UovdImNydU0JDN67Emg52AtFUj1dz63qd15A0fkJwL/opPmPvUy
+mJ9GSWbyZDIbAIe+LOa+jqezp5/rOvs00lE59Q6gx5vPKtELUGlQst0wRn+Ieeoj
+
+-> ssh-ed25519 FFRJLQ Rd3qy9L6RjCZyq4hSEaV6lb1/2uYMsiyobJHwEUXnUQ
+34xjgRSn0NAzKg8NzK1t3oCLM/G6682hSUhm2cSqG/I
+--- NCC0dW6Erl+XYnuGOSm8EwVY91Q2fQexFecH3FUIovI
+�i�$CghdP�l�e%����dc,n��d1�����W�9%�sS�p �Qn_)�i�

secrets/secrets.nix

@@ -9,6 +9,7 @@ in
   "github-runner-starmalloc-ci-token.age".publicKeys = keys;
   "github-runner-charon-ci-token.age".publicKeys = keys;
   "github-runner-aeneas-ci-token.age".publicKeys = keys;
+  "github-runner-eurydice-ci-token.age".publicKeys = keys;
   "github-runner-mls-star-ci-token.age".publicKeys = keys;
   "github-runner-comparse-ci-token.age".publicKeys = keys;
   "github-runner-dolev-yao-star-ci-token.age".publicKeys = keys;