Skip to content
CI

Merge pull request #5 from asynchronics/feature/ci-improvements #24

Sign in to view logs

Merge pull request #5 from asynchronics/feature/ci-improvements

Merge pull request #5 from asynchronics/feature/ci-improvements #24

Triggered via push September 8, 2024 18:54
@sbarralsbarral
pushed 08fa3e4
main
Status Success
Total duration 1m 45s
Artifacts –

ci.yml

on: push
Test suite
11s
Test suite
Test suite (Loom)
40s
Test suite (Loom)
Miri
32s
Miri
Lints
13s
Lints
Docs
12s
Docs
Matrix: Check
Fit to window
Zoom out
Zoom in