We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9766907 commit 259138aCopy full SHA for 259138a
Makefile
@@ -76,8 +76,8 @@ results-generation:
76
@poetry run smtcomp export-results-pages data Incremental
77
@echo "🚀 Generating results to web/content/results for Cloud"
78
@poetry run smtcomp export-results-pages data Cloud
79
- @echo "🚀 Generating results to web/content/results for Parallel"
80
- @poetry run smtcomp export-results-pages data Parallel
+ # @echo "🚀 Generating results to web/content/results for Parallel"
+ # @poetry run smtcomp export-results-pages data Parallel
81
82
cache:
83
@echo "🚀 Generating cache"
0 commit comments