pyinvoke支持所谓的“预”任务，必须在运行任务之前执行：
@task(pre=[required_precondition])
def mytask(c, param1=False):
pass
是否可以向“pre”任务添加一个条件（即仅当 param1 为 True 时才运行“required_precondition”）？
我使用创建一组环境变量的策略矩阵创建了一个 GitHub 操作作业。其中之一是machine_architecture32 或 64。
在大多数步骤中，我可以直接使用它，即通过${{ machine_architecture }}. 但是有些步骤需要像“i386”和“x86_64”这样的字符串。在 github 操作中是否有一种简单的方法来创建我可以在以下表达式中使用的地图对象：
map_object = { 32: "i386", 64: 'x86_64' }
...
${{ map_object[machine_architecture] }}
如果没有，github 操作中解决该问题的惯用方法是什么？
PS：我知道，我可以在步骤中设置环境变量，但问题是，这些变量仅适用于以下步骤（即不适用于“运行：”标签）
在阅读了https://www.rise4fun.com/Z3/tutorial上的优秀教程后，我开始尝试 Z3 。但现在我想了解Z3 的 SMTLIB2 方言中可用的所有命令的概述。
不幸的是，我只找到了不同语言绑定的参考手册，但没有找到 SMTLIB2 本身的参考手册。