Skip to content

Actions: Inria-Prosecco/mls-star

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup: move all TreeSync symbolic state in a separate namespace .github/workflows/nix.yml #124: Commit 245321b pushed by TWal
October 24, 2024 08:13 18s main
main
October 24, 2024 08:13 18s
cleanup: move all TreeSync symbolic state in a separate namespace .github/workflows/nix.yml #123: Commit 245321b pushed by TWal
October 24, 2024 07:57 13m 49s pre-main
pre-main
October 24, 2024 07:57 13m 49s
feat: make labels for signature keys more precise .github/workflows/nix.yml #122: Commit bb5014f pushed by TWal
October 24, 2024 07:46 12m 22s pre-main
pre-main
October 24, 2024 07:46 12m 22s
chore: move bootstrap code in a code directory .github/workflows/nix.yml #121: Commit 1ec846a pushed by TWal
October 23, 2024 13:53 20s main
main
October 23, 2024 13:53 20s
chore: move bootstrap code in a code directory .github/workflows/nix.yml #120: Commit 1ec846a pushed by TWal
October 21, 2024 08:58 23m 9s pre-main
pre-main
October 21, 2024 08:58 23m 9s
cleanup: rework AuthService around credential_to_principal .github/workflows/nix.yml #119: Commit de6499b pushed by TWal
October 17, 2024 12:55 12m 22s pre-main
pre-main
October 17, 2024 12:55 12m 22s
cleanup: rework AuthService around credential_to_principal .github/workflows/nix.yml #118: Commit 3de10dd pushed by TWal
October 17, 2024 08:52 12m 12s pre-main
pre-main
October 17, 2024 08:52 12m 12s
cleanup: move DY* AuthService in a separate file .github/workflows/nix.yml #117: Commit 213640b pushed by TWal
October 17, 2024 08:16 12m 19s pre-main
pre-main
October 17, 2024 08:16 12m 19s
build: use context pruning .github/workflows/nix.yml #116: Commit 7cb8c8a pushed by TWal
October 17, 2024 07:54 13m 6s pre-main
pre-main
October 17, 2024 07:54 13m 6s
Merge branch 'main' into revised_api_please_rebase_before_merging .github/workflows/nix.yml #115: Commit e7b3a42 pushed by TWal
October 16, 2024 16:24 21m 33s revised_api_please_rebase_before_merging
revised_api_please_rebase_before_merging
October 16, 2024 16:24 21m 33s
chore: update DY* .github/workflows/nix.yml #114: Commit 9efb819 pushed by TWal
October 16, 2024 16:24 17s main
main
October 16, 2024 16:24 17s
chore: update DY* .github/workflows/nix.yml #113: Commit 9efb819 pushed by TWal
October 16, 2024 15:58 24m 33s pre-main
pre-main
October 16, 2024 15:58 24m 33s
chore: update DY* and F* .github/workflows/nix.yml #112: Commit 10b45f9 pushed by TWal
October 16, 2024 07:40 18s main
main
October 16, 2024 07:40 18s
chore: update DY* and F* .github/workflows/nix.yml #111: Commit 10b45f9 pushed by TWal
October 15, 2024 22:14 27m 48s pre-main
pre-main
October 15, 2024 22:14 27m 48s
chore: update DY* .github/workflows/nix.yml #110: Commit 985240c pushed by TWal
October 15, 2024 21:28 32m 37s pre-main
pre-main
October 15, 2024 21:28 32m 37s
chore: update DY* .github/workflows/nix.yml #109: Commit 831affa pushed by TWal
October 15, 2024 16:46 21s main
main
October 15, 2024 16:46 21s
chore: update DY* .github/workflows/nix.yml #108: Commit 831affa pushed by TWal
October 15, 2024 07:12 48m 3s pre-main
pre-main
October 15, 2024 07:12 48m 3s
chore: update F* and DY* .github/workflows/nix.yml #107: Commit 09c8b5e pushed by TWal
September 23, 2024 22:18 18s main
main
September 23, 2024 22:18 18s
chore: update F* and DY* .github/workflows/nix.yml #106: Commit 09c8b5e pushed by TWal
September 23, 2024 21:38 32m 38s pre-main
pre-main
September 23, 2024 21:38 32m 38s
chore: update F* .github/workflows/nix.yml #105: Commit 3362b9a pushed by TWal
September 17, 2024 21:10 17s main
main
September 17, 2024 21:10 17s
chore: update F* .github/workflows/nix.yml #104: Commit 3362b9a pushed by TWal
September 17, 2024 20:23 23m 27s pre-main
pre-main
September 17, 2024 20:23 23m 27s
chore: update F* .github/workflows/nix.yml #103: Commit ad173bc pushed by TWal
September 3, 2024 08:32 18s main
main
September 3, 2024 08:32 18s
chore: update F* .github/workflows/nix.yml #102: Commit ad173bc pushed by TWal
September 2, 2024 21:31 19m 10s pre-main
pre-main
September 2, 2024 21:31 19m 10s
chore: update F* .github/workflows/nix.yml #101: Commit 9a8c6aa pushed by TWal
September 2, 2024 21:21 5m 34s pre-main
pre-main
September 2, 2024 21:21 5m 34s
chore: update F* .github/workflows/nix.yml #100: Commit 3978d7f pushed by TWal
August 27, 2024 21:37 18s main
main
August 27, 2024 21:37 18s