Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ci setup #2

Merged
merged 15 commits into from
Aug 21, 2024
29 changes: 29 additions & 0 deletions .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
name: Documentation

on:
push:
branches:
- main
tags: '*'
pull_request:

jobs:
build:
permissions:
actions: write
contents: write
pull-requests: read
statuses: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: '1.10'
- uses: julia-actions/cache@v1
- name: Install dependencies
run: julia -e 'using Pkg; Pkg.develop(url="https://gitlab.com/alblaz/BoreholeResponseFunctions.git"); Pkg.develop(url="https://github.com/marcbasquensmunoz/FiniteLineSource"); Pkg.develop(path=pwd()); Pkg.add("Documenter"); Pkg.add("Literate"); Pkg.build("BoreholeNetworksSimulator"); Pkg.instantiate()'
- name: Build and deploy
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: julia --color=yes docs/make.jl
45 changes: 0 additions & 45 deletions .gitlab-ci.yml

This file was deleted.

21 changes: 12 additions & 9 deletions docs/make.jl
Original file line number Diff line number Diff line change
@@ -1,20 +1,23 @@
using Documenter, Literate, BoreholeNetworksSimulator

pages = [
"Introduction" => "index.md",
"Tutorial" => [
"Introduction" => "index.md"
#="Tutorial" => [
"Basic tutorial" => "tutorial.md",
"Non-history method" => "nonhistory.md",
"Running from python" => "python.md"
],
"API" => "api.md"
"API" => "api.md"=#
]

dir = @__DIR__
Literate.markdown("$dir/src/tutorial.jl", "$dir/src")
Literate.markdown("$dir/src/nonhistory.jl", "$dir/src")
#Literate.markdown("$dir/src/tutorial.jl", "$dir/src")
#Literate.markdown("$dir/src/nonhistory.jl", "$dir/src")
makedocs(
pages=pages,
sitename="BoreholeNetworksSimulator.jl",
repo=Remotes.GitLab("alblaz", "BoreholeNetworksSimulator")
)
pages = pages,
sitename = "BoreholeNetworksSimulator.jl"
#repo = Remotes.GitHub("marcbasquensmunoz", "BoreholeNetworksSimulator.jl")
)
deploydocs(
repo = "github.com/marcbasquensmunoz/BoreholeNetworksSimulator.jl.git"
)
Empty file removed public/.gitkeep
Empty file.
1 change: 0 additions & 1 deletion public/index.html

This file was deleted.

Loading