Skip to content
CI

Merge pull request #2933 from GreenAsJade/rank_range_selector_headers #3514

Sign in to view logs

Merge pull request #2933 from GreenAsJade/rank_range_selector_headers

Merge pull request #2933 from GreenAsJade/rank_range_selector_headers #3514

Triggered via push January 29, 2025 20:36
@anoekanoek
pushed 368d1fd
devel
Status Success
Total duration 2m 54s
Artifacts –

main.yml

on: push
build
2m 47s
build
Fit to window
Zoom out
Zoom in