make shavit-mapchooser grab tiers even if not mysql · shavitush/bhoptimer@b150073

Triggered via push February 11, 2025 03:55

rtldg

master

Status Success

Total duration 17s

Artifacts 2

ci.yml

on: push

Matrix: compile

Produced during runtime

Name	Size
bhoptimer-master-sm1.11-b150073 Expired	1.28 MB
bhoptimer-master-sm1.12-b150073 Expired	1.29 MB