All workflows

Workflow runs

• Workflow started by copybara-service[bot].

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

  Oct 22, 202623m 4s
  More actions for workflow run 9503

• Expose the verifier's counterexamples as structured CelWitness values

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

  Oct 22, 202621m 18s
  More actions for workflow run 3378

• Expose the verifier's counterexamples as structured CelWitness values

  completed successfully:
  GitHub Actions Scan#2292:Pull request#1391synchronizebycopybara-service[bot]Bot
  Oct 22, 202620m 38s
  More actions for workflow run 2292

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9502:Commite93b6e3pushedbycopybara-service[bot]Bot
  main

  Oct 22, 202635m 31s
  More actions for workflow run 9502

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

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

  Oct 22, 202632m 4s
  More actions for workflow run 3377

• Workflow started by copybara-service[bot].

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

  Oct 22, 202636m 51s
  More actions for workflow run 9501

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

  completed successfully:
  GitHub Actions Scan#2291:Pull request#1384synchronizebycopybara-service[bot]Bot
  Oct 22, 202631m 1s
  More actions for workflow run 2291

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

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

  Oct 22, 202631m 44s
  More actions for workflow run 3376

• Workflow started by copybara-service[bot].

  cancelled:
  CEL-Java CI#9500:Pull request#1384synchronizebycopybara-service[bot]Bot
  test_1003358263

  Oct 22, 20261m 53s
  More actions for workflow run 9500

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

  completed successfully:
  GitHub Actions Scan#2290:Pull request#1384synchronizebycopybara-service[bot]Bot
  Oct 22, 202631m 44s
  More actions for workflow run 2290

• Workflow started by copybara-service[bot].

  cancelled:
  CEL-Java CI#9499:Pull request#1384synchronizebycopybara-service[bot]Bot
  test_1003358263

  Oct 22, 20263m 44s
  More actions for workflow run 9499

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

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

  Oct 22, 202628m 59s
  More actions for workflow run 3375

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

  completed successfully:
  GitHub Actions Scan#2289:Pull request#1384synchronizebycopybara-service[bot]Bot
  Oct 22, 202627m 44s
  More actions for workflow run 2289

• Expose the verifier's counterexamples as structured CelWitness values

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

  Oct 22, 202629m 29s
  More actions for workflow run 3374

• Workflow started by copybara-service[bot].

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

  Oct 22, 202632m 52s
  More actions for workflow run 9498

• Expose the verifier's counterexamples as structured CelWitness values

  completed successfully:
  GitHub Actions Scan#2288:Pull request#1391synchronizebycopybara-service[bot]Bot
  Oct 22, 202629m 5s
  More actions for workflow run 2288

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

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

  Oct 22, 202629m 55s
  More actions for workflow run 3373

• Workflow started by copybara-service[bot].

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

  Oct 22, 202634m 39s
  More actions for workflow run 9497

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

  completed successfully:
  GitHub Actions Scan#2287:Pull request#1384synchronizebycopybara-service[bot]Bot
  Oct 22, 202629m 24s
  More actions for workflow run 2287

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9496:Pull request#1396synchronizebycopybara-service[bot]Bot
  test_1004364292

  Oct 22, 202639m 57s
  More actions for workflow run 9496

• Cover verifier behavior that no test exercised

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3372:Pull request#1396synchronizebycopybara-service[bot]Bot
  test_1004364292

  Oct 22, 202636m 27s
  More actions for workflow run 3372

• Cover verifier behavior that no test exercised

  completed successfully:
  GitHub Actions Scan#2286:Pull request#1396synchronizebycopybara-service[bot]Bot
  Oct 22, 202635m 55s
  More actions for workflow run 2286

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3371:Pull request#1392synchronizebycopybara-service[bot]Bot
  test_1004241088

  Oct 22, 202639m 4s
  More actions for workflow run 3371

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9495:Pull request#1392synchronizebycopybara-service[bot]Bot
  test_1004241088

  Oct 22, 202643m 36s
  More actions for workflow run 9495

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

  completed successfully:
  GitHub Actions Scan#2285:Pull request#1392synchronizebycopybara-service[bot]Bot
  Oct 22, 202638m 27s
  More actions for workflow run 2285