Skip to content

Actions: leanprover-community/lean-release-tag

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Releasing... .github/workflows/lean-release-tag.yml #31: Commit e3858bd pushed by Vierkantor
7s testing
testing
7s
Testing with no newlines .github/workflows/lean-release-tag.yml #30: Commit 090c78e pushed by Vierkantor
8s testing
testing
8s
Testing 2 .github/workflows/lean-release-tag.yml #29: Commit 625bde2 pushed by Vierkantor
7s testing
testing
7s
Testing... .github/workflows/lean-release-tag.yml #28: Commit 7592bcc pushed by Vierkantor
10s testing
testing
10s
Releasing... .github/workflows/lean-release-tag.yml #27: Commit a30e772 pushed by Vierkantor
15s testing
testing
15s
Testing with no newlines .github/workflows/lean-release-tag.yml #26: Commit 713e3bf pushed by Vierkantor
10s testing
testing
10s
Testing 2 .github/workflows/lean-release-tag.yml #25: Commit 3a74618 pushed by Vierkantor
11s testing
testing
11s
Testing... .github/workflows/lean-release-tag.yml #24: Commit 6009bff pushed by Vierkantor
12s testing
testing
12s
Releasing... .github/workflows/lean-release-tag.yml #23: Commit f54a818 pushed by Vierkantor
11s testing
testing
11s
Testing with no newlines .github/workflows/lean-release-tag.yml #22: Commit e38b53f pushed by Vierkantor
11s testing
testing
11s
Testing 2 .github/workflows/lean-release-tag.yml #21: Commit a9f1aca pushed by Vierkantor
9s testing
testing
9s
Testing... .github/workflows/lean-release-tag.yml #20: Commit 8a4fe77 pushed by Vierkantor
12s testing
testing
12s
Releasing... .github/workflows/lean-release-tag.yml #19: Commit 92f6b89 pushed by Vierkantor
11s testing
testing
11s
Testing with no newlines .github/workflows/lean-release-tag.yml #18: Commit 2323558 pushed by Vierkantor
13s testing
testing
13s
Testing 2 .github/workflows/lean-release-tag.yml #17: Commit 80756da pushed by Vierkantor
15s testing
testing
15s
Testing... .github/workflows/lean-release-tag.yml #16: Commit 710f234 pushed by Vierkantor
13s testing
testing
13s
Releasing... .github/workflows/lean-release-tag.yml #15: Commit 1ce064a pushed by Vierkantor
13s testing
testing
13s
Testing with no newlines .github/workflows/lean-release-tag.yml #14: Commit 2a2f291 pushed by Vierkantor
15s testing
testing
15s
Testing 2 .github/workflows/lean-release-tag.yml #13: Commit f62bec1 pushed by Vierkantor
12s testing
testing
12s
Testing... .github/workflows/lean-release-tag.yml #12: Commit 5d5895b pushed by Vierkantor
13s testing
testing
13s
Releasing... .github/workflows/lean-release-tag.yml #11: Commit dcec26e pushed by Vierkantor
9s testing
testing
9s
Testing with no newlines .github/workflows/lean-release-tag.yml #10: Commit b33fce9 pushed by Vierkantor
10s testing
testing
10s
Testing 2 .github/workflows/lean-release-tag.yml #9: Commit ddbb1aa pushed by Vierkantor
11s testing
testing
11s
Testing... .github/workflows/lean-release-tag.yml #8: Commit bb53498 pushed by Vierkantor
8s testing
testing
8s
Testing with no newlines .github/workflows/lean-release-tag.yml #7: Commit be7fde8 pushed by Vierkantor
14s testing
testing
14s