Skip to content

Actions: davidly/dcc

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
pages build and deployment pages-build-deployment #1298: by github-pages Bot
3m 28s gh-pages
gh-pages
3m 28s
Merge pull request #208 from davidly/proof-fixes Generate Docs and Deploy to GitHub Pages #1399: Commit b67be84 pushed by gloveboxes
32s main
main
32s
Merge pull request #208 from davidly/proof-fixes CI #2115: Commit b67be84 pushed by gloveboxes
6m 35s main
main
6m 35s
Update baseline SHA256 hashes and expected outcomes in audit scripts CI #2114: Pull request #208 opened by gloveboxes
7m 16s proof-fixes
proof-fixes
7m 16s
Update baseline SHA256 hashes and expected outcomes in audit scripts CI #2113: Commit bf74485 pushed by gloveboxes
5m 35s proof-fixes
proof-fixes
5m 35s
Harden Ubuntu LLVM discovery and coverage peer selection CI #2112: Commit 073f80a pushed by gloveboxes
6m 0s test/ast-mir-proof-next
test/ast-mir-proof-next
6m 0s
Resolve and export LLVM coverage tools in proof runner CI #2111: Commit 30cbb2b pushed by gloveboxes
5m 14s test/ast-mir-proof-next
test/ast-mir-proof-next
5m 14s
pages build and deployment pages-build-deployment #1297: by github-pages Bot
34s gh-pages
gh-pages
34s
Merge PR #207: compiler correctness checkpoint and portable handoff CI #2110: Commit 54b44e1 pushed by gloveboxes
5m 41s main
main
5m 41s
Merge PR #207: compiler correctness checkpoint and portable handoff Generate Docs and Deploy to GitHub Pages #1398: Commit 54b44e1 pushed by gloveboxes
25s main
main
25s
test/ast-mir-proof-next CI #2109: Pull request #207 synchronize by gloveboxes
4m 15s test/ast-mir-proof-next
test/ast-mir-proof-next
4m 15s
Document portable next-phase compiler correctness handoff CI #2108: Commit 5fa3352 pushed by gloveboxes
5m 52s test/ast-mir-proof-next
test/ast-mir-proof-next
5m 52s
test/ast-mir-proof-next CI #2107: Pull request #207 opened by gloveboxes
1m 15s test/ast-mir-proof-next
test/ast-mir-proof-next
1m 15s
Record locally verified four-matcher correctness phase CI #2106: Commit 28f3c5a pushed by gloveboxes
6m 17s test/ast-mir-proof-next
test/ast-mir-proof-next
6m 17s
pages build and deployment pages-build-deployment #1296: by github-pages Bot
26s gh-pages
gh-pages
26s
Merge pull request #205 from davidly/optimize-runall-runners Generate Docs and Deploy to GitHub Pages #1397: Commit 1dc57ab pushed by gloveboxes
26s main
main
26s
Merge pull request #205 from davidly/optimize-runall-runners CI #2105: Commit 1dc57ab pushed by gloveboxes
5m 57s main
main
5m 57s
Optimize Python test runner CI #2104: Pull request #205 synchronize by gloveboxes
3m 14s optimize-runall-runners
optimize-runall-runners
3m 14s
Optimize Python test runner CI #2103: Commit e205abb pushed by gloveboxes
5m 38s optimize-runall-runners
optimize-runall-runners
5m 38s
Optimize PowerShell test runners CI #2102: Pull request #206 opened by gloveboxes
5m 36s optimize-powershell-runners
optimize-powershell-runners
5m 36s
Optimize PowerShell test runners CI #2101: Commit c8fc1a9 pushed by gloveboxes
5m 37s optimize-powershell-runners
optimize-powershell-runners
5m 37s
Optimize Python test runner CI #2100: Pull request #205 synchronize by gloveboxes
5m 37s optimize-runall-runners
optimize-runall-runners
5m 37s
Optimize Python test runner CI #2099: Commit 4f68a41 pushed by gloveboxes
5m 40s optimize-runall-runners
optimize-runall-runners
5m 40s
Optimize Python test runner CI #2098: Pull request #205 opened by gloveboxes
5m 31s optimize-runall-runners
optimize-runall-runners
5m 31s
Optimize parallel test runners CI #2097: Commit 6e41af9 pushed by gloveboxes
5m 6s optimize-runall-runners
optimize-runall-runners
5m 6s