File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -723,7 +723,7 @@ def has_result(
723723 benchmark_hash : str ,
724724 progress : bool = True ,
725725) -> Result | None :
726- if machine == " all" :
726+ if machine in ( "__really_all" , " all") :
727727 nickname = None
728728 else :
729729 _ , _ , nickname = machine .split ("-" )
Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ def _main(
4848 print ("need_to_run=false" )
4949 else :
5050 need_to_run = (
51- machine == " all"
51+ machine in ( "__really_all" , " all")
5252 or has_result (
5353 Path ("results" ),
5454 merge_base ,
Original file line number Diff line number Diff line change @@ -74,7 +74,7 @@ def _main(
7474 git .remove (results_dir .parent , filepath )
7575 should_run = True
7676 else :
77- should_run = machine == " all" or found_result is None
77+ should_run = ( machine in ( "__really_all" , " all")) or found_result is None
7878
7979 print (f"should_run={ str (should_run ).lower ()} " )
8080
You can’t perform that action at this time.
0 commit comments