All workflows

Workflow runs

• 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

• 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