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. #2773: completed by github-merge-queue Bot
2s
2s
chore: bump mathlib to 29af524, fix breaking changes (#670) Run TODO to Issue #304: Commit dbce0f9 pushed by github-merge-queue Bot
14s main
main
14s
chore: bump mathlib to 29af524, fix breaking changes (#670) Lean Action CI #4014: Commit dbce0f9 pushed by github-merge-queue Bot
7m 56s main
main
7m 56s
chore: bump mathlib to 29af524, fix breaking changes (#670) Build and Deploy Documentation #218: Commit dbce0f9 pushed by github-merge-queue Bot
41m 27s main
main
41m 27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2772: completed by chenson2018
1s
1s
Lean Action CI Lean Action CI #4013: Merge group checks requested
9m 40s
9m 40s
Check PR title for commit convention Check PR title for commit convention #2914: Merge group checks requested
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2771: completed by chenson2018
1s
1s
chore: bump mathlib to 29af524, fix breaking changes Check PR title for commit convention #2913: Pull request #670 synchronize by chenson2018
9s bump-mathlib/fix-29af524
bump-mathlib/fix-29af524
9s
chore: bump mathlib to 29af524, fix breaking changes Lean Action CI #4012: Pull request #670 synchronize by chenson2018
6m 50s bump-mathlib/fix-29af524
bump-mathlib/fix-29af524
6m 50s
Merge main to nightly-testing Merge main to nightly-testing #2237: Scheduled
1m 2s main
main
1m 2s
Weekly linting report Weekly linting report #46: Scheduled
11m 44s main
main
11m 44s
Merge main to nightly-testing Merge main to nightly-testing #2236: Scheduled
1m 9s main
main
1m 9s
Merge main to nightly-testing Merge main to nightly-testing #2235: Scheduled
1m 0s main
main
1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2770: completed by lengyijun
1s
1s
refactor(LocallyNameless/Untyped): Rename redex_abs_close to steps_abs_close Check PR title for commit convention #2912: Pull request #672 opened by lengyijun
6s awesome-lambda-calculus:steps_abs_close
awesome-lambda-calculus:steps_abs_close
6s
refactor(LocallyNameless/Untyped): Rename redex_abs_close to steps_abs_close Lean Action CI #4011: Pull request #672 opened by lengyijun
6m 1s awesome-lambda-calculus:steps_abs_close
awesome-lambda-calculus:steps_abs_close
6m 1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1412: Scheduled
32s main
main
32s
Merge main to nightly-testing Merge main to nightly-testing #2234: Scheduled
57s main
main
57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2769: completed by m-ow
1s
1s
feat(untyped): define CBN and Standard evaluation strategies Check PR title for commit convention #2911: Pull request #671 synchronize by m-ow
9s m-ow:feat/standard-reduction
m-ow:feat/standard-reduction
9s
feat(untyped): define CBN and Standard evaluation strategies Lean Action CI #4010: Pull request #671 synchronize by m-ow
5m 28s m-ow:feat/standard-reduction
m-ow:feat/standard-reduction
5m 28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2768: completed by m-ow
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2767: completed by mathlib-nightly-testing Bot
8s
8s
feat(untyped): define CBN and Standard evaluation strategies Lean Action CI #4009: Pull request #671 opened by m-ow
3m 35s m-ow:feat/standard-reduction
m-ow:feat/standard-reduction
3m 35s