All workflows

Workflow runs

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

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

• Workflow started by copybara-service[bot].

  cancelled:
  CEL-Java CI#9431:Pull request#1388synchronizebycopybara-service[bot]Bot
  test_1003545735

  Oct 21, 20261m 34s
  More actions for workflow run 9431

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

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

  Oct 21, 202644s
  More actions for workflow run 3317

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

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

• Give each uninterpreted overload its own solver symbol

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

  Oct 21, 202647s
  More actions for workflow run 3316

• Workflow started by copybara-service[bot].

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

  Oct 21, 20262m 43s
  More actions for workflow run 9430

• Give each uninterpreted overload its own solver symbol

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

• Treat all uninterpreted function results as approximate

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3315:Pull request#1385synchronizebycopybara-service[bot]Bot
  test_1003496089

  Oct 21, 202642s
  More actions for workflow run 3315

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9429:Pull request#1385synchronizebycopybara-service[bot]Bot
  test_1003496089

  Oct 21, 20262m 47s
  More actions for workflow run 9429

• Treat all uninterpreted function results as approximate

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9428:Commit04050abpushedbycopybara-service[bot]Bot
  main

  Oct 21, 20262m 26s
  More actions for workflow run 9428

• Support protobuf Timestamp and Duration Well-Known Types with nanosecond precision in CelVerifier.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3314:Pull request#1374synchronizebycopybara-service[bot]Bot
  test_1002491365

  Oct 21, 202644s
  More actions for workflow run 3314

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9427:Pull request#1374synchronizebycopybara-service[bot]Bot
  test_1002491365

  Oct 21, 20263m 5s
  More actions for workflow run 9427

• Support protobuf Timestamp and Duration Well-Known Types with nanosecond precision in CelVerifier.

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9426:Pull request#1374synchronizebycopybara-service[bot]Bot
  test_1002491365

  Oct 21, 20262m 54s
  More actions for workflow run 9426

• Support protobuf Timestamp and Duration Well-Known Types with nanosecond precision in CelVerifier.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3313:Pull request#1374synchronizebycopybara-service[bot]Bot
  test_1002491365

  Oct 21, 202647s
  More actions for workflow run 3313

• Support protobuf Timestamp and Duration Well-Known Types with nanosecond precision in CelVerifier.

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

• Expose the verifier's counterexamples as structured CelWitness values

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

• Expose the verifier's counterexamples as structured CelWitness values

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

  Oct 21, 202641s
  More actions for workflow run 3312

• Workflow started by copybara-service[bot].

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

  Oct 21, 20262m 22s
  More actions for workflow run 9425

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9424:Commit1675f38pushedbycopybara-service[bot]Bot
  main

  Oct 21, 20265m 22s
  More actions for workflow run 9424

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9423:Pull request#1379synchronizebycopybara-service[bot]Bot
  test_1002722666

  Oct 21, 20264m 11s
  More actions for workflow run 9423

• Replace DescriptorTypeResolver with TypeResolver in CelRuntimeImpl and deprecate DescriptorTypeResolver.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3311:Pull request#1379synchronizebycopybara-service[bot]Bot
  test_1002722666

  Oct 21, 202641s
  More actions for workflow run 3311

• Replace DescriptorTypeResolver with TypeResolver in CelRuntimeImpl and deprecate DescriptorTypeResolver.

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9422:Pull request#1364synchronizebycopybara-service[bot]Bot
  test_1000599959

  Oct 21, 20265m 40s
  More actions for workflow run 9422