Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2287: completed by lengyijun
1s
1s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong Lean Action CI #3485: Pull request #571 synchronize by lengyijun
4m 54s lengyijun:fullbetaeta
lengyijun:fullbetaeta
4m 54s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong Check PR title for commit convention #2363: Pull request #571 synchronize by lengyijun
8s lengyijun:fullbetaeta
lengyijun:fullbetaeta
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2286: completed by lengyijun
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2285: completed by github-merge-queue Bot
1s
1s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong Check PR title for commit convention #2362: Pull request #571 synchronize by lengyijun
6s lengyijun:fullbetaeta
lengyijun:fullbetaeta
6s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong Lean Action CI #3484: Pull request #571 synchronize by lengyijun
5m 30s lengyijun:fullbetaeta
lengyijun:fullbetaeta
5m 30s
feat: decidable LcAt and LC (#572) Build and Deploy Documentation #177: Commit a188b76 pushed by github-merge-queue Bot
40m 35s main
main
40m 35s
feat: decidable LcAt and LC (#572) Run TODO to Issue #263: Commit a188b76 pushed by github-merge-queue Bot
14s main
main
14s
feat: decidable LcAt and LC (#572) Lean Action CI #3483: Commit a188b76 pushed by github-merge-queue Bot
5m 0s main
main
5m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2284: completed by chenson2018
1s
1s
Check PR title for commit convention Check PR title for commit convention #2361: Merge group checks requested
7s
7s
Lean Action CI Lean Action CI #3482: Merge group checks requested
8m 19s
8m 19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2283: completed by lengyijun
2s
2s
feat: decidable LcAt and LC Check PR title for commit convention #2360: Pull request #572 edited by lengyijun
7s lengyijun:decidable_lcat
lengyijun:decidable_lcat
7s
feat: decidable LcAt and LC Check PR title for commit convention #2359: Pull request #572 edited by lengyijun
7s lengyijun:decidable_lcat
lengyijun:decidable_lcat
7s
feat: decidable LcAt and LC Check PR title for commit convention #2358: Pull request #572 synchronize by lengyijun
5s lengyijun:decidable_lcat
lengyijun:decidable_lcat
5s
feat: decidable LcAt and LC Lean Action CI #3481: Pull request #572 synchronize by lengyijun
5m 13s lengyijun:decidable_lcat
lengyijun:decidable_lcat
5m 13s
simple functional queue from Okasaki Lean Action CI #3480: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
simple functional queue from Okasaki Check PR title for commit convention #2357: Pull request #558 synchronize by c-cube
Action required c-cube:c-cube/functionalQueue
c-cube:c-cube/functionalQueue
Action required
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2282: completed by github-merge-queue Bot
1s
1s
feat(FullBetaEta): redex_app_l_cong, redex_app_r_cong Check PR title for commit convention #2356: Pull request #571 edited by lengyijun
6s lengyijun:fullbetaeta
lengyijun:fullbetaeta
6s
feat: remove open_fresh_preserve_not_fvar (#573) Run TODO to Issue #262: Commit 5220c7b pushed by github-merge-queue Bot
19s main
main
19s
feat: remove open_fresh_preserve_not_fvar (#573) Lean Action CI #3479: Commit 5220c7b pushed by github-merge-queue Bot
12m 13s main
main
12m 13s
feat: remove open_fresh_preserve_not_fvar (#573) Build and Deploy Documentation #176: Commit 5220c7b pushed by github-merge-queue Bot
42m 54s main
main
42m 54s