All workflows

Workflow runs

• Expose the verifier's counterexamples as structured CelWitness values

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

• Print verifier counterexamples as CEL literals

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

  Oct 23, 202645s
  More actions for workflow run 3388

• Workflow started by copybara-service[bot].

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

  Oct 23, 20266m 9s
  More actions for workflow run 9515

• Print verifier counterexamples as CEL literals

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

• Workflow started by copybara-service[bot].

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

  Oct 23, 20262m 43s
  More actions for workflow run 9514

• Share translation state through CelZ3TranslationContext

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

  Oct 23, 202642s
  More actions for workflow run 3387

• Workflow started by copybara-service[bot].

  cancelled:
  CEL-Java CI#9513:Pull request#1399synchronizebycopybara-service[bot]Bot
  test_1005088963

  Oct 23, 20262m 38s
  More actions for workflow run 9513

• Print verifier counterexamples as CEL literals

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

  Oct 23, 202650s
  More actions for workflow run 3386

• Share translation state through CelZ3TranslationContext

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

• Print verifier counterexamples as CEL literals

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9512:Pull request#1400openedbycopybara-service[bot]Bot
  test_1005229527

  Oct 23, 20261m 59s
  More actions for workflow run 9512

• Switch CEL-Java CI workflow jobs to cel-java-ubuntu-4core runner

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

• Switch CEL-Java CI workflow jobs to cel-java-ubuntu-4core runner

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3385:Pull request#1400openedbycopybara-service[bot]Bot
  test_1005229527

  Oct 23, 202633s
  More actions for workflow run 3385

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9511:Commit12f5b65pushedbycopybara-service[bot]Bot
  main

  Oct 23, 20262m 54s
  More actions for workflow run 9511

• 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