Skip to content

Actions: brownsys/paralegal

Actions

Automated Documentation Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New Context API that uses CtrlNodes (#85) Automated Documentation Update #64: Commit fd7cf5b pushed by livia01px2019
October 18, 2023 22:32 3m 10s main
main
October 18, 2023 22:32 3m 10s
Remove the marked_callsites function (#82) Automated Documentation Update #63: Commit 8407ecc pushed by JustusAdam
October 11, 2023 23:50 2m 45s main
main
October 11, 2023 23:50 2m 45s
Update flows_to primitive to take an EdgeType parameter enum of Data,… Automated Documentation Update #62: Commit 3eec156 pushed by JustusAdam
October 11, 2023 19:39 3m 16s main
main
October 11, 2023 19:39 3m 16s
Doc redirect emergency fix (#81) Automated Documentation Update #61: Commit 5c014c3 pushed by JustusAdam
October 10, 2023 20:43 2m 42s main
main
October 10, 2023 20:43 2m 42s
Turn the index page of the documentation into a redirect to the user … Automated Documentation Update #60: Commit 64c1f52 pushed by JustusAdam
October 10, 2023 20:10 2m 39s main
main
October 10, 2023 20:10 2m 39s
Wrong ref Automated Documentation Update #59: Commit 3c89de0 pushed by JustusAdam
October 10, 2023 19:54 2m 49s doc-redirect
doc-redirect
October 10, 2023 19:54 2m 49s
debugging the workflow Automated Documentation Update #58: Commit ab351a8 pushed by JustusAdam
October 10, 2023 19:51 2m 30s doc-redirect
doc-redirect
October 10, 2023 19:51 2m 30s
Index is now a redirect Automated Documentation Update #57: Commit 4d8a980 pushed by JustusAdam
October 10, 2023 19:45 3m 7s doc-redirect
doc-redirect
October 10, 2023 19:45 3m 7s
Marker unsoundness warnings (#72) Automated Documentation Update #56: Commit 505cd31 pushed by JustusAdam
October 9, 2023 03:19 2m 49s main
main
October 9, 2023 03:19 2m 49s
Add data+ctrl flow to flow_to relation (#74) Automated Documentation Update #55: Commit 1758539 pushed by livia01px2019
October 8, 2023 22:29 2m 55s main
main
October 8, 2023 22:29 2m 55s
Bug Fixes found in Experimentation (#71) Automated Documentation Update #54: Commit 879598c pushed by JustusAdam
October 8, 2023 21:57 3m 6s main
main
October 8, 2023 21:57 3m 6s
User guide examples (#73) Automated Documentation Update #53: Commit 4ba502e pushed by JustusAdam
October 7, 2023 14:50 3m 10s main
main
October 7, 2023 14:50 3m 10s
A mechanism for diagnostics with context (#42) Automated Documentation Update #52: Commit 5094e00 pushed by JustusAdam
October 2, 2023 23:02 3m 24s main
main
October 2, 2023 23:02 3m 24s
License under MIT (#53) Automated Documentation Update #51: Commit a2afa5e pushed by JustusAdam
October 1, 2023 00:04 3m 19s main
main
October 1, 2023 00:04 3m 19s
Adds a CI action that tries to build the documentation (#68) Automated Documentation Update #50: Commit 04dd0ef pushed by JustusAdam
September 29, 2023 15:25 2m 51s main
main
September 29, 2023 15:25 2m 51s
Plume policy in Rust engine (#57) Automated Documentation Update #49: Commit ec9af72 pushed by JustusAdam
September 29, 2023 15:19 2m 58s main
main
September 29, 2023 15:19 2m 58s
Add signup form to README (#67) Automated Documentation Update #48: Commit 2fd8e60 pushed by JustusAdam
September 29, 2023 15:13 4m 4s main
main
September 29, 2023 15:13 4m 4s
Additional Marker Configuration (#56) Automated Documentation Update #47: Commit d7f8296 pushed by JustusAdam
September 29, 2023 01:05 2m 37s main
main
September 29, 2023 01:05 2m 37s
Serialization Fix (#55) Automated Documentation Update #46: Commit 1694872 pushed by JustusAdam
September 29, 2023 00:43 3m 9s main
main
September 29, 2023 00:43 3m 9s
Allow for dependency-specific build configuration (#52) Automated Documentation Update #45: Commit 96bc5bf pushed by JustusAdam
September 27, 2023 17:42 3m 9s main
main
September 27, 2023 17:42 3m 9s
Fix the names of env variables (#51) Automated Documentation Update #44: Commit 0e6881b pushed by JustusAdam
September 25, 2023 16:39 2m 32s main
main
September 25, 2023 16:39 2m 32s
Change the ProgramDescription graph representation to use our porta… Automated Documentation Update #43: Commit db78aea pushed by JustusAdam
September 25, 2023 15:02 4m 6s main
main
September 25, 2023 15:02 4m 6s
Improve landing page and Readme (#50) Automated Documentation Update #42: Commit 5dd907a pushed by JustusAdam
September 23, 2023 17:26 2m 43s main
main
September 23, 2023 17:26 2m 43s
Fixing minor paths for consistency (#49) Automated Documentation Update #41: Commit cc1e5da pushed by JustusAdam
September 22, 2023 18:53 2m 32s main
main
September 22, 2023 18:53 2m 32s
Emergency path fixes (#48) Automated Documentation Update #40: Commit 0c1dd8c pushed by JustusAdam
September 22, 2023 15:31 2m 47s main
main
September 22, 2023 15:31 2m 47s