Skip to content
CI

Make default primary tooltip a bit nicer #24

Sign in to view logs

Make default primary tooltip a bit nicer

Make default primary tooltip a bit nicer #24

Triggered via push August 20, 2024 08:45
@benfrankelbenfrankel
pushed 43cac8d
main
Status Success
Total duration 51s
Artifacts –

ci.yaml

on: push
Format
14s
Format
Clippy
28s
Clippy
Docs
26s
Docs
Tests
43s
Tests
Fit to window
Zoom out
Zoom in