Skip to content

Actions: google/zerocopy

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
Normalize nested DST size formulas Dependency Review #11549: Pull request #3659 synchronize by jswrenn
53s Ger2cetjqc3naucboffw4r4hal423gaa5
Ger2cetjqc3naucboffw4r4hal423gaa5
53s
Normalize nested DST size formulas Google GitHub Admin: Actions Workflow Security Scan #1726: Pull request #3659 synchronize by jswrenn
1m 3s Ger2cetjqc3naucboffw4r4hal423gaa5
Ger2cetjqc3naucboffw4r4hal423gaa5
1m 3s
Normalize nested DST size formulas Build & Tests #15064: Pull request #3659 synchronize by jswrenn
20m 36s Ger2cetjqc3naucboffw4r4hal423gaa5
Ger2cetjqc3naucboffw4r4hal423gaa5
20m 36s
Normalize nested DST size formulas Anneal Tests #4543: Pull request #3659 synchronize by jswrenn
13m 8s Ger2cetjqc3naucboffw4r4hal423gaa5
Ger2cetjqc3naucboffw4r4hal423gaa5
13m 8s
Normalize nested DST size formulas GitHub Actions Scan #632: Pull request #3659 synchronize by jswrenn
30s
30s
Publish Rustdoc on GitHub Pages Publish Rustdoc on GitHub Pages #1137: completed by github-merge-queue Bot
12s
12s
Publish Rustdoc on GitHub Pages Publish Rustdoc on GitHub Pages #1136: completed by github-merge-queue Bot
2s
2s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Anneal Tests #4542: Pull request #3729 synchronize by joshlf
12m 11s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
12m 11s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Dependency Review #11548: Pull request #3729 synchronize by joshlf
21s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
21s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Google GitHub Admin: Actions Workflow Security Scan #1725: Pull request #3729 synchronize by joshlf
43s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
43s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Build & Tests #15063: Pull request #3729 synchronize by joshlf
6m 46s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
6m 46s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound GitHub Actions Scan #631: Pull request #3729 synchronize by joshlf
1m 25s
1m 25s
[CI] Bump github/codeql-action/upload-sarif in the all-actions group … Anneal Tests #4541: Commit cc135f4 pushed by github-merge-queue Bot
14m 30s main
main
14m 30s
[CI] Bump github/codeql-action/upload-sarif in the all-actions group … Scorecard supply-chain security #1926: Commit cc135f4 pushed by github-merge-queue Bot
18s main
main
18s
[CI] Bump github/codeql-action/upload-sarif in the all-actions group … Build & Tests #15062: Commit cc135f4 pushed by github-merge-queue Bot
1h 20m 8s main
main
1h 20m 8s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound GitHub Actions Scan #630: Pull request #3729 opened by joshlf
59s
59s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Anneal Tests #4540: Pull request #3729 opened by joshlf
13m 8s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
13m 8s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Google GitHub Admin: Actions Workflow Security Scan #1724: Pull request #3729 opened by joshlf
40s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
40s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Dependency Review #11547: Pull request #3729 opened by joshlf
28s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
28s
Bump Kani to 0.68.0, add pre-roll Kani test, and tighten Kani proof bound Build & Tests #15061: Pull request #3729 opened by joshlf
5m 47s codex/fix-failing-pr-submissions
codex/fix-failing-pr-submissions
5m 47s
Build & Tests Build & Tests #15060: Merge group checks requested
50m 58s
50m 58s
Anneal Tests Anneal Tests #4539: Merge group checks requested
16m 21s
16m 21s
GitHub Actions Scan GitHub Actions Scan #629: Merge group checks requested
2s
2s
[ci] Roll pinned Kani version Google GitHub Admin: Actions Workflow Security Scan #1723: Pull request #3728 opened by google-pr-creation-bot
43s google-pr-creation-bot:roll-pinned-kani-to-0.68.0-for-main
google-pr-creation-bot:roll-pinned-kani-to-0.68.0-for-main
43s
[ci] Roll pinned Kani version GitHub Actions Scan #628: Pull request #3728 opened by google-pr-creation-bot
1m 16s
1m 16s