Skip to content
CI

ci: try to make git work in github actions #25

Sign in to view logs

ci: try to make git work in github actions

ci: try to make git work in github actions #25

Workflow file for this run

.github/workflows/ci.yml at d10c376
# SPDX-License-Identifier: BSD-3-Clause
# Copyright (c) 2023 Robin Jarry
---
name: CI
on:
push:
branches:
- main
pull_request:
jobs:
build:
runs-on: ubuntu-latest
container: fedora:latest
steps:
- run: |
dnf install -y \
make gcc ninja-build meson git gcovr scdoc \
libasan \
libcmocka-devel \
libedit-devel \
libevent-devel \
numactl-devel \
python3-pyelftools
- uses: actions/checkout@v4
- run: make
- run: make coverage
lint:
runs-on: ubuntu-latest
steps:
- run: sudo apt-get install make clang-format git
- uses: actions/checkout@v4
with:
fetch-depth: 0
- run: make lint
# TODO: later, check commit messages here
- run: |
git config --global --add safe.directory $PWD
git log --oneline --decorate "${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}"
if: ${{ github.event.pull_request.base.sha && github.event.pull_request.head.sha }}