Skip to content

Commit

Permalink
Merge pull request #813 from pq-code-package/ci-workflow-run
Browse files Browse the repository at this point in the history 
Make CI and CBMC workflows depend on Base workflow
  • Loading branch information
@hanno-becker
hanno-becker authored Feb 26, 2025
2 parents 79c6b92 + 4662423 commit 4174800
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 12 deletions.
10 changes: 4 additions & 6 deletions .github/workflows/cbmc.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,12 @@ permissions:
contents: read
on:
workflow_dispatch:
push:
branches: ["main"]
pull_request:
branches: ["main"]
types: [ "opened", "synchronize" ]
workflow_run:
workflows: [ "Base tests" ]
types: [ completed ]

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
group: ${{ github.workflow }}-${{ github.event.workflow_run.head_branch }}
cancel-in-progress: true

jobs:
Expand Down
10 changes: 4 additions & 6 deletions .github/workflows/ci.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,12 @@ permissions:
contents: read
on:
workflow_dispatch:
push:
branches: ["main"]
pull_request:
branches: ["main"]
types: [ "opened", "synchronize" ]
workflow_run:
workflows: [ "Base tests" ]
types: [ completed ]

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
group: ${{ github.workflow }}-${{ github.event.workflow_run.head_branch }}
cancel-in-progress: true

jobs:
Expand Down

18 comments on commit 4174800

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Intel Xeon 4th gen (c7i)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 9618 cycles 9612 cycles 1.00
ML-KEM-512 encaps 11248 cycles 11253 cycles 1.00
ML-KEM-512 decaps 15319 cycles 15338 cycles 1.00
ML-KEM-768 keypair 16320 cycles 16463 cycles 0.99
ML-KEM-768 encaps 17858 cycles 17888 cycles 1.00
ML-KEM-768 decaps 23544 cycles 23736 cycles 0.99
ML-KEM-1024 keypair 22784 cycles 22375 cycles 1.02
ML-KEM-1024 encaps 24102 cycles 24049 cycles 1.00
ML-KEM-1024 decaps 32085 cycles 32058 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Intel Xeon 4th gen (c7i) (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 29375 cycles 29328 cycles 1.00
ML-KEM-512 encaps 34308 cycles 34227 cycles 1.00
ML-KEM-512 decaps 44516 cycles 44508 cycles 1.00
ML-KEM-768 keypair 47932 cycles 47912 cycles 1.00
ML-KEM-768 encaps 56246 cycles 56278 cycles 1.00
ML-KEM-768 decaps 68001 cycles 67955 cycles 1.00
ML-KEM-1024 keypair 72031 cycles 72134 cycles 1.00
ML-KEM-1024 encaps 84741 cycles 84752 cycles 1.00
ML-KEM-1024 decaps 101588 cycles 101630 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Arm Cortex-A76 (Raspberry Pi 5) benchmarks

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 29536 cycles 29538 cycles 1.00
ML-KEM-512 encaps 35130 cycles 35128 cycles 1.00
ML-KEM-512 decaps 45749 cycles 45749 cycles 1
ML-KEM-768 keypair 50468 cycles 50469 cycles 1.00
ML-KEM-768 encaps 55831 cycles 55832 cycles 1.00
ML-KEM-768 decaps 70807 cycles 70805 cycles 1.00
ML-KEM-1024 keypair 73361 cycles 73373 cycles 1.00
ML-KEM-1024 encaps 82313 cycles 82314 cycles 1.00
ML-KEM-1024 decaps 102576 cycles 102574 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AMD EPYC 3rd gen (c6a)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 17261 cycles 17266 cycles 1.00
ML-KEM-512 encaps 19069 cycles 19056 cycles 1.00
ML-KEM-512 decaps 24471 cycles 24493 cycles 1.00
ML-KEM-768 keypair 29380 cycles 29396 cycles 1.00
ML-KEM-768 encaps 30629 cycles 30957 cycles 0.99
ML-KEM-768 decaps 38563 cycles 38585 cycles 1.00
ML-KEM-1024 keypair 43681 cycles 43706 cycles 1.00
ML-KEM-1024 encaps 45105 cycles 45344 cycles 0.99
ML-KEM-1024 decaps 55593 cycles 55622 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Intel Xeon 3rd gen (c6i)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 16166 cycles 16163 cycles 1.00
ML-KEM-512 encaps 18401 cycles 18386 cycles 1.00
ML-KEM-512 decaps 24969 cycles 24933 cycles 1.00
ML-KEM-768 keypair 27826 cycles 27827 cycles 1.00
ML-KEM-768 encaps 29539 cycles 29524 cycles 1.00
ML-KEM-768 decaps 38950 cycles 38987 cycles 1.00
ML-KEM-1024 keypair 38241 cycles 37708 cycles 1.01
ML-KEM-1024 encaps 40727 cycles 40710 cycles 1.00
ML-KEM-1024 decaps 53321 cycles 53330 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AMD EPYC 4th gen (c7a)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 11665 cycles 11633 cycles 1.00
ML-KEM-512 encaps 13336 cycles 13295 cycles 1.00
ML-KEM-512 decaps 18201 cycles 18186 cycles 1.00
ML-KEM-768 keypair 20122 cycles 20169 cycles 1.00
ML-KEM-768 encaps 21179 cycles 21197 cycles 1.00
ML-KEM-768 decaps 28394 cycles 28391 cycles 1.00
ML-KEM-1024 keypair 26999 cycles 26998 cycles 1.00
ML-KEM-1024 encaps 29214 cycles 29072 cycles 1.00
ML-KEM-1024 decaps 38526 cycles 38534 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AMD EPYC 3rd gen (c6a) (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 39836 cycles 39827 cycles 1.00
ML-KEM-512 encaps 48162 cycles 48178 cycles 1.00
ML-KEM-512 decaps 62418 cycles 62418 cycles 1
ML-KEM-768 keypair 64781 cycles 64653 cycles 1.00
ML-KEM-768 encaps 75829 cycles 75846 cycles 1.00
ML-KEM-768 decaps 94482 cycles 94491 cycles 1.00
ML-KEM-1024 keypair 95985 cycles 96048 cycles 1.00
ML-KEM-1024 encaps 109439 cycles 109532 cycles 1.00
ML-KEM-1024 decaps 133034 cycles 133089 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton3

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 19156 cycles 19155 cycles 1.00
ML-KEM-512 encaps 22937 cycles 22936 cycles 1.00
ML-KEM-512 decaps 30235 cycles 30241 cycles 1.00
ML-KEM-768 keypair 32826 cycles 32828 cycles 1.00
ML-KEM-768 encaps 36516 cycles 36518 cycles 1.00
ML-KEM-768 decaps 46950 cycles 46954 cycles 1.00
ML-KEM-1024 keypair 47384 cycles 47382 cycles 1.00
ML-KEM-1024 encaps 53365 cycles 53362 cycles 1.00
ML-KEM-1024 decaps 67319 cycles 67316 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton4

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 18051 cycles 18051 cycles 1
ML-KEM-512 encaps 21415 cycles 21417 cycles 1.00
ML-KEM-512 decaps 28120 cycles 28122 cycles 1.00
ML-KEM-768 keypair 31074 cycles 31069 cycles 1.00
ML-KEM-768 encaps 34155 cycles 34155 cycles 1
ML-KEM-768 decaps 43782 cycles 43784 cycles 1.00
ML-KEM-1024 keypair 44909 cycles 44906 cycles 1.00
ML-KEM-1024 encaps 50332 cycles 50329 cycles 1.00
ML-KEM-1024 decaps 63267 cycles 63263 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

AMD EPYC 4th gen (c7a) (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 36392 cycles 36427 cycles 1.00
ML-KEM-512 encaps 42937 cycles 42975 cycles 1.00
ML-KEM-512 decaps 55849 cycles 55860 cycles 1.00
ML-KEM-768 keypair 59374 cycles 59115 cycles 1.00
ML-KEM-768 encaps 67582 cycles 67577 cycles 1.00
ML-KEM-768 decaps 84725 cycles 84512 cycles 1.00
ML-KEM-1024 keypair 87374 cycles 87381 cycles 1.00
ML-KEM-1024 encaps 98456 cycles 98329 cycles 1.00
ML-KEM-1024 decaps 119712 cycles 119654 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Intel Xeon 3rd gen (c6i) (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 46838 cycles 46879 cycles 1.00
ML-KEM-512 encaps 55410 cycles 55439 cycles 1.00
ML-KEM-512 decaps 71290 cycles 71314 cycles 1.00
ML-KEM-768 keypair 76204 cycles 76161 cycles 1.00
ML-KEM-768 encaps 87506 cycles 87453 cycles 1.00
ML-KEM-768 decaps 108244 cycles 108180 cycles 1.00
ML-KEM-1024 keypair 112346 cycles 112361 cycles 1.00
ML-KEM-1024 encaps 126381 cycles 126405 cycles 1.00
ML-KEM-1024 decaps 152685 cycles 152687 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton4 (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 35763 cycles 35758 cycles 1.00
ML-KEM-512 encaps 40758 cycles 40756 cycles 1.00
ML-KEM-512 decaps 52091 cycles 52091 cycles 1
ML-KEM-768 keypair 63198 cycles 63203 cycles 1.00
ML-KEM-768 encaps 67463 cycles 67460 cycles 1.00
ML-KEM-768 decaps 81177 cycles 81174 cycles 1.00
ML-KEM-1024 keypair 88820 cycles 88817 cycles 1.00
ML-KEM-1024 encaps 98818 cycles 98815 cycles 1.00
ML-KEM-1024 decaps 117453 cycles 117453 cycles 1

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton3 (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 39107 cycles 39101 cycles 1.00
ML-KEM-512 encaps 44875 cycles 44873 cycles 1.00
ML-KEM-512 decaps 56748 cycles 56737 cycles 1.00
ML-KEM-768 keypair 64457 cycles 64461 cycles 1.00
ML-KEM-768 encaps 72602 cycles 72626 cycles 1.00
ML-KEM-768 decaps 87857 cycles 87891 cycles 1.00
ML-KEM-1024 keypair 96098 cycles 96096 cycles 1.00
ML-KEM-1024 encaps 106151 cycles 106146 cycles 1.00
ML-KEM-1024 decaps 127055 cycles 127050 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton2

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 29571 cycles 29574 cycles 1.00
ML-KEM-512 encaps 35071 cycles 35073 cycles 1.00
ML-KEM-512 decaps 45791 cycles 45794 cycles 1.00
ML-KEM-768 keypair 50414 cycles 50411 cycles 1.00
ML-KEM-768 encaps 55930 cycles 55930 cycles 1
ML-KEM-768 decaps 70858 cycles 70858 cycles 1
ML-KEM-1024 keypair 73379 cycles 73385 cycles 1.00
ML-KEM-1024 encaps 82313 cycles 82317 cycles 1.00
ML-KEM-1024 decaps 102590 cycles 102590 cycles 1

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Graviton2 (no-opt)

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 59715 cycles 59830 cycles 1.00
ML-KEM-512 encaps 68304 cycles 68411 cycles 1.00
ML-KEM-512 decaps 87047 cycles 87238 cycles 1.00
ML-KEM-768 keypair 99252 cycles 99107 cycles 1.00
ML-KEM-768 encaps 110833 cycles 110848 cycles 1.00
ML-KEM-768 decaps 135123 cycles 135228 cycles 1.00
ML-KEM-1024 keypair 149104 cycles 147508 cycles 1.01
ML-KEM-1024 encaps 164614 cycles 163321 cycles 1.01
ML-KEM-1024 decaps 195971 cycles 194794 cycles 1.01

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Arm Cortex-A55 (Snapdragon 888) benchmarks

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 59520 cycles 59541 cycles 1.00
ML-KEM-512 encaps 67221 cycles 67189 cycles 1.00
ML-KEM-512 decaps 86578 cycles 86384 cycles 1.00
ML-KEM-768 keypair 101283 cycles 101341 cycles 1.00
ML-KEM-768 encaps 112471 cycles 112392 cycles 1.00
ML-KEM-768 decaps 139953 cycles 139917 cycles 1.00
ML-KEM-1024 keypair 153566 cycles 153796 cycles 1.00
ML-KEM-1024 encaps 171472 cycles 170226 cycles 1.01
ML-KEM-1024 decaps 207696 cycles 208192 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

SpacemiT K1 8 (Banana Pi F3) benchmarks

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 225719 cycles 225865 cycles 1.00
ML-KEM-512 encaps 272688 cycles 272856 cycles 1.00
ML-KEM-512 decaps 347755 cycles 347990 cycles 1.00
ML-KEM-768 keypair 373215 cycles 373236 cycles 1.00
ML-KEM-768 encaps 435192 cycles 435208 cycles 1.00
ML-KEM-768 decaps 533602 cycles 533630 cycles 1.00
ML-KEM-1024 keypair 555164 cycles 555193 cycles 1.00
ML-KEM-1024 encaps 636008 cycles 636052 cycles 1.00
ML-KEM-1024 decaps 758147 cycles 758141 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

@oqs-bot
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Arm Cortex-A72 (Raspberry Pi 4) benchmarks

Benchmark suite Current: 4174800 Previous: 79c6b92 Ratio
ML-KEM-512 keypair 52954 cycles 52943 cycles 1.00
ML-KEM-512 encaps 61142 cycles 61053 cycles 1.00
ML-KEM-512 decaps 78265 cycles 77985 cycles 1.00
ML-KEM-768 keypair 90859 cycles 90307 cycles 1.01
ML-KEM-768 encaps 99141 cycles 98438 cycles 1.01
ML-KEM-768 decaps 123515 cycles 123685 cycles 1.00
ML-KEM-1024 keypair 134442 cycles 134825 cycles 1.00
ML-KEM-1024 encaps 147523 cycles 148430 cycles 0.99
ML-KEM-1024 decaps 181275 cycles 181563 cycles 1.00

This comment was automatically generated by workflow using github-action-benchmark.

Please sign in to comment.