Skip to content

Actions: brownsys/paralegal

Actions

Automated Documentation Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Automated Marking of Side Effects and Data Leakage (#184) Automated Documentation Update #128: Commit d0553d0 pushed by JustusAdam
3m 9s main
main
3m 9s
Represent Constants in PDG (#183) Automated Documentation Update #127: Commit ae565cc pushed by JustusAdam
3m 12s main
main
3m 12s
Merge marker assignment to PDG assembly (#182) Automated Documentation Update #126: Commit 50682be pushed by JustusAdam
3m 3s main
main
3m 3s
Makes deserialization of config and external annotation files strict … Automated Documentation Update #125: Commit 1c7fcb7 pushed by JustusAdam
3m 16s main
main
3m 16s
Improved error messages for policies and the annotation parser (#179) Automated Documentation Update #124: Commit 12578dd pushed by JustusAdam
3m 10s main
main
3m 10s
Resurrect parser error improvements (#178) Automated Documentation Update #123: Commit ad7cfc0 pushed by JustusAdam
3m 18s main
main
3m 18s
Update the README plot (#177) Automated Documentation Update #122: Commit 7405766 pushed by JustusAdam
3m 11s main
main
3m 11s
Forward Port Automatic CNL Errors (#176) Automated Documentation Update #121: Commit 3e2912f pushed by JustusAdam
3m 2s main
main
3m 2s
Update readme (#174) Automated Documentation Update #120: Commit 090609c pushed by JustusAdam
3m 17s main
main
3m 17s
Merge policy compiler into main repo (#175) Automated Documentation Update #119: Commit ecb6d63 pushed by JustusAdam
3m 44s main
main
3m 44s
OSDI Artifact Eval and Camera Ready Updates (#173) Automated Documentation Update #118: Commit fb8c6b7 pushed by JustusAdam
2m 47s main
main
2m 47s
Toolchain Upgrade to nightly 2024-12-15 (#171) Automated Documentation Update #117: Commit 7d5c521 pushed by JustusAdam
3m 41s main
main
3m 41s
Paper Submission (OSDI 25) Sprint Improvements (#170) Automated Documentation Update #116: Commit 0a5c628 pushed by JustusAdam
2m 44s main
main
2m 44s
Implement serialization protection via magic (#169) Automated Documentation Update #115: Commit 52a64bd pushed by JustusAdam
2m 56s main
main
2m 56s