Compare commits
No commits in common. "ci/build" and "main" have entirely different histories.
1 changed files with 0 additions and 25 deletions
25
.github/workflows/build.yml
vendored
25
.github/workflows/build.yml
vendored
|
|
@ -1,25 +0,0 @@
|
||||||
name: Build
|
|
||||||
|
|
||||||
on:
|
|
||||||
push:
|
|
||||||
branches:
|
|
||||||
- "**"
|
|
||||||
pull_request:
|
|
||||||
branches:
|
|
||||||
- "**"
|
|
||||||
|
|
||||||
permissions:
|
|
||||||
contents: read
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
build:
|
|
||||||
name: build
|
|
||||||
runs-on: forty-two
|
|
||||||
|
|
||||||
steps:
|
|
||||||
- name: Checkout
|
|
||||||
uses: actions/checkout@v4
|
|
||||||
- name: Mandatory
|
|
||||||
run: CC=clang TERM=xterm make
|
|
||||||
- name: Bonus
|
|
||||||
run: CC=clang TERM=xterm make bonus
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue