Skip to content

Merge pull request #418 from objectionary/update-rules #755

Merge pull request #418 from objectionary/update-rules

Merge pull request #418 from objectionary/update-rules #755

Triggered via push June 21, 2024 11:14
Status Success
Total duration 24m 52s
Artifacts 3

ghc.yml

on: push
Run static checks
11s
Run static checks
Matrix: Run pipeline
Matrix: Run tests
Build and upload site (master)
12m 53s
Build and upload site (master)
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Run pipeline (ubuntu-latest)
Cache save failed.
Run pipeline (macos-12)
Cache save failed.
Run pipeline (windows-latest)
Cache save failed.
Build and upload site (master)
No cache found
Build and upload site (master)
No cache found

Artifacts

Produced during runtime
Name Size
pipeline-files-Linux Expired
184 KB
pipeline-files-Windows Expired
185 KB
pipeline-files-macOS Expired
184 KB