All workflows

Workflow runs

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9525:Pull request#1383synchronizebycopybara-service[bot]Bot
  test_1003153382

  Oct 23, 20265m 50s
  More actions for workflow run 9525

• Report a non-bool condition of the conditional operator as a type mismatch.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3396:Pull request#1383synchronizebycopybara-service[bot]Bot
  test_1003153382

  Oct 23, 202641s
  More actions for workflow run 3396

• Report a non-bool condition of the conditional operator as a type mismatch.

  completed successfully:
  GitHub Actions Scan#2310:Pull request#1383synchronizebycopybara-service[bot]Bot
  Oct 23, 20268s
  More actions for workflow run 2310

• No public description

  completed successfully:
  GitHub Actions Scan#2309:Pull request#1402openedbycopybara-service[bot]Bot
  Oct 23, 20267s
  More actions for workflow run 2309

• Workflow started by copybara-service[bot].

  failed:
  CEL-Java CI#9524:Pull request#1402openedbycopybara-service[bot]Bot
  test_1005204875

  Oct 23, 20263m 16s
  More actions for workflow run 9524

• No public description

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3395:Pull request#1402openedbycopybara-service[bot]Bot
  test_1005204875

  Oct 23, 202647s
  More actions for workflow run 3395

• Hoist loop-invariant subexpressions in SubexpressionOptimizer

  completed successfully:
  GitHub Actions Scan#2308:Pull request#1401openedbycopybara-service[bot]Bot
  Oct 23, 202610s
  More actions for workflow run 2308

• Hoist loop-invariant subexpressions in SubexpressionOptimizer

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3394:Pull request#1401openedbycopybara-service[bot]Bot
  test_1005057100

  Oct 23, 202647s
  More actions for workflow run 3394

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9523:Pull request#1401openedbycopybara-service[bot]Bot
  test_1005057100

  Oct 23, 20263m 52s
  More actions for workflow run 9523

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9522:Pull request#1395synchronizebycopybara-service[bot]Bot
  test_1004241087

  Oct 23, 20262m 34s
  More actions for workflow run 9522

• Extract CelZ3ComprehensionTranslator from CelAstToZ3Translator

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3393:Pull request#1395synchronizebycopybara-service[bot]Bot
  test_1004241087

  Oct 23, 202648s
  More actions for workflow run 3393

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9521:Commit04133e7pushedbycopybara-service[bot]Bot
  main

  Oct 23, 20262m 24s
  More actions for workflow run 9521

• Extract CelZ3ComprehensionTranslator from CelAstToZ3Translator

  completed successfully:
  GitHub Actions Scan#2307:Pull request#1395synchronizebycopybara-service[bot]Bot
  Oct 23, 20268s
  More actions for workflow run 2307

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9520:Pull request#1395synchronizebycopybara-service[bot]Bot
  test_1004241087

  Oct 23, 20262m 40s
  More actions for workflow run 9520

• Extract CelZ3ComprehensionTranslator from CelAstToZ3Translator

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3392:Pull request#1395synchronizebycopybara-service[bot]Bot
  test_1004241087

  Oct 23, 202642s
  More actions for workflow run 3392

• Extract CelZ3ComprehensionTranslator from CelAstToZ3Translator

  completed successfully:
  GitHub Actions Scan#2306:Pull request#1395synchronizebycopybara-service[bot]Bot
  Oct 23, 202611s
  More actions for workflow run 2306

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9519:Commiteeeb6dcpushedbycopybara-service[bot]Bot
  main

  Oct 23, 20262m 33s
  More actions for workflow run 9519

• Share translation state through CelZ3TranslationContext

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3391:Pull request#1394synchronizebycopybara-service[bot]Bot
  test_1004241089

  Oct 23, 202643s
  More actions for workflow run 3391

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9518:Pull request#1394synchronizebycopybara-service[bot]Bot
  test_1004241089

  Oct 23, 20262m 13s
  More actions for workflow run 9518

• Share translation state through CelZ3TranslationContext

  completed successfully:
  GitHub Actions Scan#2305:Pull request#1394synchronizebycopybara-service[bot]Bot
  Oct 23, 20269s
  More actions for workflow run 2305

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9517:Pull request#1391synchronizebycopybara-service[bot]Bot
  test_1004026905

  Oct 23, 20264m 0s
  More actions for workflow run 9517

• Expose the verifier's counterexamples as structured CelWitness values

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3390:Pull request#1391synchronizebycopybara-service[bot]Bot
  test_1004026905

  Oct 23, 202648s
  More actions for workflow run 3390

• Expose the verifier's counterexamples as structured CelWitness values

  completed successfully:
  GitHub Actions Scan#2304:Pull request#1391synchronizebycopybara-service[bot]Bot
  Oct 23, 202610s
  More actions for workflow run 2304

• Workflow started by copybara-service[bot].

  cancelled:
  CEL-Java CI#9516:Pull request#1391synchronizebycopybara-service[bot]Bot
  test_1004026905

  Oct 23, 20262m 50s
  More actions for workflow run 9516

• Expose the verifier's counterexamples as structured CelWitness values

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3389:Pull request#1391synchronizebycopybara-service[bot]Bot
  test_1004026905

  Oct 23, 202638s
  More actions for workflow run 3389