Skip to content

Actions: brownsys/paralegal

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
939 workflow runs
939 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"Forward" cross-crate PDG construction
Rust #584: Pull request #153 synchronize by JustusAdam
May 28, 2024 22:24 5m 8s cross-crate
May 28, 2024 22:24 5m 8s
"Forward" cross-crate PDG construction
Rust #583: Pull request #153 opened by JustusAdam
May 28, 2024 21:47 6m 30s cross-crate
May 28, 2024 21:47 6m 30s
Enable all cargo tests in CI
Rust #582: Pull request #151 opened by JustusAdam
May 10, 2024 21:10 3m 48s all-tests
May 10, 2024 21:10 3m 48s
pages build and deployment
pages-build-deployment #88: by github-pages bot
May 10, 2024 21:04 2m 6s
May 10, 2024 21:04 2m 6s
Optimize graph construction (#150)
Automated Documentation Update #102: Commit a451682 pushed by JustusAdam
May 10, 2024 21:01 2m 38s main
May 10, 2024 21:01 2m 38s
Optimize graph construction (#150)
Rust #581: Commit a451682 pushed by JustusAdam
May 10, 2024 21:01 6m 16s main
May 10, 2024 21:01 6m 16s
Optimize graph construction
Rust #580: Pull request #150 synchronize by JustusAdam
May 10, 2024 20:55 5m 4s optimized-graph-construction
May 10, 2024 20:55 5m 4s
Optimize graph construction
Rust #579: Pull request #150 synchronize by JustusAdam
May 10, 2024 20:50 4m 43s optimized-graph-construction
May 10, 2024 20:50 4m 43s
Optimize graph construction
Rust #578: Pull request #150 opened by JustusAdam
May 10, 2024 20:42 2m 36s optimized-graph-construction
May 10, 2024 20:42 2m 36s
pages build and deployment
pages-build-deployment #87: by github-pages bot
May 2, 2024 00:57 1m 51s
May 2, 2024 00:57 1m 51s
SOSP improvements (#149)
Rust #577: Commit 074d847 pushed by JustusAdam
May 2, 2024 00:54 5m 29s main
May 2, 2024 00:54 5m 29s
SOSP improvements (#149)
Automated Documentation Update #101: Commit 074d847 pushed by JustusAdam
May 2, 2024 00:54 2m 57s main
May 2, 2024 00:54 2m 57s
SOSP improvements
Rust #576: Pull request #149 synchronize by JustusAdam
May 1, 2024 20:33 4m 55s sosp
May 1, 2024 20:33 4m 55s
SOSP improvements
Rust #575: Pull request #149 synchronize by JustusAdam
May 1, 2024 20:22 4m 58s sosp
May 1, 2024 20:22 4m 58s
SOSP improvements
Rust #574: Pull request #149 synchronize by JustusAdam
May 1, 2024 19:00 5m 35s sosp
May 1, 2024 19:00 5m 35s
SOSP improvements
Rust #573: Pull request #149 synchronize by JustusAdam
May 1, 2024 17:51 4m 36s sosp
May 1, 2024 17:51 4m 36s
SOSP improvements
Rust #572: Pull request #149 opened by JustusAdam
May 1, 2024 15:53 2m 37s sosp
May 1, 2024 15:53 2m 37s
Remove props (#147)
Rust #569: Commit 7f7c080 pushed by JustusAdam
May 1, 2024 15:00 5m 5s main
May 1, 2024 15:00 5m 5s
Remove props (#147)
Automated Documentation Update #100: Commit 7f7c080 pushed by JustusAdam
May 1, 2024 15:00 2m 20s main
May 1, 2024 15:00 2m 20s
Remove props
Rust #568: Pull request #147 synchronize by JustusAdam
April 30, 2024 21:00 4m 56s remove-props
April 30, 2024 21:00 4m 56s
Clear dir before installing rustc docs (#146)
Automated Documentation Update #99: Commit 76f748d pushed by JustusAdam
April 30, 2024 17:05 2m 15s main
April 30, 2024 17:05 2m 15s
Clear dir before installing rustc docs (#146)
Rust #567: Commit 76f748d pushed by JustusAdam
April 30, 2024 17:05 5m 26s main
April 30, 2024 17:05 5m 26s
Remove props
Rust #566: Pull request #147 opened by JustusAdam
April 30, 2024 17:05 5m 7s remove-props
April 30, 2024 17:05 5m 7s