Skip to content

Fix TLS issues, enable TLS in tests #43

Fix TLS issues, enable TLS in tests

Fix TLS issues, enable TLS in tests #43

Workflow file for this run

# SPDX-FileCopyrightText: 2022-2024 TII (SSRC) and the Ghaf contributors
# SPDX-License-Identifier: Apache-2.0
name: check
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
run-checks:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install nix
uses: cachix/install-nix-action@v24
- name: Check .nix formatting
run: nix fmt -- --fail-on-change
- name: Check nix flake show runs successfully
run: nix flake show
- name: Run nix flake check
run: nix flake check