Skip to content

Actions: pq-code-package/slhdsa-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 5.0.0 to 6.0.0 CI #89: Pull request #39 opened by dependabot bot
16m 57s dependabot/github_actions/actions/checkout-6.0.0
dependabot/github_actions/actions/checkout-6.0.0
16m 57s
github_actions in /. - Update #1168888777 Dependabot Updates #5: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1140137810 Dependabot Updates #4: by dependabot bot
31s main
main
31s
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