Skip to content

Actions: leanprover/cslib

Actions

Lint and suggest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
420 workflow runs
420 workflow runs

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
CLRS chapter 6 Lint and suggest #467: Pull request #207 opened by cs14b052
1m 38s clrs-chapter6
clrs-chapter6
1m 38s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #466: Pull request #168 synchronize by ctchou
2m 4s ctchou:na-sum
ctchou:na-sum
2m 4s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #465: Pull request #168 synchronize by ctchou
2m 4s ctchou:na-sum
ctchou:na-sum
2m 4s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #464: Pull request #168 synchronize by ctchou
1m 52s ctchou:na-sum
ctchou:na-sum
1m 52s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #463: Pull request #168 synchronize by chenson2018
1m 52s ctchou:na-sum
ctchou:na-sum
1m 52s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #462: Pull request #168 synchronize by chenson2018
1m 54s ctchou:na-sum
ctchou:na-sum
1m 54s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #461: Pull request #168 synchronize by ctchou
1m 59s ctchou:na-sum
ctchou:na-sum
1m 59s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #460: Pull request #168 synchronize by ctchou
1m 54s ctchou:na-sum
ctchou:na-sum
1m 54s
chore: adaptations for nightly-2025-11-18 Lint and suggest #459: Pull request #169 synchronize by chenson2018
1m 59s bump/nightly-2025-11-18
bump/nightly-2025-11-18
1m 59s
chore: adaptations for nightly-2025-11-18 Lint and suggest #458: Pull request #169 synchronize by chenson2018
2m 3s bump/nightly-2025-11-18
bump/nightly-2025-11-18
2m 3s
feat: use docgen-action for documentation generation Lint and suggest #457: Pull request #128 synchronize by chenson2018
2m 2s jessealama:use-docgen-action
jessealama:use-docgen-action
2m 2s
chore: adaptations for nightly-2025-11-18 Lint and suggest #456: Pull request #169 synchronize by chenson2018
1m 47s bump/nightly-2025-11-18
bump/nightly-2025-11-18
1m 47s
chore: bump toolchain to v4.26.0-rc1 Lint and suggest #455: Pull request #171 synchronize by chenson2018
1m 50s bump_to_v4.26.0-rc1
bump_to_v4.26.0-rc1
1m 50s
chore: bump toolchain to v4.26.0-rc1 Lint and suggest #454: Pull request #171 synchronize by chenson2018
1m 55s bump_to_v4.26.0-rc1
bump_to_v4.26.0-rc1
1m 55s
chore: bump toolchain to v4.26.0-rc1 Lint and suggest #453: Pull request #171 synchronize by chenson2018
1m 59s bump_to_v4.26.0-rc1
bump_to_v4.26.0-rc1
1m 59s
chore: bump toolchain to v4.26.0-rc1 Lint and suggest #452: Pull request #171 synchronize by chenson2018
2m 1s bump_to_v4.26.0-rc1
bump_to_v4.26.0-rc1
2m 1s
chore: bump toolchain to v4.26.0-rc1 Lint and suggest #451: Pull request #171 opened by kim-em
2m 6s bump_to_v4.26.0-rc1
bump_to_v4.26.0-rc1
2m 6s
experiment: test against modulized Mathlib Lint and suggest #450: Pull request #170 opened by kim-em
Skipped test_mathlib_modulize
test_mathlib_modulize
Skipped
chore: adaptations for nightly-2025-11-18 Lint and suggest #449: Pull request #169 opened by ghost
1m 42s bump/nightly-2025-11-18
bump/nightly-2025-11-18
1m 42s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #448: Pull request #168 synchronize by ctchou
2m 2s ctchou:na-sum
ctchou:na-sum
2m 2s
feat: prove that omega-regularity is closed under union and is universe-polymorphic Lint and suggest #447: Pull request #168 opened by ctchou
1m 54s ctchou:na-sum
ctchou:na-sum
1m 54s
chore: fix zulip nightly-testing reporting bot Lint and suggest #446: Pull request #167 opened by kim-em
1m 59s fix_zulip_nightly_interaction
fix_zulip_nightly_interaction
1m 59s
chore: minimize all imports Lint and suggest #445: Pull request #160 synchronize by chenson2018
1m 49s chenson2018:min-imports
chenson2018:min-imports
1m 49s
chore: minimize all imports Lint and suggest #444: Pull request #160 synchronize by chenson2018
2m 57s chenson2018:min-imports
chenson2018:min-imports
2m 57s
chore: minimize all imports Lint and suggest #443: Pull request #160 synchronize by chenson2018
1m 55s chenson2018:min-imports
chenson2018:min-imports
1m 55s