ci-linux.yml

name: CI Linux

## This GitHub Actions workflow runs SAGE_ROOT/tox.ini with selected environments,
## whenever a tag is pushed.
##
## It builds and checks some sage spkgs as defined in TARGETS.
##
## A job succeeds if there is no error.
##
## The build is run with "make V=0", so the build logs of individual packages are suppressed.
##
## At the end, all package build logs that contain an error are printed out.
##
## After all jobs have finished (or are canceled) and a short delay,
## tar files of all logs are made available as "build artifacts".

#on: [push, pull_request]

on:
  push:
    tags:
      - '*'
  workflow_dispatch:
    # Allow to run manually

env:
  TARGETS_PRE: all-sage-local
  TARGETS: build doc-html
  TARGETS_OPTIONAL: ptest

permissions:
  packages: write

jobs:
  minimal:
    if: ${{ success() || failure() }}
    uses: ./.github/workflows/docker.yml
    with:
      # Build from scratch
      free_disk_space: true
      docker_targets: "with-system-packages configured with-targets-pre with-targets with-targets-optional"
      # FIXME: duplicated from env.TARGETS
      targets_pre: all-sage-local
      targets: build doc-html
      targets_optional: ptest
      tox_system_factors: >-
          ["ubuntu-jammy"]
      tox_packages_factors: >-
          ["minimal"]
      docker_push_repository: ghcr.io/${{ github.repository }}/

  standard:
    uses: ./.github/workflows/docker.yml
    with:
      free_disk_space: true
      # Build from scratch
      docker_targets: "with-system-packages configured with-targets-pre with-targets with-targets-optional"
      targets_pre: all-sage-local
      targets: build doc-html
      targets_optional: ptest
      tox_packages_factors: >-
          ["standard"]
      docker_push_repository: ghcr.io/${{ github.repository }}/