Skip to content

Merge pull request #228 from HuangFuSL/deployment-update #18

Merge pull request #228 from HuangFuSL/deployment-update

Merge pull request #228 from HuangFuSL/deployment-update #18

Triggered via push September 17, 2023 09:08
Status Success
Total duration 3m 16s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

deploy.yml

on: push
Deploy documentation  /  Build documentation
48s
Deploy documentation / Build documentation
Detect changed LaTeX files
4s
Detect changed LaTeX files
Update metrics  /  github-metrics
2m 13s
Update metrics / github-metrics
Compile LaTeX files  /  Compile LaTeX files
Compile LaTeX files / Compile LaTeX files
Fit to window
Zoom out
Zoom in