Skip to content

Actions: pq-code-package/slhdsa-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add extensive compiler tests in CI CI #70: Pull request #15 synchronize by mkannwischer
August 2, 2025 10:02 42m 42s ci-compiler-tests
ci-compiler-tests
August 2, 2025 10:02 42m 42s
Add extensive compiler tests in CI CI #69: Pull request #15 synchronize by mkannwischer
August 2, 2025 04:00 1h 5m 44s ci-compiler-tests
ci-compiler-tests
August 2, 2025 04:00 1h 5m 44s
Merge pull request #31 from h2parson/sha3_init CI #68: Commit a787322 pushed by mkannwischer
August 2, 2025 03:59 23m 40s main
main
August 2, 2025 03:59 23m 40s
CBMC: Add spec and proof for sha3_init CI #67: Pull request #31 synchronize by mkannwischer
August 2, 2025 03:33 24m 15s h2parson:sha3_init
h2parson:sha3_init
August 2, 2025 03:33 24m 15s
CBMC: Add spec and proof for sha3_init CI #66: Pull request #31 synchronize by mkannwischer
August 2, 2025 03:33 23m 58s h2parson:sha3_init
h2parson:sha3_init
August 2, 2025 03:33 23m 58s
CBMC: Add spec and proof for sha3_init CI #65: Pull request #31 synchronize by mkannwischer
August 2, 2025 03:32 21m 33s h2parson:sha3_init
h2parson:sha3_init
August 2, 2025 03:32 21m 33s
CBMC: Add spec and proof for sha3_init CI #64: Pull request #31 synchronize by mkannwischer
August 2, 2025 03:29 25m 28s h2parson:sha3_init
h2parson:sha3_init
August 2, 2025 03:29 25m 28s
CBMC: Add prove and spec for adrs_set_hash_address CI #63: Pull request #32 opened by h2parson
August 1, 2025 16:04 6h 5m 7s h2parson:set_adrs
h2parson:set_adrs
August 1, 2025 16:04 6h 5m 7s
CBMC: Add spec and proof for sha3_init CI #62: Pull request #31 synchronize by h2parson
August 1, 2025 15:35 21m 11s h2parson:sha3_init
h2parson:sha3_init
August 1, 2025 15:35 21m 11s
CBMC: Add spec and proof for sha3_init CI #61: Pull request #31 synchronize by h2parson
August 1, 2025 15:33 3m 29s h2parson:sha3_init
h2parson:sha3_init
August 1, 2025 15:33 3m 29s
CBMC: Add spec and proof for sha3_init CI #60: Pull request #31 synchronize by h2parson
August 1, 2025 15:31 1m 10s h2parson:sha3_init
h2parson:sha3_init
August 1, 2025 15:31 1m 10s
Merge pull request #18 from h2parson/pfs CI #59: Commit ee1f1d8 pushed by mkannwischer
August 1, 2025 05:50 37m 41s main
main
August 1, 2025 05:50 37m 41s
CBMC: Add spec and proof for sha2_256_init_h0 CI #58: Pull request #18 synchronize by mkannwischer
August 1, 2025 02:46 22m 39s h2parson:pfs
h2parson:pfs
August 1, 2025 02:46 22m 39s
CBMC: Add spec and proof for sha2_256_init_h0 CI #57: Pull request #18 synchronize by mkannwischer
August 1, 2025 02:46 25m 43s h2parson:pfs
h2parson:pfs
August 1, 2025 02:46 25m 43s
CBMC: Add spec and proof for sha3_init CI #56: Pull request #31 opened by h2parson
July 31, 2025 20:54 24m 37s h2parson:sha3_init
h2parson:sha3_init
July 31, 2025 20:54 24m 37s
Add extensive compiler tests in CI CI #55: Pull request #15 synchronize by mkannwischer
July 31, 2025 02:10 1h 6m 35s ci-compiler-tests
ci-compiler-tests
July 31, 2025 02:10 1h 6m 35s
CBMC: Add spec and proof for sha2_256_init_h0 CI #54: Pull request #18 synchronize by h2parson
July 30, 2025 15:05 24m 0s h2parson:pfs
h2parson:pfs
July 30, 2025 15:05 24m 0s
CBMC: Add spec and proof for sha2_256_init_h0 CI #53: Pull request #18 synchronize by h2parson
July 30, 2025 14:57 22m 47s h2parson:pfs
h2parson:pfs
July 30, 2025 14:57 22m 47s
[TEST] Add experimental proof for wots_sign using wots_chain function pointer CI #52: Pull request #19 synchronize by mkannwischer
July 30, 2025 13:35 22m 3s cbmc-func-pointer
cbmc-func-pointer
July 30, 2025 13:35 22m 3s
[TEST] Add experimental proof for wots_sign using wots_chain function pointer CI #51: Pull request #19 opened by mkannwischer
July 30, 2025 13:35 21m 50s cbmc-func-pointer
cbmc-func-pointer
July 30, 2025 13:35 21m 50s
CBMC: Add spec and proof for sha2_256_init_h0 CI #50: Pull request #18 synchronize by mkannwischer
July 30, 2025 01:53 21m 47s h2parson:pfs
h2parson:pfs
July 30, 2025 01:53 21m 47s
Merge pull request #14 from h2parson/main CI #49: Commit 29c1ec1 pushed by mkannwischer
July 30, 2025 01:53 21m 37s main
main
July 30, 2025 01:53 21m 37s
CBMC: Add spec and proof for sha2_256_init_h0 CI #48: Pull request #18 opened by h2parson
July 29, 2025 21:15 21m 37s h2parson:pfs
h2parson:pfs
July 29, 2025 21:15 21m 37s
LibOQS integration CI #47: Pull request #14 synchronize by h2parson
July 29, 2025 14:55 22m 44s h2parson:main
h2parson:main
July 29, 2025 14:55 22m 44s
Add extensive compiler tests in CI CI #46: Pull request #15 synchronize by mkannwischer
July 29, 2025 02:09 1h 7m 35s ci-compiler-tests
ci-compiler-tests
July 29, 2025 02:09 1h 7m 35s