build : remove zig (#7471)

This commit is contained in:
Georgi Gerganov 2024-05-22 20:05:38 +03:00 committed by GitHub
parent 6ff13987ad
commit 197ff91462
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 0 additions and 201 deletions

View file

@ -1,29 +0,0 @@
name: Zig CI
on:
pull_request:
push:
branches:
- master
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }}
cancel-in-progress: true
jobs:
build:
strategy:
fail-fast: false
matrix:
runs-on: [ubuntu-latest, macos-latest, windows-latest]
runs-on: ${{ matrix.runs-on }}
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
- uses: goto-bus-stop/setup-zig@v2
with:
version: 0.11.0
- name: Build Summary
run: zig build --summary all -freference-trace