Compare commits

..

2 commits

Author SHA1 Message Date
Seven of Nine
5c10658aa3 flake.lock: Update
Flake lock file updates:

• Updated input 'emacs-overlay':
    'github:nix-community/emacs-overlay/6cd7ddb6c8a8ac4b2bfb35ca3261d3e689740c8e' (2024-03-08)
  → 'github:nix-community/emacs-overlay/4dd04421a91873b26f5b4acc8b2c947cb91c7900' (2024-03-09)
• Updated input 'emacs-overlay/nixpkgs-stable':
    'github:NixOS/nixpkgs/880992dcc006a5e00dd0591446fdf723e6a51a64' (2024-03-05)
  → 'github:NixOS/nixpkgs/2be119add7b37dc535da2dd4cba68e2cf8d1517e' (2024-03-08)
• Updated input 'extra-package-copilot':
    'github:zerolfx/copilot.el/fd4d7e8c1e95aa9d3967b19905c9b8c3e03f6a5c' (2024-02-22)
  → 'github:zerolfx/copilot.el/4e203efaa1f4047c800a026ba496d3bda8b67119' (2024-03-09)
2024-03-09 18:03:35 +00:00
f28064a290
Various fixes
All checks were successful
/ test (push) Successful in 28s
2024-03-09 19:03:18 +01:00

View file

@ -4,15 +4,23 @@ jobs:
runs-on: nix runs-on: nix
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
- run: git switch -c flake-bump-inputs name: Checkout repository
- run: | - name: Create new branch from the checked out one
run: git switch -c flake-bump-inputs
- name: Configure git as `Seven of Nix`
run: |
git config --global user.email "sevenofnine+andrea.ciceri@autistici.org" git config --global user.email "sevenofnine+andrea.ciceri@autistici.org"
git config --global user.name "Seven of Nine" git config --global user.name "Seven of Nine"
- run: nix flake update --commit-lock-file - name: Update flake's lockfile and create commit
- run: git push origin --force flake-bump-inputs run: nix flake update --commit-lock-file
- run: tea logins add --token ${{secrets.SEVENOFNINE_TOKEN}} --url https://git.aciceri.dev - name: Push commit to the `flake-bump-inputs` remote branch
- run: tea logins default git.aciceri.dev run: git push origin --force flake-bump-inputs
- run: | - name: Login as `Seven of Nix`
run: |
tea logins add --token ${{secrets.SEVENOFNINE_TOKEN}} --url https://git.aciceri.dev
tea logins default git.aciceri.dev
- name: Create the pull request
run: |
tea pulls create \ tea pulls create \
--repo "$GITHUB_REPOSITORY" \ --repo "$GITHUB_REPOSITORY" \
--title "Update flake's lockfile" \ --title "Update flake's lockfile" \