~ajhalili2006's personal website, built with Zensical (successor of Material for Mkdocs) [old repo name got bugged while attempting to do manual knot migration via repo deletion] andreijiroh.dev
zensical mkdocs-material website

chore: do tweaks on classic config + basic devenv setup for Copilot Agent

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.dev>

andreijiroh.dev 6437e2fa cb7fdd98

verified
Changed files
+37 -3
.github
+34
.github/workflows/copilot-setup-steps.yml
···
+
name: "Copilot Setup Steps"
+
+
# Automatically run the setup steps when they are changed to allow for easy validation, and
+
# allow manual testing through the repository's "Actions" tab
+
on:
+
workflow_dispatch:
+
push:
+
paths:
+
- .github/workflows/copilot-setup-steps.yml
+
pull_request:
+
paths:
+
- .github/workflows/copilot-setup-steps.yml
+
+
jobs:
+
# The job MUST be called `copilot-setup-steps` or it will not be picked up by Copilot.
+
copilot-setup-steps:
+
runs-on: ubuntu-latest
+
+
# Set the permissions to the lowest permissions possible needed for your steps.
+
# Copilot will be given its own token for its operations.
+
permissions:
+
# If you want to clone the repository as part of your setup steps, for example to install dependencies, you'll need the `contents: read` permission. If you don't clone the repository in your setup steps, Copilot will do this for you automatically after the steps complete.
+
contents: read
+
+
# You can define any steps you want, and they will run before the agent starts.
+
# If you do not check out your code, Copilot will do this for you.
+
steps:
+
- name: Checkout code
+
uses: actions/checkout@v5
+
+
- name: Setup Deterinate Nix
+
uses: DeterminateSystems/nix-installer-action@main
+
with:
+
determinate: true
+3 -3
mkdocs.yml
···
primary: green
accent: yellow
toggle:
-
icon: material/brightness-auto
+
icon: lucide/sun-moon
name: Switch to light mode
# Palette toggle for light mode
···
primary: green
accent: yellow
toggle:
-
icon: material/brightness-7
+
icon: lucide/sun
name: Switch to dark mode
# Palette toggle for dark mode
···
primary: green
accent: yellow
toggle:
-
icon: material/brightness-4
+
icon: lucide/moon
name: Switch to light mode
# plugins