3 commits

Author	SHA1	Message	Date
Copilot	37ba8bbe29	Fix Academic Citation Tracker agent job: recompile lock file with gh-aw v0.79.8 (#9910) ... The "agent" job was failing immediately because the lock file (compiled by `gh-aw v0.79.6`) generated a step calling `merge_awf_model_multipliers.cjs`, but the pinned `github/gh-aw-actions/setup@v0.80.4` did not ship that script — causing a `MODULE_NOT_FOUND` crash before the Copilot CLI ever ran. ## Changes - **`.github/workflows/academic-citation-tracker.lock.yml`** — recompiled with `gh aw compile --strict` using v0.79.8; setup action is now pinned to the matching `@v0.79.8` release which includes all expected scripts - **`.github/dependabot.yml`** — compiler updated ignore entries to cover both `github/gh-aw-actions/**` (subdirectory refs like `setup`) and `github/gh-aw-actions` (base ref), preventing Dependabot from bumping the setup pin out of sync again --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>	2026-06-20 12:13:01 -06:00
Copilot	29c4e539f6	Add smtlib-benchmark-finder agentic workflow (#9629) ... Monthly agentic workflow that discovers community-contributed SMT-LIB benchmark repositories on GitHub, excluding official distributions from smtlib.org and Zenodo, and posts a categorised summary as a GitHub Discussion. ## Workflow steps - **Exclusion list** — scrapes `smtlib.cs.uiowa.edu` + paginates the [Zenodo SMT-LIB community](https://zenodo.org/communities/smt-lib/) (up to 300 records) to extract official repo URLs; hard-excludes `SMT-LIB/*` and `SMT-Competition/*` orgs - **GitHub search** — 7 search strategies (topic tags `smtlib`/`smt-lib`/`smt2`, filename/path patterns, README mentions) scoped to repos pushed since the last run (90-day window on first run) - **Filter + classify** — removes official sets and noise (homework repos, empty repos); categorises survivors into: solver evaluation, verification, security/CTF, theory/logic, tool output, education, other - **Discussion report** — posts `[SMT-LIB Benchmarks] Community Benchmark Repository Survey — [Month YYYY]`; older discussions auto-closed after 90 days - **Cache** — stores classified repo sets and run date so subsequent runs are incremental ## Files - `.github/workflows/smtlib-benchmark-finder.md` — workflow definition - `.github/workflows/smtlib-benchmark-finder.lock.yml` — compiled GitHub Actions YAML (`gh aw compile`) --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>	2026-05-26 15:28:11 -07:00
Naveen	b81b771055	chore: Included githubactions in the dependabot config (#6064) ... This should help with keeping the GitHub actions updated on new releases. This will also help with keeping it secure. Dependabot helps in keeping the supply chain secure https://docs.github.com/en/code-security/dependabot GitHub actions up to date https://docs.github.com/en/code-security/dependabot/working-with-dependabot/keeping-your-actions-up-to-date-with-dependabot https://github.com/ossf/scorecard/blob/main/docs/checks.md#dependency-update-tool Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>	2022-06-01 20:02:30 -07:00