Skip to content

Actions: MuRongMoQing/RolleTheorem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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 #38: Commit 5dfa5ae pushed by MuRongMoQing
1h 41m 53s basic_begin
basic_begin
1h 41m 53s
添加对 Mathlib 的导入 Lean Action CI #37: Commit add8c54 pushed by MuRongMoQing
1m 1s basic_begin
basic_begin
1m 1s
添加解析正整数的函数，返回非负整数或错误信息 Lean Action CI #36: Commit b064dd6 pushed by MuRongMoQing
11m 18s basic_begin
basic_begin
11m 18s
添加示例以验证基本算术运算 Lean Action CI #35: Commit 3381ee2 pushed by MuRongMoQing
9m 41s basic_begin
basic_begin
9m 41s
Merge pull request #1 from MuRongMoQing/true_project_one Lean Action CI #34: Commit a4144f6 pushed by MuRongMoQing
10m 38s basic_begin
basic_begin
10m 38s
basic Lean Action CI #33: Pull request #1 opened by MuRongMoQing
1m 31s true_project_one
true_project_one
1m 31s
添加自检示例以验证基本算术运算 Lean Action CI #32: Commit a3bc334 pushed by MuRongMoQing
11m 53s basic_begin
basic_begin
11m 53s
basic Lean Action CI #31: Commit af18270 pushed by MuRongMoQing
5m 43s true_project_one
true_project_one
5m 43s
basic Lean Action CI #30: Commit d8e4139 pushed by MuRongMoQing
9m 44s basic_begin
basic_begin
9m 44s
添加 mixcheck.lean 文件，包含基本的数学示例 Lean Action CI #29: Commit 8d12642 pushed by MuRongMoQing
12m 19s learn
learn
12m 19s
移除多余的空行以优化代码格式 Lean Action CI #28: Commit 655d5b6 pushed by MuRongMoQing
11m 25s learn
learn
11m 25s
Delete RolleTheorem.code-workspace Lean Action CI #27: Commit 30743d6 pushed by MuRongMoQing
10m 57s learn
learn
10m 57s
添加 .code-workspace 文件并更新 .gitignore Lean Action CI #26: Commit c225bb3 pushed by MuRongMoQing
10m 0s learn
learn
10m 0s
Initial commit Lean Action CI #25: Commit 0c54ab4 pushed by MuRongMoQing
11m 17s true_project_one
true_project_one
11m 17s
命名空间嵌套测试 Lean Action CI #24: Commit d2c4300 pushed by MuRongMoQing
10m 30s learn
learn
10m 30s
添加 Foo 命名空间及相关函数和检查示例 Lean Action CI #23: Commit e3b5005 pushed by MuRongMoQing
10m 15s learn
learn
10m 15s
Delete .github/workflows/lean_action_ci.yml CI #2: Commit 2c4a2db pushed by MuRongMoQing
8s master
master
8s
Lean Action CI Lean Action CI #22: Manually run by MuRongMoQing
2m 17s master
master
2m 17s
Add basic CI workflow with build job CI #1: Commit 46197c1 pushed by MuRongMoQing
8s master
master
8s
重构 compose、doTwice 和 doThrice 函数，移至定义部分并简化实现 Lean Action CI #20: Commit b72bbb3 pushed by MuRongMoQing
11m 44s learn
learn
11m 44s
添加 compose_one、doTwice_one 和 doThrice_one 函数到 useful 部分 Lean Action CI #19: Commit 1ddb35d pushed by MuRongMoQing
11m 41s learn
learn
11m 41s
pages build and deployment pages-build-deployment #1: by MuRongMoQing
41s master
master
41s