Skip to content
This repository has been archived by the owner on Oct 10, 2024. It is now read-only.

Revert "Fix submodules and CI jobs" #11

Merged
merged 1 commit into from
Jul 25, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@ name: "CodeQL"

on:
push:
branches: [ "main", "apl*" ]
branches: [ "main" ]
pull_request:
branches: [ "main", "apl*" ]
branches: [ "main" ]
schedule:
- cron: '40 12 * * 1'

Expand Down
62 changes: 6 additions & 56 deletions .github/workflows/docs.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -20,73 +20,23 @@
## subcontract 1658085.
##

name: API documentation
name: Build documentation

on:
push:
paths:
- .github/workflows/docs.yaml
- deps/**
- src/**
- tests/**
- docs/**

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write

# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
on: [push]

jobs:
apidoc:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
with:
submodules: recursive
- uses: actions/checkout@v3
- name: dependencies
run: |
sudo apt-get update && sudo apt-get install -y python3-pip
pip3 install --upgrade pip
pip3 install .[docs]
- name: build
run: ./build_docs.sh
- name: Compress
run: cd docs/_build && tar -cf html.tar html
- name: Archive
uses: actions/upload-artifact@v3
- uses: actions/upload-artifact@v3
with:
name: docs
path: docs/_build/html.tar

deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: apidoc
if: ${{ github.ref == 'refs/heads/main' || github.ref == 'refs/heads/apl-fy24' }}
runs-on: ubuntu-latest
steps:
- uses: actions/download-artifact@v3
with:
name: doxygen
path: docs/_build/
- name: Decompress
run: cd docs/_build && tar -xf html.tar
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
# Just the HTML
path: docs/_build/html/
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2
path: docs/_build
2 changes: 1 addition & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
[submodule "tests/adms"]
path = tests/adms
url = ../dtnma-adms.git
url = ../anms-adms.git
branch = main
Loading