跳到内容

动作：agda/agda

行动

构建、测试和基准测试

行动

加载。。。

显示所有名为“构建”、“测试”和“基准测试”的工作流的运行情况
1335个工作流运行结果
1335个工作流运行结果
事件

按事件筛选
状态

按状态筛选
分行
演员

按参与者筛选
为宏名称添加CSS规则 构建、测试和基准测试#3880:Pull请求#7325开的通过ncfavier公司
2024年6月18日16:04 3800万21秒 css-宏
css-宏
2024年6月18日16:04 3800万21秒
重构：Nicifer的信息性名称 构建、测试和基准测试#3879:Pull请求#7323开的通过劳乔
2024年6月18日14:06 3800万30秒 lawcho：重构破坏者
lawcho：重构破坏者
2024年6月18日14:06 3800万30秒
在反射界面中公开构造函数擦除 构建、测试和基准测试#3878:Pull请求#7322使同步通过厘米厘米A20
2024年6月16日23:18 36m 19秒 cmcmA20：曝光-施工-擦伤
cmcmA20：曝光-施工-擦伤
2024年6月16日23:18 36m 19秒
在反射界面中公开构造函数擦除 构建、测试和基准测试#3877:Pull请求#7322开的通过厘米厘米A20
2024年6月16日01:13 3600万39秒 cmcmA20:公开构造函数擦除
cmcmA20：曝光-施工-擦伤
2024年6月16日01:13 3600万39秒
新的死代码警告CoinductiveEtaRecord而不是GenericError 构建、测试和基准测试#3876:提交9英尺7809英寸推通过安德烈亚萨贝尔
2024年6月15日03:53 36米48秒 主人
主人
2024年6月15日03:53 36米48秒
新的死代码警告CoinductiveEtaRecord而不是GenericError 构建、测试和基准测试#3875:Pull请求#7300使同步通过安德烈亚萨贝尔
2024年6月14日20:59 3700万21秒 共创性电子录音警告
共创性电子录音警告
2024年6月14日20:59 3700万21秒
修复#7318：甚至对--postfix项目也使用mixfix语法 构建、测试和基准测试#3874:提交d60b6a6推通过安德烈亚萨贝尔
2024年6月14日20:56 3900万29秒 主人
主人
2024年6月14日20:56 3900万29秒
启用--默认情况下精确拆分 构建、测试和基准测试#3873:提交165697天推通过安德烈亚萨贝尔
2024年6月14日20:54 3700万秒 主人
主人
2024年6月14日20:54 3700万秒
新的死代码警告CoinductiveEtaRecord而不是GenericError 构建、测试和基准测试#3872:Pull请求#7300使同步通过安德烈亚萨贝尔
2024年6月14日12:08 36米50秒 共创性电子录音警告
共创性电子录音警告
2024年6月14日12:08 3600万50年代
将\交叉标记添加到emacs输入模式（修复#6433） 构建、测试和基准测试#3871:提交9948亿37推通过乌尔夫诺雷尔
2024年6月14日09:51 3700万26秒 主人
主人
2024年6月14日09:51 3700万26秒
启用--默认情况下精确拆分 构建、测试和基准测试#3870:Pull请求#7320开的通过安德烈亚萨贝尔
2024年6月13日16:04 38m 38秒 默认精确拆分
默认精确拆分
2024年6月13日16:04 38m 38秒
将--postfix投影设为默认值 构建、测试和基准测试#3869:Pull请求#7319使同步通过安德烈亚萨贝尔
2024年6月13日14:45 38米2秒 默认-postfix-proj
默认-postfix-proj
2024年6月13日14:45 38m 2秒
将--postfix投影设为默认值 构建、测试和基准测试#3868:Pull请求#7319开的通过安德烈亚萨贝尔
2024年6月13日08:24 38米20秒 默认-postfix-proj
默认-postfix-proj
2024年6月13日08:24 38米20秒
不要将eta单元记录标记为无关（#7317） 构建、测试和基准测试#3867:提交4647d71号推通过乌尔夫诺雷尔
2024年6月13日07:21 36米55秒 主人
主人
2024年6月13日07:21 36米55秒
不要将eta单元记录标记为无关 构建、测试和基准测试#3866:Pull请求#7317使同步通过乌尔夫诺雷尔
2024年6月13日06:35 3600万44秒 第6270期
第6270期
2024年6月13日06:35 3600万44秒
不要将eta单位记录标记为不相关 构建、测试和基准测试#3865:Pull请求#7317开的通过乌尔夫诺雷尔
2024年6月12日13:36 37米12秒 第6270期
第6270期
2024年6月12日13:36 37米12秒
将\交叉标记添加到emacs输入模式 构建、测试和基准测试#3864:Pull请求#7316开的通过乌尔夫诺雷尔
2024年6月12日13:21 36米49秒 发行6433
发行6433
2024年6月12日13:21 3600万49秒
现已修复的测试用例#6663 构建、测试和基准测试#3863:提交6446891推通过乌尔夫诺雷尔
2024年6月12日13:14 3700万6秒 主人
主人
2024年6月12日13:14 3700万6秒
修复#6335：使用UseShowInstance进行计算时出现更好的错误… 构建、测试和基准测试#3862:提交908英尺7推通过乌尔夫诺雷尔
2024年6月12日12:59 3700万立方米 主人
主人
2024年6月12日12:59 3700万立方米
记录模式和构造函数模式的阴影逻辑相同… 构建、测试和基准测试#3861:提交5111294推通过乌尔夫诺雷尔
2024年6月12日12:43 37m 40秒 主人
主人
2024年6月12日12:43 37米40秒
记录模式的阴影逻辑与absToCon中的构造函数模式相同 构建、测试和基准测试#3860:Pull请求#7315使同步通过乌尔夫诺雷尔
2024年6月12日12:00 3700万立方米 发行6584
发行6584
2024年6月12日12:00 3700万立方米
将CustomBackendWarning添加到用户手册 构建、测试和基准测试#3859:提交156eedb个推通过乌尔夫诺雷尔
2024年6月12日11:53 3500万44秒 主人
主人
2024年6月12日11:53 3500万44秒
记录模式的阴影逻辑与absToCon中的构造函数模式相同 构建、测试和基准测试#3858:Pull请求#7315开的通过乌尔夫诺雷尔
2024年6月12日09:14 3600万41秒 发行6584
发行6584
2024年6月12日09:14 3600万41秒
为自定义后端警告/错误添加构造函数 构建、测试和基准测试#3857:Pull请求#7314使同步通过乌尔夫诺雷尔
2024年6月12日08:13 3700万49秒 第6806期
第6806期
2024年6月12日08:13 3700万49秒
为自定义后端警告/错误添加构造函数 构建、测试和基准测试#3856:Pull请求#7314开的通过乌尔夫诺雷尔
2024年6月12日07:51 2300万44秒 第6806期
发行6806
2024年6月12日07:51 2300万44秒