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 aggregate semantics to Policy Compiler
Google GitHub Admin: Actions Workflow Security Scan #1742: Pull request #1052 synchronize by copybara-service Bot
Add aggregate semantics to Policy Compiler
GitHub Actions Scan #650: Pull request #1052 synchronize by copybara-service Bot
18s
Add aggregate semantics to Policy Compiler
Google GitHub Admin: Actions Workflow Security Scan #1741: Pull request #1052 synchronize by copybara-service Bot
Add aggregate semantics to Policy Compiler
GitHub Actions Scan #649: Pull request #1052 synchronize by copybara-service Bot
15s
Prevent spurious counterexamples on maps by tightening its domain
Google GitHub Admin: Actions Workflow Security Scan #1740: Pull request #1161 synchronize by copybara-service Bot
Handle AccumulatedUnknowns in execution plan.
Google GitHub Admin: Actions Workflow Security Scan #1738: Pull request #1158 synchronize by copybara-service Bot
Add REPL for Verifier
Google GitHub Admin: Actions Workflow Security Scan #1737: Pull request #1160 synchronize by copybara-service Bot
Add REPL for Verifier
GitHub Actions Scan #645: Pull request #1160 synchronize by copybara-service Bot
10s
Add REPL for Verifier
Google GitHub Admin: Actions Workflow Security Scan #1736: Pull request #1160 synchronize by copybara-service Bot
Add REPL for Verifier
GitHub Actions Scan #644: Pull request #1160 synchronize by copybara-service Bot
9s
Add REPL for Verifier
Google GitHub Admin: Actions Workflow Security Scan #1735: Pull request #1160 synchronize by copybara-service Bot
Add REPL for Verifier
GitHub Actions Scan #643: Pull request #1160 synchronize by copybara-service Bot
8s
ProTip! You can narrow down the results and go further in time using created:<2026-07-30 or the other filters available.