All workflows

Workflow runs

• chore: update lake-manifest.json

  completed successfully:
  Build#70:Commit4a53e42pushedbystrata-git-sync[bot]Bot
  main

  Aug 12, 202643m 16s
  More actions for workflow run 70

• Push on main

  completed successfully:
  CodeQL#70:bystrata-git-sync[bot]Bot
  main

  Aug 12, 20261m 18s

• chore: update lake-manifest.json

  failed:
  Build#69:Commitea14d03pushedbystrata-git-sync[bot]Bot
  main

  Aug 12, 202636m 25s
  More actions for workflow run 69

• Push on main

  completed successfully:
  CodeQL#69:bystrata-git-sync[bot]Bot
  main

  Aug 12, 20261m 17s

• chore: update lake-manifest.json

  failed:
  Build#68:Commit1313df6pushedbystrata-git-sync[bot]Bot
  main

  Aug 12, 20262m 3s
  More actions for workflow run 68

• Push on main

  completed successfully:
  CodeQL#68:bystrata-git-sync[bot]Bot
  main

  Aug 12, 20261m 19s

• chore: update lake-manifest.json

  failed:
  Build#67:Commitbbb496bpushedbystrata-git-sync[bot]Bot
  main

  Aug 12, 202654m 5s
  More actions for workflow run 67

• Push on main

  completed successfully:
  CodeQL#67:bystrata-git-sync[bot]Bot
  main

  Aug 12, 20261m 30s

• chore: update lake-manifest.json

  failed:
  Build#66:Commitd36da6dpushedbystrata-git-sync[bot]Bot
  main

  Aug 11, 202651m 12s
  More actions for workflow run 66

• Push on main

  completed successfully:
  CodeQL#66:bystrata-git-sync[bot]Bot
  main

  Aug 11, 20266m 43s

• github_actions in /. - Update #1519457255

  completed successfully:
  Dependabot Updates#13:bydependabot[bot]Bot
  main

  Aug 11, 202651s

• Bump aws-actions/configure-aws-credentials from 4 to 6

  completed successfully:
  Build#65:Pull request#12synchronizebydependabot[bot]Bot
  dependabot/github_actions/aws-actions/configure-aws-credentials-6

  Aug 9, 202623m 50s
  More actions for workflow run 65

• Bump aws-actions/configure-aws-credentials from 4 to 6

  skipped:
  PR Import#13:Pull request#12synchronizebydependabot[bot]Bot
  dependabot/github_actions/aws-actions/configure-aws-credentials-6

  Aug 9, 20261s
  More actions for workflow run 13

• Bump actions/setup-python from 6 to 7

  completed successfully:
  Build#64:Pull request#8synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7

  Aug 9, 202623m 58s
  More actions for workflow run 64

• Bump actions/setup-python from 6 to 7

  skipped:
  PR Import#12:Pull request#8synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7

  Aug 9, 20261s
  More actions for workflow run 12

• github_actions in / for aws-actions/configure-aws-credentials - Update #1515687651

  completed successfully:
  Dependabot Updates#12:bydependabot[bot]Bot
  main

  Aug 9, 202647s

• github_actions in / for actions/setup-python - Update #1515687636

  completed successfully:
  Dependabot Updates#11:bydependabot[bot]Bot
  main

  Aug 9, 202647s

• ci: temporarily disable known-broken CBMC checks (#14)

  completed successfully:
  Build#63:Commit29395bbpushedbygithub-merge-queue[bot]Bot
  main

  Aug 9, 202633m 23s
  More actions for workflow run 63

• Push on main

  completed successfully:
  CodeQL#65:bygithub-merge-queue[bot]Bot
  main

  Aug 9, 20261m 4s

• Build

  completed successfully:
  Build#62:Merge group checks requested
  Aug 9, 202640m 55s
  More actions for workflow run 62

• PR Import

  completed successfully:
  PR Import#11:Merge group checks requested
  Aug 9, 20265m 20s
  More actions for workflow run 11

• ci: temporarily disable CBMC checks (known-broken)

  completed successfully:
  Build#61:Pull request#14synchronizebyshigoel
  shilpi/disable-cbmc-ci

  Aug 9, 202622m 7s
  More actions for workflow run 61

• ci: temporarily disable CBMC checks (known-broken)

  skipped:
  PR Import#10:Pull request#14synchronizebyshigoel
  shilpi/disable-cbmc-ci

  Aug 9, 20261s
  More actions for workflow run 10

• PR #14

  completed successfully:
  CodeQL#64:byshigoel
  refs/pull/14/head

  Aug 9, 202651s

• Bump Strata and StrataDDM dependency revisions to latest main (#13)

  completed successfully:
  Build#60:Commit92dc2acpushedbygithub-merge-queue[bot]Bot
  main

  Aug 8, 202639m 58s
  More actions for workflow run 60