From a00ac9be84dd91d7d32cb267415a2469f65b2b95 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 24 Mar 2026 09:15:08 -0700 Subject: [PATCH] udpated wf Signed-off-by: Nikolaj Bjorner --- .github/aw/actions-lock.json | 34 +- .../workflows/api-coherence-checker.lock.yml | 24 +- .github/workflows/api-coherence-checker.md | 2 +- .github/workflows/code-simplifier.md | 791 ++++++++++++++++++ .github/workflows/csa-analysis.lock.yml | 24 +- .github/workflows/csa-analysis.md | 2 +- .../workflows/memory-safety-report.lock.yml | 26 +- .github/workflows/memory-safety-report.md | 2 +- .github/workflows/ostrich-benchmark.lock.yml | 16 +- .github/workflows/ostrich-benchmark.md | 2 +- .github/workflows/qf-s-benchmark.lock.yml | 16 +- .github/workflows/qf-s-benchmark.md | 2 +- .../workflows/release-notes-updater.lock.yml | 16 +- .github/workflows/release-notes-updater.md | 2 +- .../workflows/tactic-to-simplifier.lock.yml | 24 +- .github/workflows/tactic-to-simplifier.md | 2 +- .../workflow-suggestion-agent.lock.yml | 24 +- .../workflows/workflow-suggestion-agent.md | 2 +- .github/workflows/zipt-code-reviewer.lock.yml | 24 +- .github/workflows/zipt-code-reviewer.md | 2 +- 20 files changed, 909 insertions(+), 128 deletions(-) diff --git a/.github/aw/actions-lock.json b/.github/aw/actions-lock.json index 4182f1f9f..a78ea96d7 100644 --- a/.github/aw/actions-lock.json +++ b/.github/aw/actions-lock.json @@ -1,29 +1,24 @@ { "entries": { - "actions/cache/restore@v5.0.3": { + "actions/cache/restore@v5.0.4": { "repo": "actions/cache/restore", - "version": "v5.0.3", - "sha": "cdf6c1fa76f9f475f3d7449005a359c84ca0f306" + "version": "v5.0.4", + "sha": "668228422ae6a00e4ad889ee87cd7109ec5666a7" }, - "actions/cache/save@v5.0.3": { + "actions/cache/save@v5.0.4": { "repo": "actions/cache/save", - "version": "v5.0.3", - "sha": "cdf6c1fa76f9f475f3d7449005a359c84ca0f306" - }, - "actions/checkout@v5": { - "repo": "actions/checkout", - "version": "v5", - "sha": "93cb6efe18208431cddfb8368fd83d5badbf9bfd" + "version": "v5.0.4", + "sha": "668228422ae6a00e4ad889ee87cd7109ec5666a7" }, "actions/checkout@v6.0.2": { "repo": "actions/checkout", "version": "v6.0.2", "sha": "de0fac2e4500dabe0009e67214ff5f5447ce83dd" }, - "actions/download-artifact@v8.0.0": { + "actions/download-artifact@v8.0.1": { "repo": "actions/download-artifact", - "version": "v8.0.0", - "sha": "70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3" + "version": "v8.0.1", + "sha": "3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c" }, "actions/github-script@v8": { "repo": "actions/github-script", @@ -35,15 +30,10 @@ "version": "v7.0.0", "sha": "bbbca2ddaa5d8feaa63e36b76fdaad77386f024f" }, - "github/gh-aw/actions/setup@v0.53.4": { + "github/gh-aw/actions/setup@v0.63.0": { "repo": "github/gh-aw/actions/setup", - "version": "v0.53.4", - "sha": "b2d8af7543ec40f72bb3b8fea5148c2d3ee401c7" - }, - "github/gh-aw/actions/setup@v0.57.2": { - "repo": "github/gh-aw/actions/setup", - "version": "v0.57.2", - "sha": "32b3a711a9ee97d38e3989c90af0385aff0066a7" + "version": "v0.63.0", + "sha": "4248ac6884048ea9d35c81a56c34091747faa2ba" } } } diff --git a/.github/workflows/api-coherence-checker.lock.yml b/.github/workflows/api-coherence-checker.lock.yml index 017748737..df21a7368 100644 --- a/.github/workflows/api-coherence-checker.lock.yml +++ b/.github/workflows/api-coherence-checker.lock.yml @@ -23,7 +23,7 @@ # # Daily API coherence checker across Z3's multi-language bindings including Rust # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"57081975dce2603e1cf310099ef5120862f27b028e014ad3c3405f7c046d92d4","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"4e2da3456dfb6002cbd0bca4a01b78acfc1e96fcbb97f8fcc4c0f58e105e4f03","compiler_version":"v0.57.2","strict":true} name: "API Coherence Checker" "on": @@ -51,7 +51,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -264,7 +264,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -278,7 +278,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -655,7 +655,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -991,13 +991,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1099,13 +1099,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1148,12 +1148,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: apicoherencechecker steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1169,7 +1169,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/api-coherence-checker.md b/.github/workflows/api-coherence-checker.md index f8b063529..06ea22c3a 100644 --- a/.github/workflows/api-coherence-checker.md +++ b/.github/workflows/api-coherence-checker.md @@ -32,7 +32,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false diff --git a/.github/workflows/code-simplifier.md b/.github/workflows/code-simplifier.md index 7d73ffbad..f0d512276 100644 --- a/.github/workflows/code-simplifier.md +++ b/.github/workflows/code-simplifier.md @@ -1,3 +1,4 @@ +<<<<<<< current (local changes) --- on: schedule: daily @@ -427,3 +428,793 @@ Your output MUST either: - Instructions for applying the diff or creating a PR Begin your code simplification analysis now. Find recently modified code, assess simplification opportunities, apply improvements while preserving functionality, validate changes, and create an issue with a git diff if beneficial. +||||||| base (original) +--- +name: Code Simplifier +description: Analyzes recently modified code and creates pull requests with simplifications that improve clarity, consistency, and maintainability while preserving functionality +on: + schedule: daily + skip-if-match: 'is:pr is:open in:title "[code-simplifier]"' + +permissions: + contents: read + issues: read + pull-requests: read + +tracker-id: code-simplifier + +imports: + - shared/reporting.md + +safe-outputs: + create-pull-request: + title-prefix: "[code-simplifier] " + labels: [refactoring, code-quality, automation] + reviewers: [copilot] + expires: 7d + +tools: + github: + toolsets: [default] + +timeout-minutes: 30 +strict: true +source: github/gh-aw/.github/workflows/code-simplifier.md@76d37d925abd44fee97379206f105b74b91a285b +--- + + + + +# Code Simplifier Agent + +You are an expert code simplification specialist focused on enhancing code clarity, consistency, and maintainability while preserving exact functionality. Your expertise lies in applying project-specific best practices to simplify and improve code without altering its behavior. You prioritize readable, explicit code over overly compact solutions. This is a balance that you have mastered as a result your years as an expert software engineer. + +## Your Mission + +Analyze recently modified code from the last 24 hours and apply refinements that improve code quality while preserving all functionality. Create a pull request with the simplified code if improvements are found. + +## Current Context + +- **Repository**: ${{ github.repository }} +- **Analysis Date**: $(date +%Y-%m-%d) +- **Workspace**: ${{ github.workspace }} + +## Phase 1: Identify Recently Modified Code + +### 1.1 Find Recent Changes + +Search for merged pull requests and commits from the last 24 hours: + +```bash +# Get yesterday's date in ISO format +YESTERDAY=$(date -d '1 day ago' '+%Y-%m-%d' 2>/dev/null || date -v-1d '+%Y-%m-%d') + +# List recent commits +git log --since="24 hours ago" --pretty=format:"%H %s" --no-merges +``` + +Use GitHub tools to: +- Search for pull requests merged in the last 24 hours: `repo:${{ github.repository }} is:pr is:merged merged:>=${YESTERDAY}` +- Get details of merged PRs to understand what files were changed +- List commits from the last 24 hours to identify modified files + +### 1.2 Extract Changed Files + +For each merged PR or recent commit: +- Use `pull_request_read` with `method: get_files` to list changed files +- Use `get_commit` to see file changes in recent commits +- Focus on source code files (`.go`, `.js`, `.ts`, `.tsx`, `.cjs`, `.py`, etc.) +- Exclude test files, lock files, and generated files + +### 1.3 Determine Scope + +If **no files were changed in the last 24 hours**, exit gracefully without creating a PR: + +``` +✅ No code changes detected in the last 24 hours. +Code simplifier has nothing to process today. +``` + +If **files were changed**, proceed to Phase 2. + +## Phase 2: Analyze and Simplify Code + +### 2.1 Review Project Standards + +Before simplifying, review the project's coding standards from relevant documentation: + +- For Go projects: Check `AGENTS.md`, `DEVGUIDE.md`, or similar files +- For JavaScript/TypeScript: Look for `CLAUDE.md`, style guides, or coding conventions +- For Python: Check for style guides, PEP 8 adherence, or project-specific conventions + +**Key Standards to Apply:** + +For **JavaScript/TypeScript** projects: +- Use ES modules with proper import sorting and extensions +- Prefer `function` keyword over arrow functions for top-level functions +- Use explicit return type annotations for top-level functions +- Follow proper React component patterns with explicit Props types +- Use proper error handling patterns (avoid try/catch when possible) +- Maintain consistent naming conventions + +For **Go** projects: +- Use `any` instead of `interface{}` +- Follow console formatting for CLI output +- Use semantic type aliases for domain concepts +- Prefer small, focused files (200-500 lines ideal) +- Use table-driven tests with descriptive names + +For **Python** projects: +- Follow PEP 8 style guide +- Use type hints for function signatures +- Prefer explicit over implicit code +- Use list/dict comprehensions where they improve clarity (not complexity) + +### 2.2 Simplification Principles + +Apply these refinements to the recently modified code: + +#### 1. Preserve Functionality +- **NEVER** change what the code does - only how it does it +- All original features, outputs, and behaviors must remain intact +- Run tests before and after to ensure no behavioral changes + +#### 2. Enhance Clarity +- Reduce unnecessary complexity and nesting +- Eliminate redundant code and abstractions +- Improve readability through clear variable and function names +- Consolidate related logic +- Remove unnecessary comments that describe obvious code +- **IMPORTANT**: Avoid nested ternary operators - prefer switch statements or if/else chains +- Choose clarity over brevity - explicit code is often better than compact code + +#### 3. Apply Project Standards +- Use project-specific conventions and patterns +- Follow established naming conventions +- Apply consistent formatting +- Use appropriate language features (modern syntax where beneficial) + +#### 4. Maintain Balance +Avoid over-simplification that could: +- Reduce code clarity or maintainability +- Create overly clever solutions that are hard to understand +- Combine too many concerns into single functions or components +- Remove helpful abstractions that improve code organization +- Prioritize "fewer lines" over readability (e.g., nested ternaries, dense one-liners) +- Make the code harder to debug or extend + +### 2.3 Perform Code Analysis + +For each changed file: + +1. **Read the file contents** using the edit or view tool +2. **Identify refactoring opportunities**: + - Long functions that could be split + - Duplicate code patterns + - Complex conditionals that could be simplified + - Unclear variable names + - Missing or excessive comments + - Non-standard patterns +3. **Design the simplification**: + - What specific changes will improve clarity? + - How can complexity be reduced? + - What patterns should be applied? + - Will this maintain all functionality? + +### 2.4 Apply Simplifications + +Use the **edit** tool to modify files: + +```bash +# For each file with improvements: +# 1. Read the current content +# 2. Apply targeted edits to simplify code +# 3. Ensure all functionality is preserved +``` + +**Guidelines for edits:** +- Make surgical, targeted changes +- One logical improvement per edit (but batch multiple edits in a single response) +- Preserve all original behavior +- Keep changes focused on recently modified code +- Don't refactor unrelated code unless it improves understanding of the changes + +## Phase 3: Validate Changes + +### 3.1 Run Tests + +After making simplifications, run the project's test suite to ensure no functionality was broken: + +```bash +# For Go projects +make test-unit + +# For JavaScript/TypeScript projects +npm test + +# For Python projects +pytest +``` + +If tests fail: +- Review the failures carefully +- Revert changes that broke functionality +- Adjust simplifications to preserve behavior +- Re-run tests until they pass + +### 3.2 Run Linters + +Ensure code style is consistent: + +```bash +# For Go projects +make lint + +# For JavaScript/TypeScript projects +npm run lint + +# For Python projects +flake8 . || pylint . +``` + +Fix any linting issues introduced by the simplifications. + +### 3.3 Check Build + +Verify the project still builds successfully: + +```bash +# For Go projects +make build + +# For JavaScript/TypeScript projects +npm run build + +# For Python projects +# (typically no build step, but check imports) +python -m py_compile changed_files.py +``` + +## Phase 4: Create Pull Request + +### 4.1 Determine If PR Is Needed + +Only create a PR if: +- ✅ You made actual code simplifications +- ✅ All tests pass +- ✅ Linting is clean +- ✅ Build succeeds +- ✅ Changes improve code quality without breaking functionality + +If no improvements were made or changes broke tests, exit gracefully: + +``` +✅ Code analyzed from last 24 hours. +No simplifications needed - code already meets quality standards. +``` + +### 4.2 Generate PR Description + +If creating a PR, use this structure: + +```markdown +## Code Simplification - [Date] + +This PR simplifies recently modified code to improve clarity, consistency, and maintainability while preserving all functionality. + +### Files Simplified + +- `path/to/file1.go` - [Brief description of improvements] +- `path/to/file2.js` - [Brief description of improvements] + +### Improvements Made + +1. **Reduced Complexity** + - Simplified nested conditionals in `file1.go` + - Extracted helper function for repeated logic + +2. **Enhanced Clarity** + - Renamed variables for better readability + - Removed redundant comments + - Applied consistent naming conventions + +3. **Applied Project Standards** + - Used `function` keyword instead of arrow functions + - Added explicit type annotations + - Followed established patterns + +### Changes Based On + +Recent changes from: +- #[PR_NUMBER] - [PR title] +- Commit [SHORT_SHA] - [Commit message] + +### Testing + +- ✅ All tests pass (`make test-unit`) +- ✅ Linting passes (`make lint`) +- ✅ Build succeeds (`make build`) +- ✅ No functional changes - behavior is identical + +### Review Focus + +Please verify: +- Functionality is preserved +- Simplifications improve code quality +- Changes align with project conventions +- No unintended side effects + +--- + +*Automated by Code Simplifier Agent - analyzing code from the last 24 hours* +``` + +### 4.3 Use Safe Outputs + +Create the pull request using the safe-outputs configuration: + +- Title will be prefixed with `[code-simplifier]` +- Labeled with `refactoring`, `code-quality`, `automation` +- Assigned to `copilot` for review +- Set as ready for review (not draft) + +## Important Guidelines + +### Scope Control +- **Focus on recent changes**: Only refine code modified in the last 24 hours +- **Don't over-refactor**: Avoid touching unrelated code +- **Preserve interfaces**: Don't change public APIs or exported functions +- **Incremental improvements**: Make targeted, surgical changes + +### Quality Standards +- **Test first**: Always run tests after simplifications +- **Preserve behavior**: Functionality must remain identical +- **Follow conventions**: Apply project-specific patterns consistently +- **Clear over clever**: Prioritize readability and maintainability + +### Exit Conditions +Exit gracefully without creating a PR if: +- No code was changed in the last 24 hours +- No simplifications are beneficial +- Tests fail after changes +- Build fails after changes +- Changes are too risky or complex + +### Success Metrics +A successful simplification: +- ✅ Improves code clarity without changing behavior +- ✅ Passes all tests and linting +- ✅ Applies project-specific conventions +- ✅ Makes code easier to understand and maintain +- ✅ Focuses on recently modified code +- ✅ Provides clear documentation of changes + +## Output Requirements + +Your output MUST either: + +1. **If no changes in last 24 hours**: + ``` + ✅ No code changes detected in the last 24 hours. + Code simplifier has nothing to process today. + ``` + +2. **If no simplifications beneficial**: + ``` + ✅ Code analyzed from last 24 hours. + No simplifications needed - code already meets quality standards. + ``` + +3. **If simplifications made**: Create a PR with the changes using safe-outputs + +Begin your code simplification analysis now. Find recently modified code, assess simplification opportunities, apply improvements while preserving functionality, validate changes, and create a PR if beneficial. +======= +--- +name: Code Simplifier +description: Analyzes recently modified code and creates pull requests with simplifications that improve clarity, consistency, and maintainability while preserving functionality +on: + schedule: daily + skip-if-match: 'is:pr is:open in:title "[code-simplifier]"' + +permissions: + contents: read + issues: read + pull-requests: read + +tracker-id: code-simplifier + +imports: + - shared/activation-app.md + - shared/reporting.md + +safe-outputs: + create-pull-request: + title-prefix: "[code-simplifier] " + labels: [refactoring, code-quality, automation] + reviewers: [copilot] + expires: 1d + +network: + allowed: + - go + +tools: + github: + toolsets: [default] + +timeout-minutes: 30 +strict: true +source: github/gh-aw/.github/workflows/code-simplifier.md@6762bfba6ae426a03aac46e8f68701461c667404 +--- + + + + +# Code Simplifier Agent + +You are an expert code simplification specialist focused on enhancing code clarity, consistency, and maintainability while preserving exact functionality. Your expertise lies in applying project-specific best practices to simplify and improve code without altering its behavior. You prioritize readable, explicit code over overly compact solutions. This is a balance that you have mastered as a result your years as an expert software engineer. + +## Your Mission + +Analyze recently modified code from the last 24 hours and apply refinements that improve code quality while preserving all functionality. Create a pull request with the simplified code if improvements are found. + +## Current Context + +- **Repository**: ${{ github.repository }} +- **Analysis Date**: $(date +%Y-%m-%d) +- **Workspace**: ${{ github.workspace }} + +## Phase 1: Identify Recently Modified Code + +### 1.1 Find Recent Changes + +Search for merged pull requests and commits from the last 24 hours: + +```bash +# Get yesterday's date in ISO format +YESTERDAY=$(date -d '1 day ago' '+%Y-%m-%d' 2>/dev/null || date -v-1d '+%Y-%m-%d') + +# List recent commits +git log --since="24 hours ago" --pretty=format:"%H %s" --no-merges +``` + +Use GitHub tools to: +- Search for pull requests merged in the last 24 hours: `repo:${{ github.repository }} is:pr is:merged merged:>=${YESTERDAY}` +- Get details of merged PRs to understand what files were changed +- List commits from the last 24 hours to identify modified files + +### 1.2 Extract Changed Files + +For each merged PR or recent commit: +- Use `pull_request_read` with `method: get_files` to list changed files +- Use `get_commit` to see file changes in recent commits +- Focus on source code files (`.go`, `.js`, `.ts`, `.tsx`, `.cjs`, `.py`, `.cs`, etc.) +- Exclude test files, lock files, and generated files + +### 1.3 Determine Scope + +If **no files were changed in the last 24 hours**, exit gracefully without creating a PR: + +``` +✅ No code changes detected in the last 24 hours. +Code simplifier has nothing to process today. +``` + +If **files were changed**, proceed to Phase 2. + +## Phase 2: Analyze and Simplify Code + +### 2.1 Review Project Standards + +Before simplifying, review the project's coding standards from relevant documentation: + +- For Go projects: Check `AGENTS.md`, `DEVGUIDE.md`, or similar files +- For JavaScript/TypeScript: Look for `CLAUDE.md`, style guides, or coding conventions +- For Python: Check for style guides, PEP 8 adherence, or project-specific conventions +- For .NET/C#: Check `.editorconfig`, `Directory.Build.props`, or coding conventions in docs + +**Key Standards to Apply:** + +For **JavaScript/TypeScript** projects: +- Use ES modules with proper import sorting and extensions +- Prefer `function` keyword over arrow functions for top-level functions +- Use explicit return type annotations for top-level functions +- Follow proper React component patterns with explicit Props types +- Use proper error handling patterns (avoid try/catch when possible) +- Maintain consistent naming conventions + +For **Go** projects: +- Use `any` instead of `interface{}` +- Follow console formatting for CLI output +- Use semantic type aliases for domain concepts +- Prefer small, focused files (200-500 lines ideal) +- Use table-driven tests with descriptive names + +For **Python** projects: +- Follow PEP 8 style guide +- Use type hints for function signatures +- Prefer explicit over implicit code +- Use list/dict comprehensions where they improve clarity (not complexity) + +For **.NET/C#** projects: +- Follow Microsoft C# coding conventions +- Use `var` only when the type is obvious from the right side +- Use file-scoped namespaces (`namespace X;`) where supported +- Prefer pattern matching over type casting +- Use `async`/`await` consistently, avoid `.Result` or `.Wait()` +- Use nullable reference types and annotate nullability + +### 2.2 Simplification Principles + +Apply these refinements to the recently modified code: + +#### 1. Preserve Functionality +- **NEVER** change what the code does - only how it does it +- All original features, outputs, and behaviors must remain intact +- Run tests before and after to ensure no behavioral changes + +#### 2. Enhance Clarity +- Reduce unnecessary complexity and nesting +- Eliminate redundant code and abstractions +- Improve readability through clear variable and function names +- Consolidate related logic +- Remove unnecessary comments that describe obvious code +- **IMPORTANT**: Avoid nested ternary operators - prefer switch statements or if/else chains +- Choose clarity over brevity - explicit code is often better than compact code + +#### 3. Apply Project Standards +- Use project-specific conventions and patterns +- Follow established naming conventions +- Apply consistent formatting +- Use appropriate language features (modern syntax where beneficial) + +#### 4. Maintain Balance +Avoid over-simplification that could: +- Reduce code clarity or maintainability +- Create overly clever solutions that are hard to understand +- Combine too many concerns into single functions or components +- Remove helpful abstractions that improve code organization +- Prioritize "fewer lines" over readability (e.g., nested ternaries, dense one-liners) +- Make the code harder to debug or extend + +### 2.3 Perform Code Analysis + +For each changed file: + +1. **Read the file contents** using the edit or view tool +2. **Identify refactoring opportunities**: + - Long functions that could be split + - Duplicate code patterns + - Complex conditionals that could be simplified + - Unclear variable names + - Missing or excessive comments + - Non-standard patterns +3. **Design the simplification**: + - What specific changes will improve clarity? + - How can complexity be reduced? + - What patterns should be applied? + - Will this maintain all functionality? + +### 2.4 Apply Simplifications + +Use the **edit** tool to modify files: + +```bash +# For each file with improvements: +# 1. Read the current content +# 2. Apply targeted edits to simplify code +# 3. Ensure all functionality is preserved +``` + +**Guidelines for edits:** +- Make surgical, targeted changes +- One logical improvement per edit (but batch multiple edits in a single response) +- Preserve all original behavior +- Keep changes focused on recently modified code +- Don't refactor unrelated code unless it improves understanding of the changes + +## Phase 3: Validate Changes + +### 3.1 Run Tests + +After making simplifications, run the project's test suite to ensure no functionality was broken: + +```bash +# For Go projects +make test-unit + +# For JavaScript/TypeScript projects +npm test + +# For Python projects +pytest + +# For .NET projects +dotnet test +``` + +If tests fail: +- Review the failures carefully +- Revert changes that broke functionality +- Adjust simplifications to preserve behavior +- Re-run tests until they pass + +### 3.2 Run Linters + +Ensure code style is consistent: + +```bash +# For Go projects +make lint + +# For JavaScript/TypeScript projects +npm run lint + +# For Python projects +flake8 . || pylint . + +# For .NET projects +dotnet format --verify-no-changes +``` + +Fix any linting issues introduced by the simplifications. + +### 3.3 Check Build + +Verify the project still builds successfully: + +```bash +# For Go projects +make build + +# For JavaScript/TypeScript projects +npm run build + +# For Python projects +# (typically no build step, but check imports) +python -m py_compile changed_files.py + +# For .NET projects +dotnet build +``` + +## Phase 4: Create Pull Request + +### 4.1 Determine If PR Is Needed + +Only create a PR if: +- ✅ You made actual code simplifications +- ✅ All tests pass +- ✅ Linting is clean +- ✅ Build succeeds +- ✅ Changes improve code quality without breaking functionality + +If no improvements were made or changes broke tests, exit gracefully: + +``` +✅ Code analyzed from last 24 hours. +No simplifications needed - code already meets quality standards. +``` + +### 4.2 Generate PR Description + +If creating a PR, use this structure: + +```markdown +## Code Simplification - [Date] + +This PR simplifies recently modified code to improve clarity, consistency, and maintainability while preserving all functionality. + +### Files Simplified + +- `path/to/file1.go` - [Brief description of improvements] +- `path/to/file2.js` - [Brief description of improvements] + +### Improvements Made + +1. **Reduced Complexity** + - Simplified nested conditionals in `file1.go` + - Extracted helper function for repeated logic + +2. **Enhanced Clarity** + - Renamed variables for better readability + - Removed redundant comments + - Applied consistent naming conventions + +3. **Applied Project Standards** + - Used `function` keyword instead of arrow functions + - Added explicit type annotations + - Followed established patterns + +### Changes Based On + +Recent changes from: +- #[PR_NUMBER] - [PR title] +- Commit [SHORT_SHA] - [Commit message] + +### Testing + +- ✅ All tests pass (`make test-unit`) +- ✅ Linting passes (`make lint`) +- ✅ Build succeeds (`make build`) +- ✅ No functional changes - behavior is identical + +### Review Focus + +Please verify: +- Functionality is preserved +- Simplifications improve code quality +- Changes align with project conventions +- No unintended side effects + +--- + +*Automated by Code Simplifier Agent - analyzing code from the last 24 hours* +``` + +### 4.3 Use Safe Outputs + +Create the pull request using the safe-outputs configuration: + +- Title will be prefixed with `[code-simplifier]` +- Labeled with `refactoring`, `code-quality`, `automation` +- Assigned to `copilot` for review +- Set as ready for review (not draft) + +## Important Guidelines + +### Scope Control +- **Focus on recent changes**: Only refine code modified in the last 24 hours +- **Don't over-refactor**: Avoid touching unrelated code +- **Preserve interfaces**: Don't change public APIs or exported functions +- **Incremental improvements**: Make targeted, surgical changes + +### Quality Standards +- **Test first**: Always run tests after simplifications +- **Preserve behavior**: Functionality must remain identical +- **Follow conventions**: Apply project-specific patterns consistently +- **Clear over clever**: Prioritize readability and maintainability + +### Exit Conditions +Exit gracefully without creating a PR if: +- No code was changed in the last 24 hours +- No simplifications are beneficial +- Tests fail after changes +- Build fails after changes +- Changes are too risky or complex + +### Success Metrics +A successful simplification: +- ✅ Improves code clarity without changing behavior +- ✅ Passes all tests and linting +- ✅ Applies project-specific conventions +- ✅ Makes code easier to understand and maintain +- ✅ Focuses on recently modified code +- ✅ Provides clear documentation of changes + +## Output Requirements + +Your output MUST either: + +1. **If no changes in last 24 hours**: + ``` + ✅ No code changes detected in the last 24 hours. + Code simplifier has nothing to process today. + ``` + +2. **If no simplifications beneficial**: + ``` + ✅ Code analyzed from last 24 hours. + No simplifications needed - code already meets quality standards. + ``` + +3. **If simplifications made**: Create a PR with the changes using safe-outputs + +Begin your code simplification analysis now. Find recently modified code, assess simplification opportunities, apply improvements while preserving functionality, validate changes, and create a PR if beneficial. + +**Important**: If no action is needed after completing your analysis, you **MUST** call the `noop` safe-output tool with a brief explanation. Failing to call any safe-output tool is the most common cause of safe-output workflow failures. + +```json +{"noop": {"message": "No action needed: [brief explanation of what was analyzed and why]"}} +``` +>>>>>>> new (upstream) diff --git a/.github/workflows/csa-analysis.lock.yml b/.github/workflows/csa-analysis.lock.yml index dd04351d5..ebbd10477 100644 --- a/.github/workflows/csa-analysis.lock.yml +++ b/.github/workflows/csa-analysis.lock.yml @@ -23,7 +23,7 @@ # # Weekly Clang Static Analyzer (CSA) build and report for Z3, posting findings to GitHub Discussions # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"1d963db46cb836e916f59e2bf15eee3467a84e2e0b41312fe5a48eaa81c51e9c","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"426e3686de7e6ee862926b83c1f39892898a04643b2ccdf13511ebc3f3108703","compiler_version":"v0.57.2","strict":true} name: "Clang Static Analyzer (CSA) Report" "on": @@ -51,7 +51,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -264,7 +264,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -278,7 +278,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -647,7 +647,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -983,13 +983,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1093,13 +1093,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1142,12 +1142,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: csaanalysis steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1163,7 +1163,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/csa-analysis.md b/.github/workflows/csa-analysis.md index a1d981726..a4e0fb236 100644 --- a/.github/workflows/csa-analysis.md +++ b/.github/workflows/csa-analysis.md @@ -31,7 +31,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false diff --git a/.github/workflows/memory-safety-report.lock.yml b/.github/workflows/memory-safety-report.lock.yml index 594d65214..21435e121 100644 --- a/.github/workflows/memory-safety-report.lock.yml +++ b/.github/workflows/memory-safety-report.lock.yml @@ -23,7 +23,7 @@ # # Analyze ASan/UBSan sanitizer logs from the memory-safety workflow and post findings as a GitHub Discussion. # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"4c97814388b12faab4c010452d2c20bc4bc67ca0fc3d511fd9909ffcf125fb95","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"fa29db0a6e6ce9c7d5617133512b0d7e054c7e6bc6122389bbb1eb48d7c08872","compiler_version":"v0.57.2","strict":true} name: "Memory Safety Analysis Report Generator" "on": @@ -64,7 +64,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -288,7 +288,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -302,7 +302,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -671,7 +671,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -1008,13 +1008,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1102,7 +1102,7 @@ jobs: matched_command: '' steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Check team membership for workflow @@ -1141,13 +1141,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1190,12 +1190,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: memorysafetyreport steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1211,7 +1211,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/memory-safety-report.md b/.github/workflows/memory-safety-report.md index 1446ff082..a2b245f3a 100644 --- a/.github/workflows/memory-safety-report.md +++ b/.github/workflows/memory-safety-report.md @@ -49,7 +49,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false diff --git a/.github/workflows/ostrich-benchmark.lock.yml b/.github/workflows/ostrich-benchmark.lock.yml index 98700363b..89b0ce0e7 100644 --- a/.github/workflows/ostrich-benchmark.lock.yml +++ b/.github/workflows/ostrich-benchmark.lock.yml @@ -23,7 +23,7 @@ # # Run Z3 string solver benchmarks (seq vs nseq) and ZIPT on all Ostrich benchmarks from tests/ostrich.zip on the c3 branch and post results as a GitHub discussion # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"3ac70e9acd74c08c55c4c8e60b61e24db0f1e0dbd5bc8e25c62af0279aea4d6b","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"5da2ead1263e4a6b19d8bab174217a23a5312abe581843899042fffc18e9858f","compiler_version":"v0.57.2","strict":true} name: "Ostrich Benchmark: Z3 c3 branch vs ZIPT" "on": @@ -50,7 +50,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -253,7 +253,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -628,7 +628,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -957,13 +957,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1067,13 +1067,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ diff --git a/.github/workflows/ostrich-benchmark.md b/.github/workflows/ostrich-benchmark.md index f741ce12d..6e7c450e4 100644 --- a/.github/workflows/ostrich-benchmark.md +++ b/.github/workflows/ostrich-benchmark.md @@ -29,7 +29,7 @@ timeout-minutes: 180 steps: - name: Checkout c3 branch - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: ref: c3 fetch-depth: 1 diff --git a/.github/workflows/qf-s-benchmark.lock.yml b/.github/workflows/qf-s-benchmark.lock.yml index b83abac94..8caafa6d3 100644 --- a/.github/workflows/qf-s-benchmark.lock.yml +++ b/.github/workflows/qf-s-benchmark.lock.yml @@ -23,7 +23,7 @@ # # Run Z3 string solver benchmarks (seq vs nseq) on QF_S test suite from the c3 branch and post results as a GitHub discussion # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"6544f1125ef010e1b4d85a5d0e4e43ceb5edf7d708c4135b62116975eb8935bd","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"d7c341a4c4224962ddf5d76ae2e39b3fc7965a5d9a7899d0674877de090be242","compiler_version":"v0.57.2","strict":true} name: "ZIPT String Solver Benchmark" "on": @@ -50,7 +50,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -253,7 +253,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -628,7 +628,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -957,13 +957,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1067,13 +1067,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ diff --git a/.github/workflows/qf-s-benchmark.md b/.github/workflows/qf-s-benchmark.md index 146b65822..fce83f8a9 100644 --- a/.github/workflows/qf-s-benchmark.md +++ b/.github/workflows/qf-s-benchmark.md @@ -29,7 +29,7 @@ timeout-minutes: 90 steps: - name: Checkout c3 branch - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: ref: c3 fetch-depth: 1 diff --git a/.github/workflows/release-notes-updater.lock.yml b/.github/workflows/release-notes-updater.lock.yml index d6a2443f2..71448af2e 100644 --- a/.github/workflows/release-notes-updater.lock.yml +++ b/.github/workflows/release-notes-updater.lock.yml @@ -23,7 +23,7 @@ # # Weekly release notes updater that generates updates based on changes since last release # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"2c20a8553fda8dc651a4cb99c13f373eddfb612866bab17e04e8e9c02395f3cf","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"f1c5ca93aaf4a1971d65fe091f4954b074f555289bfc951ca5c232c58d2d5b36","compiler_version":"v0.57.2","strict":true} name: "Release Notes Updater" "on": @@ -51,7 +51,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -257,7 +257,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -631,7 +631,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -960,13 +960,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1068,13 +1068,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ diff --git a/.github/workflows/release-notes-updater.md b/.github/workflows/release-notes-updater.md index 4e3f61661..b77f47099 100644 --- a/.github/workflows/release-notes-updater.md +++ b/.github/workflows/release-notes-updater.md @@ -30,7 +30,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: fetch-depth: 0 # Fetch full history for analyzing commits persist-credentials: false diff --git a/.github/workflows/tactic-to-simplifier.lock.yml b/.github/workflows/tactic-to-simplifier.lock.yml index 865d6cd0f..39a14825f 100644 --- a/.github/workflows/tactic-to-simplifier.lock.yml +++ b/.github/workflows/tactic-to-simplifier.lock.yml @@ -23,7 +23,7 @@ # # Compares exposed tactics and simplifiers in Z3, and creates issues for tactics that can be converted to simplifiers # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"76d6fd042d92c63ae3179cb252448c2493fe4700999fade9a655f6376ec2f327","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"e13e5cf1ed6470a8d8ed325d91a01992a543c67b3b1393c2a01d8008b90992dc","compiler_version":"v0.57.2","strict":true} name: "Tactic-to-Simplifier Comparison Agent" "on": @@ -51,7 +51,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -263,7 +263,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -277,7 +277,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -668,7 +668,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -1003,13 +1003,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1110,13 +1110,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1159,12 +1159,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: tactictosimplifier steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1180,7 +1180,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/tactic-to-simplifier.md b/.github/workflows/tactic-to-simplifier.md index 95d796baf..56f698a0b 100644 --- a/.github/workflows/tactic-to-simplifier.md +++ b/.github/workflows/tactic-to-simplifier.md @@ -36,7 +36,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false diff --git a/.github/workflows/workflow-suggestion-agent.lock.yml b/.github/workflows/workflow-suggestion-agent.lock.yml index 132ab8485..24c691d86 100644 --- a/.github/workflows/workflow-suggestion-agent.lock.yml +++ b/.github/workflows/workflow-suggestion-agent.lock.yml @@ -23,7 +23,7 @@ # # Weekly agent that suggests which agentic workflow agents should be added to the Z3 repository # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"5fa7af66411e5d80691cbbd66b1b1c05eb9a905d722957ceab7b0b7b556d0f28","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"59124869a8a5924dd1000f62007eb3bbcc53c3e16a0ea8a30cc80f008206de6d","compiler_version":"v0.57.2","strict":true} name: "Workflow Suggestion Agent" "on": @@ -51,7 +51,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -264,7 +264,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -278,7 +278,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -655,7 +655,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -991,13 +991,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1099,13 +1099,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1148,12 +1148,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: workflowsuggestionagent steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1169,7 +1169,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/workflow-suggestion-agent.md b/.github/workflows/workflow-suggestion-agent.md index f5c437391..948f01079 100644 --- a/.github/workflows/workflow-suggestion-agent.md +++ b/.github/workflows/workflow-suggestion-agent.md @@ -29,7 +29,7 @@ safe-outputs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false diff --git a/.github/workflows/zipt-code-reviewer.lock.yml b/.github/workflows/zipt-code-reviewer.lock.yml index a1eaef059..422c49cf8 100644 --- a/.github/workflows/zipt-code-reviewer.lock.yml +++ b/.github/workflows/zipt-code-reviewer.lock.yml @@ -23,7 +23,7 @@ # # Reviews Z3 string/sequence graph implementation (euf_sgraph, euf_seq_plugin, src/smt/seq) by comparing with the ZIPT reference implementation and reporting improvements as git diffs in GitHub issues # -# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"b83f03789555ab21af8bdc4db173dbf20b4defe4f7e249f4bbcc93b7986d51ef","compiler_version":"v0.57.2","strict":true} +# gh-aw-metadata: {"schema_version":"v2","frontmatter_hash":"d9207e6b6bf1f4cf435599de0128969e89aac9bc6235e505631482c35af1d1c4","compiler_version":"v0.57.2","strict":true} name: "ZIPT Code Reviewer" "on": @@ -50,7 +50,7 @@ jobs: secret_verification_result: ${{ steps.validate-secret.outputs.verification_result }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Generate agentic run info @@ -260,7 +260,7 @@ jobs: output_types: ${{ steps.collect_output.outputs.output_types }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Create gh-aw temp directory @@ -274,7 +274,7 @@ jobs: - name: Create cache-memory directory run: bash /opt/gh-aw/actions/create_cache_memory_dir.sh - name: Restore cache-memory file share data - uses: actions/cache/restore@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/restore@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory @@ -665,7 +665,7 @@ jobs: } GH_AW_MCP_CONFIG_EOF - name: Download activation artifact - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: activation path: /tmp/gh-aw @@ -1021,13 +1021,13 @@ jobs: total_count: ${{ steps.missing_tool.outputs.total_count }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1130,13 +1130,13 @@ jobs: process_safe_outputs_temporary_id_map: ${{ steps.process_safe_outputs.outputs.temporary_id_map }} steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download agent output artifact id: download-agent-output continue-on-error: true - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 with: name: agent-output path: /tmp/gh-aw/safeoutputs/ @@ -1179,12 +1179,12 @@ jobs: GH_AW_WORKFLOW_ID_SANITIZED: ziptcodereviewer steps: - name: Setup Scripts - uses: github/gh-aw/actions/setup@48d8fdfddc8cad854ac0c70ceb573f09fb8f9c9b # v0.62.5 + uses: github/gh-aw/actions/setup@32b3a711a9ee97d38e3989c90af0385aff0066a7 # v0.57.2 with: destination: /opt/gh-aw/actions - name: Download cache-memory artifact (default) id: download_cache_default - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8 + uses: actions/download-artifact@70fc10c6e5e1ce46ad2ea6f2b72d43f7d47b13c3 # v8 continue-on-error: true with: name: cache-memory @@ -1200,7 +1200,7 @@ jobs: fi - name: Save cache-memory to cache (default) if: steps.check_cache_default.outputs.has_content == 'true' - uses: actions/cache/save@668228422ae6a00e4ad889ee87cd7109ec5666a7 # v5.0.4 + uses: actions/cache/save@cdf6c1fa76f9f475f3d7449005a359c84ca0f306 # v5.0.3 with: key: memory-${{ env.GH_AW_WORKFLOW_ID_SANITIZED }}-${{ github.run_id }} path: /tmp/gh-aw/cache-memory diff --git a/.github/workflows/zipt-code-reviewer.md b/.github/workflows/zipt-code-reviewer.md index dc62fa8d8..bc1e7285c 100644 --- a/.github/workflows/zipt-code-reviewer.md +++ b/.github/workflows/zipt-code-reviewer.md @@ -42,7 +42,7 @@ timeout-minutes: 30 steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6.0.2 with: persist-credentials: false