Skip to content

Actions: Takeo140/Meta-Axiom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enhance CI with auto-merge functionality Meta-Axiom CI + Auto Merge #17: Commit 0df2b77 pushed by Takeo140
2m 5s main
main
2m 5s
Refactor Derivations.lean with new structures and functions Meta-Axiom CI + Auto Merge #16: Commit ae11023 pushed by Takeo140
2m 26s main
main
2m 26s
Rename Dorivations.lean to Derivations.lean Meta-Axiom CI + Auto Merge #15: Commit 83732c0 pushed by Takeo140
2m 14s main
main
2m 14s
Delete .github/workflows/lean_release.yml Meta-Axiom CI + Auto Merge #14: Commit e03d88c pushed by Takeo140
2m 19s main
main
2m 19s
Add GitHub Actions workflow for Lean Release Zip Lean Release Zip #1: Commit a1f21ba pushed by Takeo140
11s v1.0.2
v1.0.2
11s
Add GitHub Actions workflow for Lean Release Zip Meta-Axiom CI + Auto Merge #13: Commit a1f21ba pushed by Takeo140
2m 21s main
main
2m 21s
Dorivations.lean の作成 Meta-Axiom CI + Auto Merge #12: Commit b9fb1e2 pushed by Takeo140
2m 18s main
main
2m 18s
README.md の更新 Meta-Axiom CI + Auto Merge #11: Commit fe0cfd1 pushed by Takeo140
2m 54s main
main
2m 54s
README.md の更新 Meta-Axiom CI + Auto Merge #10: Commit 5369365 pushed by Takeo140
2m 23s main
main
2m 23s
README.md の更新 Meta-Axiom CI + Auto Merge #9: Commit 46e76cd pushed by Takeo140
2m 25s main
main
2m 25s
Refactor Axioms and Improve Structure in Lean 4 Meta-Axiom CI + Auto Merge #8: Commit d0cfce8 pushed by Takeo140
2m 21s main
main
2m 21s
Refactor CI workflow for Lean and Mathlib setup Meta-Axiom CI + Auto Merge #7: Commit 2409ca3 pushed by Takeo140
2m 47s main
main
2m 47s
Rename CI workflow and update steps for Lean 4 Meta-Axiom CI + Auto Merge #6: Commit acca9b0 pushed by Takeo140
18s main
main
18s
Refactor Lean toolchain initialization in workflow Meta-Axiom CI + Auto Merge #5: Commit 2aedca0 pushed by Takeo140
23s main
main
23s
Refactor Lean workflow for Lake project setup Meta-Axiom CI + Auto Merge #4: Commit 015549f pushed by Takeo140
11s main
main
11s
Change lean file to MetaAxiomsImproved.lean Meta-Axiom CI + Auto Merge #3: Commit 54c9965 pushed by Takeo140
22s main
main
22s
Refine Lean 4 CI workflow steps Meta-Axiom CI + Auto Merge #2: Commit 232399e pushed by Takeo140
20s main
main
20s
Add command to run Lean file in workflow Meta-Axiom CI + Auto Merge #1: Commit 765c187 pushed by Takeo140
11s main
main
11s