Lint

Use new score index for leaderboard #10938

Sign in to view logs

Summary
Jobs
- Lint all
Run details
- Usage
- Workflow file

Triggered via pull request January 24, 2024 10:54

nanaya

synchronize #10890

nanaya:score-solo-index

Status Success

Total duration 1m 24s

Artifacts –

lint.yml

on: pull_request