Skip to content

Actions: aws/ota-for-aws-iot-embedded-sdk

Actions

CI Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows … CI Checks #2804: Commit 57d3efa pushed by AniruddhaKanhere
September 18, 2024 05:37 1m 22s main
main
September 18, 2024 05:37 1m 22s
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows CI Checks #2803: Pull request #514 synchronize by AniruddhaKanhere
September 17, 2024 23:20 5m 27s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 17, 2024 23:20 5m 27s
Merge branch 'main' into dependabot/github_actions/dot-github/workflo… CI Checks #2802: Commit a4f299c pushed by AniruddhaKanhere
September 17, 2024 23:20 1m 6s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 17, 2024 23:20 1m 6s
Fix broken links (#515) CI Checks #2801: Commit a9e118e pushed by AniruddhaKanhere
September 17, 2024 23:19 1m 14s main
main
September 17, 2024 23:19 1m 14s
Fix broken links CI Checks #2800: Pull request #515 opened by AniruddhaKanhere
September 17, 2024 23:11 8m 10s FixLinks
FixLinks
September 17, 2024 23:11 8m 10s
Fix broken links CI Checks #2799: Commit 4512855 pushed by AniruddhaKanhere
September 17, 2024 23:10 1m 10s FixLinks
FixLinks
September 17, 2024 23:10 1m 10s
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows CI Checks #2798: Pull request #514 opened by dependabot bot
September 3, 2024 21:02 7m 42s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 21:02 7m 42s
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows CI Checks #2797: Commit 134e67f pushed by dependabot bot
September 3, 2024 21:02 1m 11s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 21:02 1m 11s
Adjust proof tooling to support CBMC v6 CI Checks #2796: Pull request #513 synchronize by tautschnig
August 23, 2024 12:44 34m 2s tautschnig:cbmc-v6
tautschnig:cbmc-v6
August 23, 2024 12:44 34m 2s
Adjust proof tooling to support CBMC v6 CI Checks #2795: Pull request #513 opened by tautschnig
August 23, 2024 12:32 6m 41s tautschnig:cbmc-v6
tautschnig:cbmc-v6
August 23, 2024 12:32 6m 41s
Use CBMC version 5.95.1 CI Checks #2794: Pull request #512 opened by tautschnig
June 6, 2024 09:22 6m 40s tautschnig:cbmc-5.95.1
tautschnig:cbmc-5.95.1
June 6, 2024 09:22 6m 40s
Make explicit that stringBuilder CBMC proof is bounded CI Checks #2793: Pull request #511 opened by tautschnig
June 6, 2024 09:20 8m 6s tautschnig:stringBuilder-bounded
tautschnig:stringBuilder-bounded
June 6, 2024 09:20 8m 6s
CBMC proof harness type fixes (#510) CI Checks #2792: Commit 7a108e8 pushed by AniruddhaKanhere
April 17, 2024 17:09 2m 29s main
main
April 17, 2024 17:09 2m 29s
CBMC proof harness type fixes CI Checks #2791: Pull request #510 synchronize by tautschnig
April 15, 2024 09:52 7m 16s type-fixes
type-fixes
April 15, 2024 09:52 7m 16s
CBMC proof harness type fixes CI Checks #2790: Pull request #510 opened by tautschnig
April 15, 2024 09:50 8m 22s type-fixes
type-fixes
April 15, 2024 09:50 8m 22s
Fix compiler error when -O2 optimzation is enabled CI Checks #2789: Pull request #500 synchronize by ghost
February 13, 2024 01:35 7m 18s djain1992:main
djain1992:main
February 13, 2024 01:35 7m 18s
Fix Block Bitmap Calculation (#504) CI Checks #2787: Commit 2557f84 pushed by aggarg
January 29, 2024 07:05 2m 27s main
main
January 29, 2024 07:05 2m 27s
Fix Block Bitmap Calculation CI Checks #2786: Pull request #504 synchronize by aggarg
January 27, 2024 15:49 5m 14s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 27, 2024 15:49 5m 14s
Fix Block Bitmap Calculation CI Checks #2785: Pull request #504 synchronize by aggarg
January 27, 2024 15:38 6m 35s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 27, 2024 15:38 6m 35s
Fix Block Bitmap Calculation CI Checks #2784: Pull request #504 synchronize by bradleysmith23
January 24, 2024 18:49 6m 4s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 24, 2024 18:49 6m 4s
Fix Block Bitmap Calculation CI Checks #2783: Pull request #504 synchronize by bradleysmith23
January 24, 2024 18:45 5m 28s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 24, 2024 18:45 5m 28s
Fix Block Bitmap Calculation CI Checks #2782: Pull request #504 synchronize by bradleysmith23
January 24, 2024 18:44 8m 45s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 24, 2024 18:44 8m 45s
Fix Block Bitmap Calculation CI Checks #2781: Pull request #504 synchronize by bradleysmith23
January 24, 2024 18:09 7m 33s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 24, 2024 18:09 7m 33s
Fix Block Bitmap Calculation CI Checks #2780: Pull request #504 synchronize by bradleysmith23
January 18, 2024 17:40 6m 29s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 18, 2024 17:40 6m 29s
Fix Block Bitmap Calculation CI Checks #2779: Pull request #504 synchronize by bradleysmith23
January 18, 2024 16:38 7m 44s BogdanTheGeek:fix/bitmap
BogdanTheGeek:fix/bitmap
January 18, 2024 16:38 7m 44s