All workflows

Workflow runs

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9395:Pull request#1390openedbycopybara-service[bot]Bot
  test_1003575251

  Oct 21, 20265m 13s
  More actions for workflow run 9395

• Add axioms for comparison operators for booleans

  completed successfully:
  GitHub Actions Scan#2196:Pull request#1389openedbycopybara-service[bot]Bot
  Oct 21, 202610s
  More actions for workflow run 2196

• Add axioms for comparison operators for booleans

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3283:Pull request#1389openedbycopybara-service[bot]Bot
  test_1003562618

  Oct 21, 202639s
  More actions for workflow run 3283

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9394:Pull request#1389openedbycopybara-service[bot]Bot
  test_1003562618

  Oct 21, 20264m 20s
  More actions for workflow run 9394

• Don't report exact verdicts that depend on uninterpreted conversion results

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9393:Pull request#1388openedbycopybara-service[bot]Bot
  test_1003545735

  Oct 21, 20265m 21s
  More actions for workflow run 9393

• Don't report exact verdicts that depend on uninterpreted conversion results

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3282:Pull request#1388openedbycopybara-service[bot]Bot
  test_1003545735

  Oct 21, 202645s
  More actions for workflow run 3282

• No public description

  completed successfully:
  GitHub Actions Scan#2194:Pull request#1387openedbycopybara-service[bot]Bot
  Oct 21, 202659s
  More actions for workflow run 2194

• No public description

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3281:Pull request#1387openedbycopybara-service[bot]Bot
  test_1003523635

  Oct 21, 20261m 35s
  More actions for workflow run 3281

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9392:Pull request#1387openedbycopybara-service[bot]Bot
  test_1003523635

  Oct 21, 20267m 2s
  More actions for workflow run 9392

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9391:Commit3ae6d80pushedbycopybara-service[bot]Bot
  main

  Oct 21, 20265m 32s
  More actions for workflow run 9391

• Support google.protobuf.Any leaves in select-optimized ASTs.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3280:Pull request#1380synchronizebycopybara-service[bot]Bot
  test_1002711783

  Oct 21, 202635s
  More actions for workflow run 3280

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9390:Pull request#1380synchronizebycopybara-service[bot]Bot
  test_1002711783

  Oct 21, 20265m 42s
  More actions for workflow run 9390

• Support google.protobuf.Any leaves in select-optimized ASTs.

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

• Workflow started by copybara-service[bot].

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

  Oct 21, 20264m 13s
  More actions for workflow run 9389

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

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

  Oct 21, 202646s
  More actions for workflow run 3279

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

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

• Support google.protobuf.Any leaves in select-optimized ASTs.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3278:Pull request#1380synchronizebycopybara-service[bot]Bot
  test_1002711783

  Oct 21, 20261m 33s
  More actions for workflow run 3278

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9388:Pull request#1380synchronizebycopybara-service[bot]Bot
  test_1002711783

  Oct 21, 20266m 2s
  More actions for workflow run 9388

• Support google.protobuf.Any leaves in select-optimized ASTs.

  completed successfully:
  GitHub Actions Scan#2191:Pull request#1380synchronizebycopybara-service[bot]Bot
  Oct 21, 202659s
  More actions for workflow run 2191

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9387:Pull request#1386synchronizebycopybara-service[bot]Bot
  test_1003517315

  Oct 21, 20264m 49s
  More actions for workflow run 9387

• Give each uninterpreted overload its own solver symbol

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3277:Pull request#1386synchronizebycopybara-service[bot]Bot
  test_1003517315

  Oct 21, 20262m 55s
  More actions for workflow run 3277

• Give each uninterpreted overload its own solver symbol

  completed successfully:
  GitHub Actions Scan#2190:Pull request#1386synchronizebycopybara-service[bot]Bot
  Oct 21, 20262m 14s
  More actions for workflow run 2190

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9386:Commitb956512pushedbycopybara-service[bot]Bot
  main

  Oct 21, 20264m 51s
  More actions for workflow run 9386

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9385:Pull request#1376synchronizebycopybara-service[bot]Bot
  test_1002605997

  Oct 21, 20264m 24s
  More actions for workflow run 9385