All workflows

Workflow runs

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3384:Pull request#1393synchronizebycopybara-service[bot]Bot
  test_1004241090

  Oct 23, 202641s
  More actions for workflow run 3384

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9510:Pull request#1393synchronizebycopybara-service[bot]Bot
  test_1004241090

  Oct 23, 20262m 3s
  More actions for workflow run 9510

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

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

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3383:Pull request#1393synchronizebycopybara-service[bot]Bot
  test_1004241090

  Oct 23, 202642s
  More actions for workflow run 3383

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9509:Pull request#1393synchronizebycopybara-service[bot]Bot
  test_1004241090

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

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

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

• Print verifier counterexamples as CEL literals

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

  Oct 23, 202638s
  More actions for workflow run 3382

• Workflow started by copybara-service[bot].

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

  Oct 23, 20262m 59s
  More actions for workflow run 9508

• Print verifier counterexamples as CEL literals

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

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

  Oct 23, 202644s
  More actions for workflow run 3381

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9507:Commitf9fcf9fpushedbycopybara-service[bot]Bot
  main

  Oct 23, 20262m 44s
  More actions for workflow run 9507

• Workflow started by copybara-service[bot].

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

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

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

• Workflow started by copybara-service[bot].

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

  Oct 23, 20262m 47s
  More actions for workflow run 9505

• Print verifier counterexamples as CEL literals

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

  Oct 23, 202642s
  More actions for workflow run 3380

• Print verifier counterexamples as CEL literals

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

• Workflow started by copybara-service[bot].

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

  Oct 23, 20262m 10s
  More actions for workflow run 9504

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

  Oct 23, 202640s
  More actions for workflow run 3379

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

• 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