All Workflows hax.yml proverif.yml test.yml

Actor

All actors piers

Status

All status success failure waiting running

Update dependencies

test.yml #38:Commit f2589fef85 pushed by piers

v1.5.1

2026-05-29 23:11:09 +10:00

0s

Update dependencies

proverif.yml #37:Commit f2589fef85 pushed by piers

v1.5.1

2026-05-29 23:11:09 +10:00

0s

Update dependencies

hax.yml #36:Commit f2589fef85 pushed by piers

v1.5.1

2026-05-29 23:11:09 +10:00

0s

Improve Hax proofs.

test.yml #35:Commit 63d9b93634 pushed by piers

v1.5.0

2026-05-29 23:11:09 +10:00

0s

Improve Hax proofs.

proverif.yml #34:Commit 63d9b93634 pushed by piers

v1.5.0

2026-05-29 23:11:09 +10:00

0s

Improve Hax proofs.

hax.yml #33:Commit 63d9b93634 pushed by piers

v1.5.0

2026-05-29 23:11:09 +10:00

0s

Partial fix for cryspen/libcrux#1275

test.yml #32:Commit d310c99c57 pushed by piers

v1.4.0

2026-05-29 23:11:09 +10:00

0s

Partial fix for cryspen/libcrux#1275

proverif.yml #31:Commit d310c99c57 pushed by piers

v1.4.0

2026-05-29 23:11:09 +10:00

0s

Partial fix for cryspen/libcrux#1275

hax.yml #30:Commit d310c99c57 pushed by piers

v1.4.0

2026-05-29 23:11:09 +10:00

0s

Upgrade to libcrux 0.0.4, spqr version to 1.3.0.

test.yml #29:Commit 46e387458d pushed by piers

v1.3.0

2026-05-29 23:11:09 +10:00

0s

Upgrade to libcrux 0.0.4, spqr version to 1.3.0.

proverif.yml #28:Commit 46e387458d pushed by piers

v1.3.0

2026-05-29 23:11:09 +10:00

0s

Upgrade to libcrux 0.0.4, spqr version to 1.3.0.

hax.yml #27:Commit 46e387458d pushed by piers

v1.3.0

2026-05-29 23:11:07 +10:00

0s

Log SPQR initial (and possibly renogiated) versions on session initiation.

test.yml #26:Commit 99a759a3fd pushed by piers

v1.2.0

2026-05-29 23:11:08 +10:00

0s

Log SPQR initial (and possibly renogiated) versions on session initiation.

proverif.yml #25:Commit 99a759a3fd pushed by piers

v1.2.0

2026-05-29 23:11:08 +10:00

0s

Log SPQR initial (and possibly renogiated) versions on session initiation.

hax.yml #24:Commit 99a759a3fd pushed by piers

v1.2.0

2026-05-29 23:11:08 +10:00

0s

Turn off libcrux-ml-kem features we aren't using

test.yml #23:Commit 597cfa57ee pushed by piers

v1.1.0

2026-05-29 23:11:08 +10:00

0s

Turn off libcrux-ml-kem features we aren't using

proverif.yml #22:Commit 597cfa57ee pushed by piers

v1.1.0

2026-05-29 23:11:08 +10:00

0s

Turn off libcrux-ml-kem features we aren't using

hax.yml #21:Commit 597cfa57ee pushed by piers

v1.1.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

test.yml #20:Commit d6c1073468 pushed by piers

v1.0.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

proverif.yml #19:Commit d6c1073468 pushed by piers

v1.0.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

hax.yml #18:Commit d6c1073468 pushed by piers

v1.0.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

test.yml #17:Commit d6c1073468 pushed by piers

v0.5.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

proverif.yml #16:Commit d6c1073468 pushed by piers

v0.5.0

2026-05-29 23:11:08 +10:00

0s

Run proverif proofs in GitHub actions.

hax.yml #15:Commit d6c1073468 pushed by piers

v0.5.0

2026-05-29 23:11:08 +10:00

0s

Don't provide keys when we could version-negotiate to v0.

test.yml #14:Commit cff58d922a pushed by piers

v0.4.0

2026-05-29 23:11:08 +10:00

0s

Don't provide keys when we could version-negotiate to v0.

hax.yml #13:Commit cff58d922a pushed by piers

v0.4.0

2026-05-29 23:11:07 +10:00

0s

Update some dependencies, clean deps up.

test.yml #12:Commit ea2d65a896 pushed by piers

v0.3.0

2026-05-29 23:11:07 +10:00

0s

Update some dependencies, clean deps up.

hax.yml #11:Commit ea2d65a896 pushed by piers

v0.3.0

2026-05-29 23:11:07 +10:00

0s

Clean up unused errors.

test.yml #10:Commit 1b1811d3fb pushed by piers

v0.2.0

2026-05-29 23:11:07 +10:00

0s

Clean up unused errors.

hax.yml #9:Commit 1b1811d3fb pushed by piers

v0.2.0

2026-05-29 23:11:07 +10:00

0s