Skip to content

Fix V100 CUDA compatibility for demeter4 runners #3

Fix V100 CUDA compatibility for demeter4 runners

Fix V100 CUDA compatibility for demeter4 runners #3

Workflow file for this run

name: "GPU Documentation"
on:
pull_request:
branches:
- master
push:
branches:
- master
tags: '*'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref_name != github.event.repository.default_branch || github.ref != 'refs/tags/v*' }}
jobs:
gpu-docs:
name: "Documentation"
runs-on: [self-hosted, Linux, X64, gpu]
timeout-minutes: 240
if: github.event_name == 'push' || !github.event.pull_request.draft
steps:
- uses: actions/checkout@v6
- uses: julia-actions/setup-julia@v2
with:
version: "1"
- run: |
julia --project=docs -e '
println("--- Instantiating project")
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
println("+++ Building documentation")
include("docs/make.jl")'
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
DATADEPS_ALWAYS_ACCEPT: true