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

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Replace quantifiers with array extensionality for map bijection in verifier Google GitHub Admin: Actions Workflow Security Scan #1521: Pull request #1132 synchronize by copybara-service Bot
32m 0s test_952322614
test_952322614
32m 0s
Workflow started by copybara-service[bot]. CEL-Java CI #7445: Pull request #1132 synchronize by copybara-service Bot
55s test_952322614
test_952322614
55s
Replace quantifiers with array extensionality for map bijection in verifier GitHub Actions Scan #428: Pull request #1132 synchronize by copybara-service Bot
31m 56s
31m 56s
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology GitHub Actions Scan #427: Pull request #1133 opened by copybara-service Bot
18m 27s
18m 27s
Workflow started by copybara-service[bot]. CEL-Java CI #7444: Pull request #1133 opened by copybara-service Bot
22m 34s test_952324181
test_952324181
22m 34s
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology Google GitHub Admin: Actions Workflow Security Scan #1520: Pull request #1133 opened by copybara-service Bot
19m 38s test_952324181
test_952324181
19m 38s
Replace quantifiers with array extensionality for map bijection in verifier GitHub Actions Scan #426: Pull request #1132 opened by copybara-service Bot
21m 20s
21m 20s
Replace quantifiers with array extensionality for map bijection in verifier Google GitHub Admin: Actions Workflow Security Scan #1519: Pull request #1132 opened by copybara-service Bot
23m 5s test_952322614
test_952322614
23m 5s
Workflow started by copybara-service[bot]. CEL-Java CI #7443: Pull request #1132 opened by copybara-service Bot
9m 44s test_952322614
test_952322614
9m 44s
Add optional pruning operator (?foo) handling to CEL Java's verifier Google GitHub Admin: Actions Workflow Security Scan #1518: Pull request #1131 synchronize by copybara-service Bot
1m 19s test_952272336
test_952272336
1m 19s
Workflow started by copybara-service[bot]. CEL-Java CI #7442: Pull request #1131 synchronize by copybara-service Bot
3m 13s test_952272336
test_952272336
3m 13s
Add optional pruning operator (?foo) handling to CEL Java's verifier GitHub Actions Scan #425: Pull request #1131 synchronize by copybara-service Bot
35s
35s
Add optional pruning operator (?foo) handling to CEL Java's verifier Google GitHub Admin: Actions Workflow Security Scan #1517: Pull request #1131 synchronize by copybara-service Bot
2m 31s test_952272336
test_952272336
2m 31s
Workflow started by copybara-service[bot]. CEL-Java CI #7441: Pull request #1131 synchronize by copybara-service Bot
5m 5s test_952272336
test_952272336
5m 5s
Add optional pruning operator (?foo) handling to CEL Java's verifier GitHub Actions Scan #424: Pull request #1131 synchronize by copybara-service Bot
1m 58s
1m 58s
Add optional pruning operator (?foo) handling to CEL Java's verifier Google GitHub Admin: Actions Workflow Security Scan #1516: Pull request #1131 synchronize by copybara-service Bot
47s test_952272336
test_952272336
47s
Workflow started by copybara-service[bot]. CEL-Java CI #7440: Pull request #1131 synchronize by copybara-service Bot
3m 27s test_952272336
test_952272336
3m 27s
Add optional pruning operator (?foo) handling to CEL Java's verifier GitHub Actions Scan #423: Pull request #1131 synchronize by copybara-service Bot
15s
15s
Workflow started by copybara-service[bot]. CEL-Java CI #7439: Pull request #1131 synchronize by copybara-service Bot
4m 0s test_952272336
test_952272336
4m 0s
Add optional pruning operator (?foo) handling to CEL Java's verifier Google GitHub Admin: Actions Workflow Security Scan #1515: Pull request #1131 synchronize by copybara-service Bot
47s test_952272336
test_952272336
47s
Add optional pruning operator (?foo) handling to CEL Java's verifier GitHub Actions Scan #422: Pull request #1131 synchronize by copybara-service Bot
9s
9s
Add optional pruning operator (?foo) handling to CEL Java's verifier Google GitHub Admin: Actions Workflow Security Scan #1514: Pull request #1131 opened by copybara-service Bot
50s test_952272336
test_952272336
50s
Add optional pruning operator (?foo) handling to CEL Java's verifier GitHub Actions Scan #421: Pull request #1131 opened by copybara-service Bot
15s
15s
Workflow started by copybara-service[bot]. CEL-Java CI #7438: Pull request #1131 opened by copybara-service Bot
1m 44s test_952272336
test_952272336
1m 44s
Workflow started by copybara-service[bot]. CEL-Java CI #7437: Pull request #1116 synchronize by copybara-service Bot
3m 58s test_944425297
test_944425297
3m 58s