Skip to content

Actions: brownsys/paralegal

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
436 workflow runs
436 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create new emit_diagnostics that does not exit
Rust #396: Pull request #111 opened by livia01px2019
November 13, 2023 22:27 7m 42s emit-diagnostics-no-exit
November 13, 2023 22:27 7m 42s
Add graph location output path argument
Rust #395: Pull request #110 synchronize by livia01px2019
November 13, 2023 21:05 4m 28s add-graphloc-resultpath
November 13, 2023 21:05 4m 28s
Add graph location output path argument
Rust #394: Pull request #110 opened by livia01px2019
November 13, 2023 19:36 5m 36s add-graphloc-resultpath
November 13, 2023 19:36 5m 36s
Fix up Websubmit props so that they pass/fail like Forge
Rust #393: Pull request #109 opened by livia01px2019
November 13, 2023 03:03 7m 8s fix-websubmit-props
November 13, 2023 03:03 7m 8s
Sanity checks for the algebra
Rust #392: Pull request #108 synchronize by JustusAdam
November 12, 2023 23:21 7m 6s algebra-sanity
November 12, 2023 23:21 7m 6s
Add test normalization to prevent hard errors in function resolution
Rust #391: Pull request #107 synchronize by JustusAdam
November 12, 2023 23:19 5m 3s test-resolve
November 12, 2023 23:19 5m 3s
Sanity checks for the algebra
Rust #390: Pull request #108 synchronize by JustusAdam
November 12, 2023 23:17 7m 27s algebra-sanity
November 12, 2023 23:17 7m 27s
Sanity checks for the algebra
Rust #389: Pull request #108 opened by JustusAdam
November 12, 2023 23:13 5m 10s algebra-sanity
November 12, 2023 23:13 5m 10s
Add test normalization to prevent hard errors in function resolution
Rust #388: Pull request #107 opened by JustusAdam
November 12, 2023 22:42 5m 43s test-resolve
November 12, 2023 22:42 5m 43s
Use instances in marker reachability.
Rust #387: Pull request #106 synchronize by JustusAdam
November 12, 2023 22:31 4m 26s marker-reachability-on-instances
November 12, 2023 22:31 4m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-11-12 or the other filters available.