Skip to content

Actions: awslabs/aws-c-common

Actions

Run CBMC proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof_ci.yaml
1,146 workflow run results
1,146 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Eventloop type defines Run CBMC proofs #1708: Pull request #1152 opened by sbSteveK
October 3, 2024 17:08 20m 10s ios-defines
ios-defines
October 3, 2024 17:08 20m 10s
add KQUEUE to macOS Run CBMC proofs #1707: Commit cda4d0e pushed by sbSteveK
October 3, 2024 17:04 19m 5s ios-defines
ios-defines
October 3, 2024 17:04 19m 5s
define AWS_USE_DISPATCH_QUEUE and AWS_USE_SECITEM for iOS and tvOS Run CBMC proofs #1706: Commit 353a0f7 pushed by sbSteveK
October 3, 2024 16:38 19m 48s ios-defines
ios-defines
October 3, 2024 16:38 19m 48s
chore: Modified bug issue template to add checkbox to report potential regression. Run CBMC proofs #1705: Pull request #1151 opened by ashishdhingra
September 10, 2024 21:03 22m 41s ashishdhingra:user/ashdhin/IssueTemplateRegressionCheckbox
ashishdhingra:user/ashdhin/IssueTemplateRegressionCheckbox
September 10, 2024 21:03 22m 41s
Only set mtune neoverse if compiler supports it (#1150) Run CBMC proofs #1704: Commit b9959f5 pushed by DmitriyMusatkin
September 6, 2024 19:07 20m 1s main
main
September 6, 2024 19:07 20m 1s
Only set mtune neoverse if compiler supports it Run CBMC proofs #1703: Pull request #1150 synchronize by DmitriyMusatkin
September 6, 2024 18:22 22m 9s arm_fix
arm_fix
September 6, 2024 18:22 22m 9s
remove debug Run CBMC proofs #1702: Commit 489438f pushed by DmitriyMusatkin
September 6, 2024 18:22 19m 6s arm_fix
arm_fix
September 6, 2024 18:22 19m 6s
Only set mtune neoverse if compiler supports it Run CBMC proofs #1701: Pull request #1150 synchronize by DmitriyMusatkin
September 6, 2024 17:54 20m 50s arm_fix
arm_fix
September 6, 2024 17:54 20m 50s
log arm flag value Run CBMC proofs #1700: Commit 5aaa01a pushed by DmitriyMusatkin
September 6, 2024 17:54 19m 50s arm_fix
arm_fix
September 6, 2024 17:54 19m 50s
Only set mtune neoverse if compiler supports it Run CBMC proofs #1699: Pull request #1150 opened by DmitriyMusatkin
September 6, 2024 17:50 18m 34s arm_fix
arm_fix
September 6, 2024 17:50 18m 34s
lets try this Run CBMC proofs #1698: Commit 959f275 pushed by DmitriyMusatkin
September 6, 2024 17:28 19m 53s arm_fix
arm_fix
September 6, 2024 17:28 19m 53s
Run proofs with CBMC 6.2.0 (#1149) Run CBMC proofs #1697: Commit 8ff3418 pushed by DmitriyMusatkin
September 6, 2024 17:23 19m 53s arm_fix
arm_fix
September 6, 2024 17:23 19m 53s
Run proofs with CBMC 6.2.0 (#1149) Run CBMC proofs #1696: Commit 8ff3418 pushed by graebm
September 3, 2024 21:12 22m 46s main
main
September 3, 2024 21:12 22m 46s
Run proofs with CBMC 6.2.0 Run CBMC proofs #1695: Pull request #1149 opened by graebm
September 3, 2024 20:53 18m 57s cbmc-6.2.0
cbmc-6.2.0
September 3, 2024 20:53 18m 57s
Run proofs with CBMC 6.2.0 Run CBMC proofs #1694: Commit 902567f pushed by graebm
September 3, 2024 20:28 20m 20s cbmc-6.2.0
cbmc-6.2.0
September 3, 2024 20:28 20m 20s
aws_customized_aligned_allocator Run CBMC proofs #1693: Pull request #1147 synchronize by TingDaoK
August 26, 2024 20:21 23m 12s align-allocator-size
align-allocator-size
August 26, 2024 20:21 23m 12s
Merge branch 'main' into align-allocator-size Run CBMC proofs #1692: Commit 095b34f pushed by TingDaoK
August 26, 2024 20:21 22m 31s align-allocator-size
align-allocator-size
August 26, 2024 20:21 22m 31s
Makefile.common updates for CBMC (#1148) Run CBMC proofs #1691: Commit 88f0ea3 pushed by tautschnig
August 24, 2024 06:32 19m 38s main
main
August 24, 2024 06:32 19m 38s
delete me Run CBMC proofs #1690: Commit 5db0de2 pushed by TingDaoK
August 23, 2024 21:20 16m 39s delete-me-test
delete-me-test
August 23, 2024 21:20 16m 39s
aws_customized_aligned_allocator Run CBMC proofs #1689: Pull request #1147 synchronize by TingDaoK
August 23, 2024 18:19 17m 44s align-allocator-size
align-allocator-size
August 23, 2024 18:19 17m 44s
ops. missing export Run CBMC proofs #1688: Commit b91b75b pushed by TingDaoK
August 23, 2024 18:19 17m 56s align-allocator-size
align-allocator-size
August 23, 2024 18:19 17m 56s
aws_customized_aligned_allocator Run CBMC proofs #1687: Pull request #1147 synchronize by TingDaoK
August 23, 2024 18:15 20m 34s align-allocator-size
align-allocator-size
August 23, 2024 18:15 20m 34s
0 is not a valid alignment and fix Run CBMC proofs #1686: Commit be99adf pushed by TingDaoK
August 23, 2024 18:15 19m 56s align-allocator-size
align-allocator-size
August 23, 2024 18:15 19m 56s
aws_customized_aligned_allocator Run CBMC proofs #1685: Pull request #1147 synchronize by TingDaoK
August 23, 2024 18:09 21m 50s align-allocator-size
align-allocator-size
August 23, 2024 18:09 21m 50s
address comments Run CBMC proofs #1684: Commit f888d22 pushed by TingDaoK
August 23, 2024 18:09 20m 12s align-allocator-size
align-allocator-size
August 23, 2024 18:09 20m 12s