Skip to content

Tweak the approach of publishing the website to GH pages on CI #126

Tweak the approach of publishing the website to GH pages on CI

Tweak the approach of publishing the website to GH pages on CI #126

Triggered via pull request January 20, 2024 11:20
Status Success
Total duration 6m 43s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Formatting
40s
Formatting
Build docs
44s
Build docs
Compiler and SBT plugin tests
6m 35s
Compiler and SBT plugin tests
Integration tests
57s
Integration tests
Fit to window
Zoom out
Zoom in