跳到内容

动作：agda/agda

行动

用户手册

行动

加载。。。
加载

显示工作流选项

创建状态徽章

加载
用户手册.yml
535个工作流运行
535个工作流运行

按事件筛选

按状态筛选

按分支筛选

按参与者筛选
重构：使用List1警告UnreachableClause 用户手册#2008:提交47电子0262推通过安德烈亚萨贝尔
2024年9月17日07:18 1米20秒 主人
主人
2024年9月17日07:18 1米20秒
在TypeError参数中使用非空集合 用户手册#2007:Pull请求#7497使同步通过安德烈亚萨贝尔
2024年9月17日06:02 2米10秒 使用-设置1
使用-设置1
2024年9月17日06:02 2米10秒
在TypeError参数中使用非空集合 用户手册#2006:Pull请求#7497使同步通过安德烈亚萨贝尔
2024年9月16日20:34 1米39秒 使用-设置1
使用-设置1
2024年9月16日20:34 1米39秒
在TypeError参数中使用非空集合 用户手册#2005:Pull请求#7497使同步通过安德烈亚萨贝尔
2024年9月16日19:39 1米34秒 使用-设置1
使用-设置1
2024年9月16日19:39 1米34秒
在TypeError参数中使用非空集合 用户手册#2004:Pull请求#7497使同步通过安德烈亚萨贝尔
2024年9月16日18:27 1米32秒 使用-设置1
使用-设置1
2024年9月16日18:27 1米32秒
ES6模块 用户手册#2003:Pull请求#7491使同步通过劳乔
2024年9月13日12:30 1米35秒 lawcho:es6模块
lawcho:es6模块
2024年9月13日12:30 1米35秒
ES6模块 用户手册#2002:Pull请求#7491使同步通过劳乔
2024年9月13日12:13 3米43秒 lawcho:es6模块
lawcho:es6模块
2024年9月13日12:13 3米43秒
ES6模块 用户手册#2001:Pull请求#7491开的通过劳乔
2024年9月13日12:12 1米6秒 lawcho:es6模块
lawcho:es6模块
2024年9月13日12:12 1米6秒
版本2.7.0.1 用户手册#2000:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月12日17:14 1米38秒 2.7.0.1重新发布
2.7.0.1释放
2024年9月12日17:14 1米38秒
版本2.7.0.1 用户手册#1999:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月11日21:03 1米33秒 2.7.0.1释放
2.7.0.1释放
2024年9月11日21:03 1米33秒
版本2.7.0.1 用户手册#1998:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月11日20:26 5米10秒 2.7.0.1释放
2.7.0.1释放
2024年9月11日20:26 5米10秒
在无保护记录中要求ETA杂注而不是ETA-equality指令 用户手册#1997:Pull请求#7470使同步通过安德烈亚萨贝尔
2024年9月9日12:21 1米24秒 无人值守的伊塔
无人值守的伊塔
2024年9月9日12:21 1米24秒
用于从字符串分析表层语法的反射原语。（#… 用户手册#1996:提交219521年2月推通过乌尔夫诺雷尔
2024年9月9日07:51 1米18秒 主人
主人
2024年9月9日07:51 1米18秒
版本2.7.0.1 用户手册#1995:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月8日13:18 3米3秒 2.7.0.1释放
2.7.0.1释放
2024年9月8日13:18 3米3秒
版本2.7.0.1 用户手册#1994:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月8日13:17 1米21秒 2.7.0.1释放
2.7.0.1释放
2024年9月8日13:17 1米21秒
版本2.7.0.1 用户手册#1993:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月8日13:07 1米26秒 2.7.0.1释放
2.7.0.1释放
2024年9月8日13:07 1米26秒
版本2.7.0.1 用户手册#1992:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月8日12:24 1米17秒 2.7.0.1释放
2.7.0.1释放
2024年9月8日12:24 1米17秒
版本2.7.0.1 用户手册#1991:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月7日07:45 2米38秒 2.7.0.1释放
2.7.0.1释放
2024年9月7日07:45 2米38秒
在无保护记录中要求ETA杂注而不是ETA-equality指令 用户手册#1990:Pull请求#7470使同步通过安德烈亚萨贝尔
2024年9月7日07:03 1米26秒 无人值守的伊塔
无人看守的eta
2024年9月7日07:03 1米26秒
版本2.7.0.1 用户手册#1989:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月4日11:06 1米41秒 2.7.0.1释放
2.7.0.1释放
2024年9月4日11:06 1米41秒
版本2.7.0.1 用户手册#1988:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月3日14:11 1米23秒 2.7.0.1释放
2.7.0.1释放
2024年9月3日14:11 1米23秒
版本2.7.0.1 用户手册#1987:Pull请求#7469使同步通过安德烈亚萨贝尔
2024年9月3日13:17 1米29秒 2.7.0.1释放
2.7.0.1释放
2024年9月3日13:17 1米29秒
版本2.7.0.1 用户手册#1986:Pull请求#7469开的通过安德烈亚萨贝尔
2024年9月3日10:15 1米29秒 2.7.0.1释放
2.7.0.1重新发布
2024年9月3日10:15 1米29秒
用于从字符串分析表层语法的反射原语。 用户手册#1985:Pull请求#6629使同步通过马尔金扬日博夫斯基
2024年9月2日16:43 4米43秒 marcingangrzybowski：解析并键入检查TC
marcingangrzybowski：解析并键入检查TC
2024年9月2日16:43 4米43秒
用于从字符串分析表层语法的反射原语。 用户手册#1984:Pull请求#6629使同步通过马尔金扬日博夫斯基
2024年9月2日16:42 1米22秒 marcingangrzybowski：解析并键入检查TC
marcingangrzybowski：解析并键入检查TC
2024年9月2日16:42 1米22秒