Compare commits

..

No commits in common. "e96428674d17160606114f7babc61e4f8d54e428" and "95063ba566db81a0a40e49d9ba02060a93087562" have entirely different histories.

View file

@ -1,28 +0,0 @@
name: "Publish tags to FlakeHub"
on:
push:
tags:
- "v?[0-9]+.[0-9]+.[0-9]+*"
workflow_dispatch:
inputs:
tag:
description: "The existing tag to publish to FlakeHub"
type: "string"
required: true
jobs:
flakehub-publish:
runs-on: "ubuntu-latest"
permissions:
id-token: "write"
contents: "read"
steps:
- uses: "actions/checkout@v4"
with:
ref: "${{ (inputs.tag != null) && format('refs/tags/{0}', inputs.tag) || '' }}"
- uses: "DeterminateSystems/determinate-nix-action@v3"
- uses: "DeterminateSystems/flakehub-push@main"
with:
visibility: "public"
name: "specCon18/sk_extract"
tag: "${{ inputs.tag }}"
include-output-paths: true