allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix GitHub repository settings config

Browse source
This commit is contained in:
Brandon Schneider 2026-05-11 22:55:56 -05:00
parent cb96c6bed2
commit aba034150c
3 changed files with 253 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

218
.github/dependabot.yml vendored Normal file
View file

@ -0,0 +1,218 @@
version: 2
updates:
- package-ecosystem: "github-actions"
directory: "/"
schedule:
interval: "weekly"
day: "monday"
time: "09:00"
timezone: "America/Chicago"
open-pull-requests-limit: 5
labels:
- "dependencies"
- "github-actions"
groups:
github-actions-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "pip"
directory: "/2-Search-Space/search/whoogle-search"
schedule:
interval: "weekly"
day: "monday"
time: "09:15"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "python"
groups:
python-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "pip"
directory: "/5-Applications/text-to-cad"
schedule:
interval: "weekly"
day: "monday"
time: "09:30"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "python"
- "cad"
groups:
cad-python-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "npm"
directory: "/"
schedule:
interval: "weekly"
day: "monday"
time: "09:45"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "javascript"
groups:
root-npm-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "npm"
directory: "/5-Applications/text-to-cad/viewer"
schedule:
interval: "weekly"
day: "monday"
time: "10:00"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "javascript"
- "cad"
groups:
cad-viewer-npm-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "npm"
directory: "/6-Documentation/tiddlywiki-local"
schedule:
interval: "weekly"
day: "monday"
time: "10:15"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "javascript"
- "docs"
groups:
wiki-npm-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "cargo"
directory: "/1-Distributed-Systems/agents/claw/rust"
schedule:
interval: "weekly"
day: "monday"
time: "10:30"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "rust"
groups:
claw-cargo-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "cargo"
directory: "/4-Infrastructure/servo-fetch"
schedule:
interval: "weekly"
day: "monday"
time: "10:45"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "rust"
- "infrastructure"
groups:
servo-fetch-cargo-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "cargo"
directory: "/5-Applications/linear-native-tauri"
schedule:
interval: "weekly"
day: "monday"
time: "11:00"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "rust"
- "tauri"
groups:
linear-tauri-cargo-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "cargo"
directory: "/5-Applications/notion-native-tauri"
schedule:
interval: "weekly"
day: "monday"
time: "11:15"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "rust"
- "tauri"
groups:
notion-tauri-cargo-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"
- package-ecosystem: "cargo"
directory: "/5-Applications/parquet_compressor"
schedule:
interval: "weekly"
day: "monday"
time: "11:30"
timezone: "America/Chicago"
open-pull-requests-limit: 3
labels:
- "dependencies"
- "rust"
- "compression"
groups:
parquet-cargo-minor-patch:
patterns:
- "*"
update-types:
- "minor"
- "patch"

25
.github/workflows/copilot-setup-steps.yml vendored
View file

@ -1,2 +1,23 @@
- name: Setup Lean
uses: Julian/setup-lean@main
name: Copilot Setup Steps
on:
workflow_dispatch:
push:
paths:
- ".github/workflows/copilot-setup-steps.yml"
pull_request:
paths:
- ".github/workflows/copilot-setup-steps.yml"
permissions:
contents: read
jobs:
copilot-setup-steps:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup Lean
uses: Julian/setup-lean@main

18
.github/workflows/wolfram-verification.yml vendored
View file

@ -3,12 +3,18 @@ name: Wolfram Alpha Verification Check
on:
pull_request:
paths:
- 'tools/lean/Semantics/**/*.lean'
- 'docs/AGENTS.md'
- '0-Core-Formalism/lean/Semantics/**/*.lean'
- '0-Core-Formalism/lean/Semantics/AGENTS.md'
- '6-Documentation/docs/AGENTS.md'
push:
paths:
- 'tools/lean/Semantics/**/*.lean'
- 'docs/AGENTS.md'
- '0-Core-Formalism/lean/Semantics/**/*.lean'
- '0-Core-Formalism/lean/Semantics/AGENTS.md'
- '6-Documentation/docs/AGENTS.md'
permissions:
contents: read
issues: write
jobs:
wolfram-verification:
@ -29,7 +35,7 @@ jobs:
fi
# Filter for Lean files in Semantics
grep 'tools/lean/Semantics.*\.lean$' /tmp/changed_files.txt > /tmp/lean_files.txt || true
grep '^0-Core-Formalism/lean/Semantics/.*\.lean$' /tmp/changed_files.txt > /tmp/lean_files.txt || true
if [ -s /tmp/lean_files.txt ]; then
echo "changed=true" >> $GITHUB_OUTPUT
@ -133,5 +139,5 @@ jobs:
def customOp (x : Q16_16) : Q16_16 := ...
\`\`\`
See [AGENTS.md Section 5.1](docs/AGENTS.md) for details.`
See [AGENTS.md Section 5.1](6-Documentation/docs/AGENTS.md) for details.`
})