3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-27 02:25:41 +00:00

Merge pull request #5706 from YosysHQ/remove-flake-lock

Remove already disabled CI job
This commit is contained in:
Miodrag Milanović 2026-02-25 11:15:33 +01:00 committed by GitHub
commit fd1ac58767
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,25 +0,0 @@
name: update-flake-lock
on:
workflow_dispatch: # allows manual triggering
schedule:
- cron: '0 0 * * 0' # runs weekly on Sunday at 00:00
jobs:
lockfile:
if: github.repository == 'YosysHQ/Yosys'
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Install Nix
uses: DeterminateSystems/nix-installer-action@main
- name: Update flake.lock
uses: DeterminateSystems/update-flake-lock@main
with:
token: ${{CI_CREATE_PR_TOKEN}}
pr-title: "Update flake.lock" # Title of PR to be created
pr-labels: | # Labels to be set on the PR
dependencies
automated