Skip to content

Test issue728 branch of fixpoint #1733

Test issue728 branch of fixpoint

Test issue728 branch of fixpoint #1733

Annotations

1 warning

build-docs-job

succeeded Dec 19, 2024 in 19s
Set up job
1s
Run actions/checkout@v2
2s
Run actions/setup-python@v2
0s
Run pip install \ mkdocs-material \ mkdocs-awesome-pages-plugin \ git+https://github.com/jldiaz/mkdocs-plugin-tags.git
11s
Run cd docs/mkDocs && mkdocs build -s
2s
Post Run actions/setup-python@v2
0s
Post Run actions/checkout@v2
0s
Complete job
0s