Skip to content

Actions: pq-code-package/mldsa-native

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
all.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Relax fqmul output bound to 5/4*Q CI #3975: Pull request #1131 synchronize by hanno-becker
40m 1s fqmul_bound
fqmul_bound
40m 1s
Proofs/Isabelle: Add Neon NTT formalization and conformance harness CI #3974: Pull request #1135 synchronize by hanno-becker
8m 44s barrett_isabelle
barrett_isabelle
8m 44s
Relax fqmul output bound to 5/4*Q CI #3973: Pull request #1131 synchronize by hanno-becker
45m 13s fqmul_bound
fqmul_bound
45m 13s
Proofs/Isabelle: Add Neon NTT formalization and conformance harness CI #3972: Pull request #1135 synchronize by hanno-becker
46m 18s barrett_isabelle
barrett_isabelle
46m 18s
x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs CI #3971: Pull request #1014 synchronize by jakemas
1h 2m 18s jakemas/rej-uniform-asm
jakemas/rej-uniform-asm
1h 2m 18s
x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs CI #3970: Pull request #1014 synchronize by jakemas
1h 5m 21s jakemas/rej-uniform-asm
jakemas/rej-uniform-asm
1h 5m 21s
x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs CI #3969: Pull request #1014 synchronize by jakemas
42m 18s jakemas/rej-uniform-asm
jakemas/rej-uniform-asm
42m 18s
HOL-Light: Consolidate AArch64 poly_use_hint_32 _CORRECT theorems CI #3968: Pull request #1136 synchronize by jakemas
40m 5s consolidate-poly-use-hint-32
consolidate-poly-use-hint-32
40m 5s
HOL-Light: Consolidate AArch64 poly_use_hint_32 _CORRECT theorems CI #3967: Pull request #1136 synchronize by jakemas
16m 46s consolidate-poly-use-hint-32
consolidate-poly-use-hint-32
16m 46s
HOL-Light: Consolidate AArch64 poly_use_hint_32 _CORRECT theorems CI #3966: Pull request #1136 opened by jakemas
50m 5s consolidate-poly-use-hint-32
consolidate-poly-use-hint-32
50m 5s
Proofs/Isabelle: Add Neon NTT formalization and conformance harness CI #3965: Pull request #1135 synchronize by hanno-becker
39m 25s barrett_isabelle
barrett_isabelle
39m 25s
Proofs/Isabelle: Add Neon NTT formalization and conformance harness CI #3964: Pull request #1135 synchronize by hanno-becker
44m 18s barrett_isabelle
barrett_isabelle
44m 18s
Proofs/Isabelle: Add Neon NTT formalization and conformance harness CI #3963: Pull request #1135 opened by hanno-becker
10m 1s barrett_isabelle
barrett_isabelle
10m 1s
CI: Switch HOL-Light proofs to free Github runners CI #3962: Commit fb3dfe4 pushed by mkannwischer
43m 17s main
main
43m 17s
CI: Switch HOL-Light proofs to free Github runners CI #3961: Pull request #1134 opened by mkannwischer
1h 17m 58s hol-light-ci
hol-light-ci
1h 17m 58s
CI: Add gcc16 tests CI #3960: Commit cdad8cb pushed by mkannwischer
2h 1m 26s main
main
2h 1m 26s
Relax fqmul output bound to 5/4*Q CI #3959: Pull request #1131 synchronize by hanno-becker
1h 7m 40s fqmul_bound
fqmul_bound
1h 7m 40s
CI: Add gcc16 tests CI #3958: Pull request #1133 synchronize by mkannwischer
1h 38m 42s gcc16
gcc16
1h 38m 42s
README: Tweak Pavona description CI #3957: Commit d99e046 pushed by mkannwischer
6h 10m 17s main
main
6h 10m 17s
CI: Add gcc16 tests CI #3956: Pull request #1133 opened by mkannwischer
2h 19m 22s gcc16
gcc16
2h 19m 22s
CI: Add more legacy compiler tests and move to scheduled workflow CI #3955: Pull request #1132 opened by mkannwischer
4h 46m 19s nix-legacy-compilers
nix-legacy-compilers
4h 46m 19s
CI: Migrate OpenTitan integration to Pavona CI #3954: Commit dbcc61d pushed by mkannwischer
42m 12s main
main
42m 12s
CI: Migrate OpenTitan integration to Pavona CI #3953: Pull request #1130 synchronize by mkannwischer
39m 57s opentitan-to-pavona
opentitan-to-pavona
39m 57s
Relax fqmul output bound to 5/4*Q CI #3952: Pull request #1131 opened by hanno-becker
1h 14m 2s fqmul_bound
fqmul_bound
1h 14m 2s
CI: Migrate OpenTitan integration to Pavona CI #3951: Pull request #1130 synchronize by mkannwischer
Queued opentitan-to-pavona
opentitan-to-pavona
Queued