Skip to content

yeast: Add support for a user-managed context during rule rewrites#22054

Merged
tausbn merged 13 commits into
mainfrom
tausbn/yeast-context-reification
Jun 26, 2026
Merged

yeast: Add support for a user-managed context during rule rewrites#22054
tausbn merged 13 commits into
mainfrom
tausbn/yeast-context-reification

Apply rustfmt

af7ae8c
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Jun 25, 2026 in 4s

5 configurations not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 5 configurations present on refs/heads/main were not found:

Actions workflow (csv-coverage-metrics.yml)

  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-csharp
  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (cpp-swift-analysis.yml)

  • ❓  .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

View all branch alerts.