Skip to content

Actions: anzenlang/ansiColor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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
Merge pull request #9 from anzenlang/github_actions Lean Action CI #36: Commit 5aa91f8 pushed by AdrienChampion
21s main
main
21s
chore(ci): fix artifact-upload-on-release (hopefuly) Lean Action CI #35: Pull request #9 opened by AdrienChampion
26s github_actions
github_actions
26s
Merge pull request #8 from anzenlang/bump_lean .github/workflows/release_on_lean_update_ci.yml #2: Commit 85cb5b6 pushed by AdrienChampion
11s main
main
11s
Merge pull request #8 from anzenlang/bump_lean Lean Action CI #34: Commit 85cb5b6 pushed by AdrienChampion
21s main
main
21s
chore: bump to lean 4.31.0-rc2 Lean Action CI #33: Pull request #8 opened by AdrienChampion
21s bump_lean
bump_lean
21s
Merge pull request #7 from anzenlang/github_actions Lean Action CI #32: Commit 4450b5a pushed by AdrienChampion
23s main
main
23s
upload compilation artefacts on release Lean Action CI #31: Pull request #7 opened by AdrienChampion
27s github_actions
github_actions
27s
Merge pull request #6 from anzenlang/bump_lean Lean Action CI #30: Commit deb134c pushed by AdrienChampion
25s main
main
25s
Merge pull request #6 from anzenlang/bump_lean .github/workflows/release_on_lean_update_ci.yml #1: Commit deb134c pushed by AdrienChampion
15s main
main
15s
chore: bump to lean 4.30.0 Lean Action CI #29: Pull request #6 opened by AdrienChampion
27s bump_lean
bump_lean
27s
Merge pull request #4 from anzenlang/licensing Lean Action CI #28: Commit 501babe pushed by AdrienChampion
24s bump_lean
bump_lean
24s
Merge pull request #5 from anzenlang/github_actions Lean Action CI #27: Commit 913b2dc pushed by AdrienChampion
24s main
main
24s
feat(ci): workflow for new release on lean version update Lean Action CI #26: Pull request #5 synchronize by AdrienChampion
20s github_actions
github_actions
20s
feat(ci): workflow for new release on lean version update Lean Action CI #25: Pull request #5 opened by AdrienChampion
21s github_actions
github_actions
21s
Merge pull request #4 from anzenlang/licensing Lean Action CI #24: Commit 501babe pushed by AdrienChampion
27s main
main
27s
chore: lakefile license info Lean Action CI #23: Pull request #4 opened by AdrienChampion
25s licensing
licensing
25s
chore: rename test driver Lean Action CI #22: Commit 0ba39c6 pushed by AdrienChampion
21s licensing
licensing
21s
chore: add license info in lakefile Lean Action CI #21: Commit be716e4 pushed by AdrienChampion
23s licensing
licensing
23s
chore: bump to 4.29.0 Lean Action CI #20: Commit de4b1bb pushed by AdrienChampion
24s v4.29.0
v4.29.0
24s
chore: bump to 4.29.0 Lean Action CI #19: Commit de4b1bb pushed by AdrienChampion
24s main
main
24s
fix: prevent downstream clashes by renaming test directory Lean Action CI #18: Commit b6f57a0 pushed by AdrienChampion
24s main
main
24s
chore: bump lean version Lean Action CI #17: Commit f9cda03 pushed by AdrienChampion
24s main
main
24s
Bump lean Lean Action CI #16: Pull request #3 synchronize by AdrienChampion
19s bump_lean
bump_lean
19s
Merge branch 'main' into bump_lean Lean Action CI #15: Commit 5b9d5fa pushed by AdrienChampion
21s bump_lean
bump_lean
21s
chore: CI Lean Action CI #14: Commit 448241e pushed by AdrienChampion
23s bump_lean
bump_lean
23s