Skip to content
Use this GitHub action with your project
Add this Action to an existing workflow or create a new one
View on Marketplace

Latest commit

History

3 Commits

Folders and files

NameName
Last commit message
Last commit date

Repository files navigation

setup-hot

GitHub Action to install the Hot programming language CLI.

Use this action to set up Hot in your GitHub Actions workflows for deploying, testing, or running Hot projects.

Usage

Basic deploy

name: Deployon:
push:
branches: [main]jobs:
deploy:
runs-on: ubuntu-lateststeps:
- uses: actions/checkout@v4
- uses: hotdev/setup-hot@v1
- run: hot deployenv:
HOT_API_KEY: ${{ secrets.HOT_API_KEY }}

Pin a specific version

 - uses: hotdev/setup-hot@v1with:
version: '1.2.3'

Pass the API key through the action

 - uses: hotdev/setup-hot@v1with:
api-key: ${{ secrets.HOT_API_KEY }}
- run: hot deploy

Run tests before deploying

name: Test and Deployon:
push:
branches: [main]jobs:
test-and-deploy:
runs-on: ubuntu-lateststeps:
- uses: actions/checkout@v4
- uses: hotdev/setup-hot@v1
- run: hot check
- run: hot test
- run: hot deployenv:
HOT_API_KEY: ${{ secrets.HOT_API_KEY }}

Deploy on release

name: Deploy on Releaseon:
release:
types: [published]jobs:
deploy:
runs-on: ubuntu-lateststeps:
- uses: actions/checkout@v4
- uses: hotdev/setup-hot@v1
- run: hot deployenv:
HOT_API_KEY: ${{ secrets.HOT_API_KEY }}

Inputs

NameDescriptionRequiredDefault
versionHot version to install (e.g. 1.2.3).Nolatest
api-keyHot API key for deployment. Alternative to setting HOT_API_KEY env var.No

How it works

  1. Detects the runner OS and architecture
  2. Downloads the appropriate Hot installer (.pkg for macOS, .deb for Linux)
  3. Installs Hot system-wide
  4. Optionally sets HOT_API_KEY in the environment
  5. Verifies the installation succeeded

Prerequisites

  • Runner OS:ubuntu-latest or macos-latest (Linux and macOS are supported)
  • Hot project: Your repository should contain a hot.hot configuration file
  • API key: Set HOT_API_KEY as a repository secret for deployment

Setting up your API key

  1. Get your API key from hot.dev
  2. Go to your GitHub repo → SettingsSecrets and variablesActions
  3. Click New repository secret
  4. Name: HOT_API_KEY, Value: your API key

Your hot.hot config file reads this automatically:

hot.remote.hot-dev.key ::env/get("HOT_API_KEY", "")

Supported platforms

RunnerOSArchitecture
ubuntu-latestLinuxx86_64
ubuntu-24.04-armLinuxarm64
macos-latestmacOSarm64
macos-13macOSx86_64

License

Apache 2.0 — see LICENSE.

About

Hot Dev Github Action

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors