Skip to content

Merge pull request #699 from felicialim/654_sec_3-1_syntax_style #293

Merge pull request #699 from felicialim/654_sec_3-1_syntax_style

Merge pull request #699 from felicialim/654_sec_3-1_syntax_style #293

Triggered via push August 17, 2023 07:53
Status Failure
Total duration 1m 38s
Artifacts 1

auto-publish.yml

on: push
Deploy to GitHub pages
1m 29s
Deploy to GitHub pages
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
Deploy to GitHub pages
Process completed with exit code 1.
Deploy to GitHub pages
Failed. See details above.
Deploy to GitHub pages
Process completed with exit code 1.
Deploy to GitHub pages
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
746 KB