File tree Expand file tree Collapse file tree 1 file changed +13
-14
lines changed
Expand file tree Collapse file tree 1 file changed +13
-14
lines changed Original file line number Diff line number Diff line change @@ -145,17 +145,16 @@ jobs:
145145 - name : Build
146146 run : make -C $GITHUB_WORKSPACE/build -j `nproc` benchmark
147147
148- # doc:
149- # needs: create-images
150- # runs-on: ["ubuntu-24.04"]
151- # name: "Documentation"
152- # container:
153- # image: ghcr.io/facebook/bpfilter:fedora-41-x64
154- # timeout-minutes: 5
155- # steps:
156- # - name: Checkout repository
157- # uses: actions/checkout@v2
158- # - name: Configure build
159- # run: cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build
160- # - name: Build
161- # run: make -C $GITHUB_WORKSPACE/build -j `nproc` doc
148+ doc :
149+ needs : create-images
150+ timeout-minutes : 5
151+ runs-on : [ "ubuntu-24.04" ]
152+ container : ghcr.io/facebook/bpfilter:fedora-41-x64
153+ name : " Documentation"
154+ steps :
155+ - name : Checkout bpfilter
156+ uses : actions/checkout@v2
157+ - name : Configure the build
158+ run : cmake -S $GITHUB_WORKSPACE -B $GITHUB_WORKSPACE/build
159+ - name : Build
160+ run : make -C $GITHUB_WORKSPACE/build -j `nproc` doc
You can’t perform that action at this time.
0 commit comments