Skip to content

Actions: XCreeperPa/RedBlueChoice

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
添加引用元数据文件 Lean Action CI #12: Commit 522f308 pushed by XCreeperPa
1m 47s master
master
1m 47s
补充 DOI、归档链接与引用信息 Lean Action CI #11: Commit 1dfec3c pushed by XCreeperPa
1m 43s master
master
1m 43s
补充项目许可证说明 Lean Action CI #10: Commit d7f8d36 pushed by XCreeperPa
1m 47s v0.1.2
v0.1.2
1m 47s
补充项目许可证说明 Lean Action CI #9: Commit d7f8d36 pushed by XCreeperPa
2m 42s v0.1.1
v0.1.1
2m 42s
补充项目许可证说明 Lean Action CI #8: Commit d7f8d36 pushed by XCreeperPa
2m 55s master
master
2m 55s
精简并更新 README 项目说明 Lean Action CI #7: Commit 5e1d689 pushed by XCreeperPa
3m 25s v0.1.0
v0.1.0
3m 25s
精简并更新 README 项目说明 Lean Action CI #6: Commit 5e1d689 pushed by XCreeperPa
2m 48s master
master
2m 48s
加入理由结构图示并完善命题证明 Lean Action CI #5: Commit 334dc33 pushed by XCreeperPa
3m 5s master
master
3m 5s
新增论文初稿与 Lean4 代码排版方案 Lean Action CI #4: Commit ed0308d pushed by XCreeperPa
3m 13s master
master
3m 13s
重构到统一架构 Lean Action CI #3: Commit 060b1c5 pushed by XCreeperPa
3m 5s master
master
3m 5s
命题123完成 Lean Action CI #2: Commit 2fb3af9 pushed by XCreeperPa
2m 47s master
master
2m 47s
初始提交 Lean Action CI #1: Commit df4d0a2 pushed by XCreeperPa
3m 24s master
master
3m 24s