Github Pages

v0.8.1 release (#110) #91

Sign in to view logs

Triggered via push April 27, 2024 08:14

jorgensd

main

Status Success

Total duration 11m 31s

Artifacts 7

deploy_pages.yml

on: push

build-docs / build-docs

run-coverage / ... / create-dolfin-data

run-coverage / ... / create-adios-data

run-coverage / ... / check-code

test-openmpi / ... / create-dolfin-data

test-openmpi / ... / create-adios-data

run-coverage / test-code

Matrix: test-openmpi / test-code

Artifacts

Produced during runtime

Name	Size
code-coverage-report Expired	109 KB
docs Expired	1.77 MB
github-pages Expired	1.79 MB
legacy_checkpoint_mpich Expired	12.5 KB
legacy_checkpoint_ompi Expired	12.5 KB
legacy_mpich Expired	5.21 KB
legacy_ompi Expired	5.21 KB