All workflows

Workflow runs

• Merge pull request #181 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Proof Suite#153:Commit7f2cc38pushedbyAdaWorldAPI
  main

  Oct 10, 202610m 20s
  More actions for workflow run 153

• Merge pull request #181 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  CI: Master (Build, Test, Lint)#169:Commit7f2cc38pushedbyAdaWorldAPI
  main

  Oct 10, 202641m 42s
  More actions for workflow run 169

• Merge pull request #181 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Docker Build#88:Commit7f2cc38pushedbyAdaWorldAPI
  main

  Oct 10, 202655s
  More actions for workflow run 88

• Merge pull request #181 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Build & Release#92:Commit7f2cc38pushedbyAdaWorldAPI
  main

  Oct 10, 20261m 30s
  More actions for workflow run 92

• clippy 1.99: make the CI Lint job's clippy step clean

  failed:
  Proof Suite#152:Pull request#181openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202613m 11s
  More actions for workflow run 152

• clippy 1.99: make the CI Lint job's clippy step clean

  failed:
  CI: Master (Build, Test, Lint)#168:Pull request#181openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202649m 43s
  More actions for workflow run 168

• Merge pull request #180 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  CI: Master (Build, Test, Lint)#167:Commitf57dc7dpushedbyAdaWorldAPI
  main

  Oct 10, 202656m 4s
  More actions for workflow run 167

• Merge pull request #180 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Build & Release#91:Commitf57dc7dpushedbyAdaWorldAPI
  main

  Oct 10, 20261m 18s
  More actions for workflow run 91

• Merge pull request #180 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Docker Build#87:Commitf57dc7dpushedbyAdaWorldAPI
  main

  Oct 10, 20261m 10s
  More actions for workflow run 87

• Merge pull request #180 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Proof Suite#151:Commitf57dc7dpushedbyAdaWorldAPI
  main

  Oct 10, 202612m 59s
  More actions for workflow run 151

• lance 13 / arrow 58 / datafusion 54

  failed:
  CI: Master (Build, Test, Lint)#166:Pull request#180synchronizebyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202658m 35s
  More actions for workflow run 166

• lance 13 / arrow 58 / datafusion 54

  failed:
  Proof Suite#150:Pull request#180synchronizebyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202617m 51s
  More actions for workflow run 150

• lance 13 / arrow 58 / datafusion 54

  failed:
  CI: Master (Build, Test, Lint)#165:Pull request#180synchronizebyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202616m 2s
  More actions for workflow run 165

• lance 13 / arrow 58 / datafusion 54

  failed:
  Proof Suite#149:Pull request#180synchronizebyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202614m 24s
  More actions for workflow run 149

• lance 13 / arrow 58 / datafusion 54

  failed:
  Proof Suite#148:Pull request#180openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202616m 26s
  More actions for workflow run 148

• lance 13 / arrow 58 / datafusion 54

  failed:
  CI: Master (Build, Test, Lint)#164:Pull request#180openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 202619m 35s
  More actions for workflow run 164

• Merge pull request #179 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Proof Suite#147:Commitbf8d696pushedbyAdaWorldAPI
  main

  Oct 10, 20262m 15s
  More actions for workflow run 147

• Merge pull request #179 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Build & Release#90:Commitbf8d696pushedbyAdaWorldAPI
  main

  Oct 10, 20261m 13s
  More actions for workflow run 90

• Merge pull request #179 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  Docker Build#86:Commitbf8d696pushedbyAdaWorldAPI
  main

  Oct 10, 20261m 17s
  More actions for workflow run 86

• Merge pull request #179 from AdaWorldAPI/ccr-edc85bd9-89tiwe

  failed:
  CI: Master (Build, Test, Lint)#163:Commitbf8d696pushedbyAdaWorldAPI
  main

  Oct 10, 20263m 49s
  More actions for workflow run 163

• Rust 1.98.1 → 1.99.0

  failed:
  Proof Suite#146:Pull request#179openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 20261m 45s
  More actions for workflow run 146

• Rust 1.98.1 → 1.99.0

  failed:
  CI: Master (Build, Test, Lint)#162:Pull request#179openedbyAdaWorldAPI
  ccr-edc85bd9-89tiwe

  Oct 10, 20263m 5s
  More actions for workflow run 162

• Merge pull request #178 from AdaWorldAPI/claude/llvm-codegen-polyfill…

  failed:
  Build & Release#89:Commitb95eb70pushedbyAdaWorldAPI
  main

  Sep 25, 20262m 34s
  More actions for workflow run 89

• Merge pull request #178 from AdaWorldAPI/claude/llvm-codegen-polyfill…

  failed:
  Docker Build#85:Commitb95eb70pushedbyAdaWorldAPI
  main

  Sep 25, 20261m 45s
  More actions for workflow run 85

• Merge pull request #178 from AdaWorldAPI/claude/llvm-codegen-polyfill…

  failed:
  CI: Master (Build, Test, Lint)#161:Commitb95eb70pushedbyAdaWorldAPI
  main

  Sep 25, 202612m 28s
  More actions for workflow run 161