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

Implement custom policy invariants verification
Google GitHub Admin: Actions Workflow Security Scan #1488: Pull request #1128 synchronize by copybara-service Bot
Fix notStrictlyFalse semantics in verifier
Google GitHub Admin: Actions Workflow Security Scan #1487: Pull request #1126 synchronize by copybara-service Bot
Generate satisfiable model for isSatisfiable
Google GitHub Admin: Actions Workflow Security Scan #1486: Pull request #1127 synchronize by copybara-service Bot
Generate satisfiable model for isSatisfiable
GitHub Actions Scan #393: Pull request #1127 synchronize by copybara-service Bot
10s
Generate satisfiable model for isSatisfiable
Google GitHub Admin: Actions Workflow Security Scan #1485: Pull request #1127 synchronize by copybara-service Bot
Generate satisfiable model for isSatisfiable
Google GitHub Admin: Actions Workflow Security Scan #1484: Pull request #1127 synchronize by copybara-service Bot
Generate satisfiable model for isSatisfiable
GitHub Actions Scan #391: Pull request #1127 synchronize by copybara-service Bot
10s
Optimize SwitchBuilder to prune dead SMT branches
Google GitHub Admin: Actions Workflow Security Scan #1483: Pull request #1125 synchronize by copybara-service Bot
Optimize SwitchBuilder to prune dead SMT branches
Google GitHub Admin: Actions Workflow Security Scan #1482: Pull request #1125 synchronize by copybara-service Bot
Support cross-type numeric equality in verifier
Google GitHub Admin: Actions Workflow Security Scan #1481: Pull request #1124 synchronize by copybara-service Bot
ProTip! You can narrow down the results and go further in time using created:<2026-07-20 or the other filters available.