Skip to content

flakes: update all inputs on September 9, 2023 #253

flakes: update all inputs on September 9, 2023

flakes: update all inputs on September 9, 2023 #253

Workflow file for this run

name: "Update Metals"
#on:
#schedule:
#- cron: "0 8 * * 0"
jobs:
fetcher:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: "Install Nix ❄️"
uses: cachix/install-nix-action@v18
with:
extra_nix_config: |
substituters = https://cache.garnix.io https://cache.nixos.org/
trusted-public-keys = cache.garnix.io:CTFPyKSLcx5RMJKfLo5EEPUObbA78b0YQ2DTCJXqr9g= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
- name: "Fetch latest Metals"
id: fetcher
run: nix run .#metals-updater
- name: "Create pull request"
uses: peter-evans/[email protected]
with:
committer: GitHub <[email protected]>
author: ${{ github.actor }} <${{ github.actor }}@users.noreply.github.com>
token: ${{ secrets.REPO_GITHUB_TOKEN }}
base: master
branch: update/metals-${{ steps.fetcher.outputs.metals_version }}
delete-branch: true
commit-message: "Update Metals to ${{ steps.fetcher.outputs.metals_version }}"
title: 'Update Metals to ${{ steps.fetcher.outputs.metals_version }}'
body: |
Update Metals to version `${{ steps.fetcher.outputs.metals_version }}`. See https://scalameta.org/metals/latests.json
labels: |
metals-update