Skip to content

Rename marggers to margrave (#2689) #132

Rename marggers to margrave (#2689)

Rename marggers to margrave (#2689) #132

Workflow file for this run

on: push
jobs:
default:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: iffy/[email protected]
with:
version: stable
- run: nim c -d:ssl -r -d:release package_scanner.nim packages.json
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}