Skip to content

Merge branch 'main' into working_nix #3

Merge branch 'main' into working_nix

Merge branch 'main' into working_nix #3

Workflow file for this run

on: [push]
name: Create an issue on push
permissions:
contents: read
issues: write
jobs:
stuff:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: check nix flake
run: |
make check
- uses: JasonEtco/create-an-issue@v2
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}