All workflows

Workflow runs

• Allow double(string) to return NaN

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3341:Pull request#1390synchronizebycopybara-service[bot]Bot
  test_1003575251

  Oct 22, 202636s
  More actions for workflow run 3341

• Allow double(string) to return NaN

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

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

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

• Extract CelZ3TypeConstraintGenerator from CelAstToZ3Translator

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

  Oct 22, 202645s
  More actions for workflow run 3340

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 29s
  More actions for workflow run 9460

• Add canonical CEL signature parsing and YAML environment signature support.

  completed successfully:
  Google GitHub Admin: Actions Workflow Security Scan#3339:Pull request#1364synchronizebycopybara-service[bot]Bot
  test_1000599959

  Oct 22, 202648s
  More actions for workflow run 3339

• Workflow started by copybara-service[bot].

  failed:
  CEL-Java CI#9459:Pull request#1364synchronizebycopybara-service[bot]Bot
  test_1000599959

  Oct 22, 20265m 56s
  More actions for workflow run 9459

• Add canonical CEL signature parsing and YAML environment signature support.

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9458:Commitefeafc5pushedbycopybara-service[bot]Bot
  main

  Oct 22, 20262m 40s
  More actions for workflow run 9458

• Add axioms for comparison operators for booleans

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

  Oct 22, 202639s
  More actions for workflow run 3338

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 59s
  More actions for workflow run 9457

• Add axioms for comparison operators for booleans

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

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

• Move CEL-agnostic Z3 expression helpers out of CelZ3TypeSystem

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

  Oct 22, 202645s
  More actions for workflow run 3337

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 19s
  More actions for workflow run 9456

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 43s
  More actions for workflow run 9455

• Add axioms for comparison operators for booleans

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

  Oct 22, 202646s
  More actions for workflow run 3336

• Add axioms for comparison operators for booleans

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

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 53s
  More actions for workflow run 9454

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

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

  Oct 22, 202644s
  More actions for workflow run 3335

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

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

• Workflow started by copybara-service[bot].

  completed successfully:
  CEL-Java CI#9453:Commit6ef4a7bpushedbycopybara-service[bot]Bot
  main

  Oct 22, 20262m 49s
  More actions for workflow run 9453

• Workflow started by copybara-service[bot].

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

  Oct 22, 20262m 36s
  More actions for workflow run 9452

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

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

  Oct 22, 202642s
  More actions for workflow run 3334

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

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