Skip to content

.github/workflows/test.yml #2

.github/workflows/test.yml

.github/workflows/test.yml #2

Workflow file for this run

on:
workflow_dispatch:
inputs:
hax:
description: "Hax"
type: "string"
default: "main"
charon:
description: "Charon"
type: "string"
default: "main"
jobs:
test:
runs-on: [self-hosted, linux, nix]
steps:
- name: checkout
uses: actions/checkout@v4
- name: update
run: ./update.sh
env:
HAX_BRANCH: ${{ inputs.hax }}
CHARON_BRANCH: ${{ inputs.charon }}