All workflows

Workflow runs

• Fold constant list and map literals into constants at plan time

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

• Extract shared parts of duplicates first in SubexpressionOptimizer

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

• Extract shared parts of duplicates first in SubexpressionOptimizer

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3426:Pull request#1406openedbycopybara-service[bot]Bot
  test_1005861790

  Oct 23, 202637s
  More actions for workflow run 3426

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9561:Pull request#1406openedbycopybara-service[bot]Bot
  test_1005861790

  Oct 23, 20264m 14s
  More actions for workflow run 9561

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9560:Commit06bdd22pushedbycopybara-service[bot]Bot
  main

  Oct 23, 20263m 20s
  More actions for workflow run 9560

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9559:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20262m 42s
  More actions for workflow run 9559

• Print verifier counterexamples as CEL literals

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3425:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20261m 15s
  More actions for workflow run 3425

• Print verifier counterexamples as CEL literals

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9558:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20262m 57s
  More actions for workflow run 9558

• Print verifier counterexamples as CEL literals

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3424:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 202647s
  More actions for workflow run 3424

• Print verifier counterexamples as CEL literals

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

• Check verifier witnesses against the CEL runtime in tests

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9557:Pull request#1405openedbycopybara-service[bot]Bot
  test_1005749169

  Oct 23, 20263m 7s
  More actions for workflow run 9557

• Check verifier witnesses against the CEL runtime in tests

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3423:Pull request#1405openedbycopybara-service[bot]Bot
  test_1005749169

  Oct 23, 20261m 10s
  More actions for workflow run 3423

• Expose the verifier's counterexamples as structured CelWitness values

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

  Oct 23, 20261m 7s
  More actions for workflow run 3422

• Workflow started by copybara-service[bot].

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

  Oct 23, 20262m 52s
  More actions for workflow run 9556

• Expose the verifier's counterexamples as structured CelWitness values

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9555:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20263m 6s
  More actions for workflow run 9555

• Print verifier counterexamples as CEL literals

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3421:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20261m 7s
  More actions for workflow run 3421

• Print verifier counterexamples as CEL literals

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

• Hoist loop-invariant subexpressions in SubexpressionOptimizer

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

  Oct 23, 20261m 4s
  More actions for workflow run 3420

• Workflow started by copybara-service[bot].

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

  Oct 23, 20264m 6s
  More actions for workflow run 9554

• Hoist loop-invariant subexpressions in SubexpressionOptimizer

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9553:Pull request#1384synchronizebycopybara-service[bot]Bot
  test_1003358263

  Oct 23, 20264m 1s
  More actions for workflow run 9553

• Add value numbering to SubexpressionOptimizer for commutative operators and relational converses

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3419:Pull request#1384synchronizebycopybara-service[bot]Bot
  test_1003358263

  Oct 23, 202646s
  More actions for workflow run 3419