Skip to content

Actions: Inria-Prosecco/mls-star

Actions

.github/workflows/nix.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update for new F* build (#3) .github/workflows/nix.yml #147: Commit 44174ff pushed by TWal
January 9, 2025 13:06 17s main
main
January 9, 2025 13:06 17s
update F* etc .github/workflows/nix.yml #146: Commit d38f231 pushed by TWal
January 9, 2025 12:54 11m 17s dev
dev
January 9, 2025 12:54 11m 17s
cleanup: move confirmation tag where it belongs .github/workflows/nix.yml #145: Commit 8dadfd6 pushed by TWal
January 7, 2025 15:23 21s main
main
January 7, 2025 15:23 21s
.github/workflows/nix.yml .github/workflows/nix.yml #144: by TWal
January 7, 2025 15:07 13m 55s pre-main
pre-main
January 7, 2025 15:07 13m 55s
chore: update F* and DY* .github/workflows/nix.yml #143: Commit 4441335 pushed by TWal
January 7, 2025 12:35 17s main
main
January 7, 2025 12:35 17s
chore: update F* and DY* .github/workflows/nix.yml #142: Commit 4441335 pushed by TWal
January 7, 2025 10:24 15m 31s pre-main
pre-main
January 7, 2025 10:24 15m 31s
chore: update F* and DY* .github/workflows/nix.yml #141: Commit 81ce141 pushed by TWal
January 6, 2025 18:00 8m 50s pre-main
pre-main
January 6, 2025 18:00 8m 50s
cleanup: have TreeKEM.welcome use the joiner secret .github/workflows/nix.yml #140: Commit 35a1775 pushed by TWal
December 25, 2024 22:18 12m 16s pre-main
pre-main
December 25, 2024 22:18 12m 16s
cleanup: clean group context serialization in the keyschedule .github/workflows/nix.yml #139: Commit 5526769 pushed by TWal
December 25, 2024 21:32 20m 16s pre-main
pre-main
December 25, 2024 21:32 20m 16s
cleanup: integrate psks better in TreeKEM's API .github/workflows/nix.yml #138: Commit 5cdf922 pushed by TWal
December 25, 2024 21:18 22m 12s pre-main
pre-main
December 25, 2024 21:18 22m 12s
chore: update DY* .github/workflows/nix.yml #137: Commit 4046566 pushed by TWal
November 29, 2024 16:39 19s main
main
November 29, 2024 16:39 19s
chore: update DY* .github/workflows/nix.yml #136: Commit 4046566 pushed by TWal
November 29, 2024 16:21 15m 21s pre-main
pre-main
November 29, 2024 16:21 15m 21s
cleanup: split TreeKEM.remove into several sub-functions .github/workflows/nix.yml #135: Commit ab03f26 pushed by TWal
November 27, 2024 14:27 34m 44s pre-main
pre-main
November 27, 2024 14:27 34m 44s
cleanup: remove lambda in TreeSyncTreeKEMBinder .github/workflows/nix.yml #134: Commit aa1c4a3 pushed by TWal
November 27, 2024 14:26 22m 39s pre-main
pre-main
November 27, 2024 14:26 22m 39s
cleanup: make tree_create create a non-blank node .github/workflows/nix.yml #133: Commit 4beb781 pushed by TWal
November 21, 2024 19:14 12m 15s pre-main
pre-main
November 21, 2024 19:14 12m 15s
chore: update DY* .github/workflows/nix.yml #132: Commit 6f93999 pushed by TWal
November 20, 2024 16:13 18s main
main
November 20, 2024 16:13 18s
chore: update DY* .github/workflows/nix.yml #131: Commit 6f93999 pushed by TWal
November 20, 2024 15:48 22m 52s pre-main
pre-main
November 20, 2024 15:48 22m 52s
cleanup: remove dy_bytes alias .github/workflows/nix.yml #130: Commit 99093da pushed by TWal
October 28, 2024 09:40 19s main
main
October 28, 2024 09:40 19s
cleanup: remove dy_bytes alias .github/workflows/nix.yml #129: Commit 99093da pushed by TWal
October 28, 2024 09:03 29m 35s pre-main
pre-main
October 28, 2024 09:03 29m 35s
fix: strengthen parent_hash_implies_event theorem .github/workflows/nix.yml #128: Commit 906f71c pushed by TWal
October 28, 2024 09:03 17m 5s pre-main
pre-main
October 28, 2024 09:03 17m 5s
cleanup: treesync_to_treekem can't fail .github/workflows/nix.yml #127: Commit 1bb178d pushed by TWal
October 28, 2024 09:02 4m 44s pre-main
pre-main
October 28, 2024 09:02 4m 44s
fix: strengthen parent_hash_implies_event theorem .github/workflows/nix.yml #126: Commit 989bcd8 pushed by TWal
October 28, 2024 08:46 12m 47s pre-main
pre-main
October 28, 2024 08:46 12m 47s
cleanup: treesync_to_treekem can't fail .github/workflows/nix.yml #125: Commit 82fcc36 pushed by TWal
October 28, 2024 08:37 18m 18s pre-main
pre-main
October 28, 2024 08:37 18m 18s
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