Skip to content

Actions: cel-expr/cel-java

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add variable bounds for optionals in verifier
GitHub Actions Scan #443: Pull request #1135 synchronize by copybara-service Bot
11m 1s
Add variable bounds for optionals in verifier
Google GitHub Admin: Actions Workflow Security Scan #1535: Pull request #1135 synchronize by copybara-service Bot
16m 23s test_952363986
Add variable bounds for optionals in verifier
GitHub Actions Scan #442: Pull request #1135 synchronize by copybara-service Bot
15m 48s
Add variable bounds for optionals in verifier
GitHub Actions Scan #441: Pull request #1135 opened by copybara-service Bot
15m 35s
Add variable bounds for optionals in verifier
Google GitHub Admin: Actions Workflow Security Scan #1534: Pull request #1135 opened by copybara-service Bot
15m 55s test_952363986
Replace quantifiers with array extensionality for map bijection in verifier
Google GitHub Admin: Actions Workflow Security Scan #1533: Pull request #1132 synchronize by copybara-service Bot
Replace quantifiers with array extensionality for map bijection in verifier
Google GitHub Admin: Actions Workflow Security Scan #1532: Pull request #1132 synchronize by copybara-service Bot
Add optional pruning operator (?foo) handling to CEL Java's verifier
Google GitHub Admin: Actions Workflow Security Scan #1531: Pull request #1131 synchronize by copybara-service Bot
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology
Google GitHub Admin: Actions Workflow Security Scan #1530: Pull request #1133 synchronize by copybara-service Bot
11m 49s test_952324181
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology
Google GitHub Admin: Actions Workflow Security Scan #1529: Pull request #1133 synchronize by copybara-service Bot
11m 59s test_952324181
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology
Google GitHub Admin: Actions Workflow Security Scan #1528: Pull request #1133 synchronize by copybara-service Bot
13m 27s test_952324181