remove depreciate CI

This commit is contained in:
Yusheng Zheng
2024-10-20 07:46:20 +00:00
parent 63a5241bfa
commit a09397b583
5 changed files with 6 additions and 41 deletions

View File

@@ -1,32 +0,0 @@
name: CI
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
jobs:
build:
name: Deploy gh-pages
runs-on: ubuntu-latest
permissions:
contents: write
pull-requests: write
steps:
- uses: actions/checkout@v3
with:
submodules: 'recursive'
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
- name: install mdbook
run: (test -x $HOME/.cargo/bin/mdbook || cargo install mdbook)
- name: build and test
run: mdbook build
- name: publish
if: github.event_name == 'push' && github.ref == 'refs/heads/main' && github.repository_owner == 'eunomia-bpf'
uses: JamesIves/github-pages-deploy-action@v4.4.1
with:
branch: gh-pages
folder: book

View File

@@ -84,4 +84,7 @@ jobs:
- name: test 44
run: |
make -C src/43-kfuncs
make -C src/44-scx-simple
- name: test 45
run: |
make -C src/45-scx-nest