Skip to content
Deploy Docs

Rename Timer::{percent,percent_left} to `Timer::{fraction,fraction_… #2190

Sign in to view logs

Rename Timer::{percent,percent_left} to `Timer::{fraction,fraction_…

Rename Timer::{percent,percent_left} to `Timer::{fraction,fraction_… #2190

Triggered via push November 13, 2023 15:26
@github-merge-queuegithub-merge-queue[bot]
pushed 18d001d
main
Status Success
Total duration 5m 0s
Artifacts –

docs.yml

on: push
build-and-deploy
4m 46s
build-and-deploy
Fit to window
Zoom out
Zoom in