Skip to content
This repository has been archived by the owner on Sep 25, 2023. It is now read-only.

Commit

Permalink
Remove documentation build scripts for Jenkins (#578)
Browse files Browse the repository at this point in the history 
We recently created new scripts for building documentation with GitHub Actions.

This PR removes the old scripts that were used by Jenkins and are no longer in use.

Authors:
  - AJ Schmidt (https://github.com/ajschmidt8)

Approvers:
  - Ray Douglass (https://github.com/raydouglass)

URL: #578
  • Loading branch information
@ajschmidt8
ajschmidt8 authored Jun 1, 2023
1 parent 6a3ba26 commit daaee62
Showing 1 changed file with 0 additions and 55 deletions.
55 changes: 0 additions & 55 deletions ci/docs/build.sh
View file

This file was deleted.

0 comments on commit daaee62

Please sign in to comment.