Skip to content

Actions: brownsys/paralegal

Automated Documentation Update

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes found when experimenting with Lemmy (#166)
Automated Documentation Update #114: Commit c52fc5c pushed by JustusAdam
September 9, 2024 17:07 2m 50s main
September 9, 2024 17:07 2m 50s
Addressing instance methods in external annotations (#165)
Automated Documentation Update #113: Commit abb1bb1 pushed by JustusAdam
August 29, 2024 17:53 2m 55s main
August 29, 2024 17:53 2m 55s
Handling of foreign functions that may execute local code (#164)
Automated Documentation Update #112: Commit df19b1e pushed by JustusAdam
August 27, 2024 18:22 2m 53s main
August 27, 2024 18:22 2m 53s
Add the test case from our SOSP submission rebuttal (#162)
Automated Documentation Update #111: Commit a4ca7a0 pushed by JustusAdam
August 1, 2024 14:53 3m 3s main
August 1, 2024 14:53 3m 3s
Cross Crate Analysis 2: An alternative approach. (#163)
Automated Documentation Update #110: Commit 54bf07d pushed by JustusAdam
July 29, 2024 23:17 2m 47s main
July 29, 2024 23:17 2m 47s
Fix handling for poll calls to non-generator futures (#161)
Automated Documentation Update #109: Commit d53df7e pushed by JustusAdam
July 23, 2024 19:55 2m 53s main
July 23, 2024 19:55 2m 53s
Enable all cargo tests in CI (#151)
Automated Documentation Update #108: Commit 2d832e1 pushed by JustusAdam
July 22, 2024 22:26 2m 50s main
July 22, 2024 22:26 2m 50s
Migrate auxiliary changes from cross crate (#160)
Automated Documentation Update #107: Commit f7c6562 pushed by JustusAdam
July 20, 2024 00:26 2m 38s main
July 20, 2024 00:26 2m 38s
Single-compile testing framework (#158)
Automated Documentation Update #106: Commit b96d18d pushed by JustusAdam
June 26, 2024 22:13 2m 42s main
June 26, 2024 22:13 2m 42s
Enable plugin profiling via environment variable (#157)
Automated Documentation Update #105: Commit c7e74f8 pushed by JustusAdam
June 14, 2024 21:40 3m 0s main
June 14, 2024 21:40 3m 0s
Treat boxes as owned pointers (#154)
Automated Documentation Update #104: Commit c870cef pushed by JustusAdam
June 9, 2024 18:40 2m 46s main
June 9, 2024 18:40 2m 46s
Support for CodeLLDB debugger (#156)
Automated Documentation Update #103: Commit d76edcb pushed by JustusAdam
June 9, 2024 00:46 3m 3s main
June 9, 2024 00:46 3m 3s
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
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
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
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
Merge the pdg construction from flowistry into this repo (#140)
Automated Documentation Update #98: Commit 3eaaa54 pushed by JustusAdam
April 26, 2024 18:41 2m 24s main
April 26, 2024 18:41 2m 24s
Pretty printing of source code locations (#131)
Automated Documentation Update #97: Commit 8d83984 pushed by JustusAdam
March 6, 2024 15:47 3m 3s main
March 6, 2024 15:47 3m 3s
Type export fix (#126)
Automated Documentation Update #96: Commit 20beff7 pushed by JustusAdam
February 22, 2024 19:59 2m 39s main
February 22, 2024 19:59 2m 39s
Documentation, refactoring and convenience (#123)
Automated Documentation Update #95: Commit ff2601d pushed by JustusAdam
February 22, 2024 14:01 2m 43s main
February 22, 2024 14:01 2m 43s
Docs via make (#124)
Automated Documentation Update #94: Commit 33d2a8f pushed by JustusAdam
February 22, 2024 04:10 2m 50s main
February 22, 2024 04:10 2m 50s
Fogot the install
Automated Documentation Update #93: Commit 41e4261 pushed by JustusAdam
February 22, 2024 01:37 2m 50s docs-via-make
February 22, 2024 01:37 2m 50s
Replace the rust program with a make command
Automated Documentation Update #92: Commit e553aa3 pushed by JustusAdam
February 21, 2024 22:34 1m 30s docs-via-make
February 21, 2024 22:34 1m 30s
Use cargo make instead of lots of scripts (#122)
Automated Documentation Update #91: Commit 446e310 pushed by JustusAdam
February 21, 2024 22:17 1m 55s main
February 21, 2024 22:17 1m 55s
Integrate PDGs created by Flowistry (#119)
Automated Documentation Update #90: Commit f5517e0 pushed by JustusAdam
February 21, 2024 16:38 2m 41s main
February 21, 2024 16:38 2m 41s