Skip to content

Actions: pq-code-package/slhdsa-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #37 from pq-code-package/macos-15-intel CI #88: Commit f3f41ec pushed by mkannwischer
18m 2s main
main
18m 2s
Switch macos-13 to macos-15-intel CI #87: Pull request #37 opened by willieyz
18m 0s macos-15-intel
macos-15-intel
18m 0s
Merge pull request #36 from pq-code-package/dependabot/github_actions… CI #86: Commit d264d04 pushed by mkannwischer
2h 25m 44s main
main
2h 25m 44s
Bump tj-actions/changed-files from 46.0.5 to 47.0.0 CI #85: Pull request #36 opened by dependabot bot
16m 33s dependabot/github_actions/tj-actions/changed-files-47.0.0
dependabot/github_actions/tj-actions/changed-files-47.0.0
16m 33s
github_actions in /. - Update #1114335132 Dependabot Updates #3: by dependabot bot
37s main
main
37s
Merge pull request #35 from pq-code-package/clang21 CI #84: Commit 265fa41 pushed by mkannwischer
42m 16s main
main
42m 16s
Add clang 21 compiler tests to CI CI #83: Pull request #35 synchronize by mkannwischer
18m 29s clang21
clang21
18m 29s
Add clang 21 compiler tests to CI CI #82: Pull request #35 opened by mkannwischer
5m 16s clang21
clang21
5m 16s
Merge pull request #34 from pq-code-package/dependabot/github_actions… CI #81: Commit d9dad03 pushed by mkannwischer
24m 41s main
main
24m 41s
Bump actions/checkout from 4.2.2 to 5.0.0 CI #80: Pull request #34 opened by dependabot bot
25m 9s dependabot/github_actions/actions/checkout-5.0.0
dependabot/github_actions/actions/checkout-5.0.0
25m 9s
github_actions in /. - Update #1090667312 Dependabot Updates #2: by dependabot bot
40s main
main
40s
github_actions in /. - Update #1090667311 Dependabot Updates #1: by dependabot bot
41s main
main
41s
Merge pull request #33 from pq-code-package/dependabot CI #79: Commit 0a03229 pushed by mkannwischer
23m 41s main
main
23m 41s
CI: Add dependabot for CI dependencies CI #78: Pull request #33 synchronize by mkannwischer
22m 9s dependabot
dependabot
22m 9s
CI: Add dependabot for CI dependencies CI #77: Pull request #33 opened by mkannwischer
23m 28s dependabot
dependabot
23m 28s
Merge pull request #32 from h2parson/set_adrs CI #76: Commit 64afc15 pushed by mkannwischer
21m 17s main
main
21m 17s
CBMC: Add prove and spec for adrs_set_hash_address CI #75: Pull request #32 synchronize by mkannwischer
16m 23s h2parson:set_adrs
h2parson:set_adrs
16m 23s
CBMC: Add prove and spec for adrs_set_hash_address CI #74: Pull request #32 synchronize by h2parson
29m 21s h2parson:set_adrs
h2parson:set_adrs
29m 21s
CBMC: Add prove and spec for adrs_set_hash_address CI #73: Pull request #32 synchronize by mkannwischer
20m 22s h2parson:set_adrs
h2parson:set_adrs
20m 22s
CBMC: Add prove and spec for adrs_set_hash_address CI #72: Pull request #32 synchronize by h2parson
28m 30s h2parson:set_adrs
h2parson:set_adrs
28m 30s
Merge pull request #15 from pq-code-package/ci-compiler-tests CI #71: Commit d2b14a4 pushed by mkannwischer
31m 52s main
main
31m 52s
Add extensive compiler tests in CI CI #70: Pull request #15 synchronize by mkannwischer
42m 42s ci-compiler-tests
ci-compiler-tests
42m 42s
Add extensive compiler tests in CI CI #69: Pull request #15 synchronize by mkannwischer
1h 5m 44s ci-compiler-tests
ci-compiler-tests
1h 5m 44s
Merge pull request #31 from h2parson/sha3_init CI #68: Commit a787322 pushed by mkannwischer
23m 40s main
main
23m 40s
CBMC: Add spec and proof for sha3_init CI #67: Pull request #31 synchronize by mkannwischer
24m 15s h2parson:sha3_init
h2parson:sha3_init
24m 15s