Skip to content

Actions: leanprover-community/mathlib4

Check workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,164 workflow runs
2,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: move slim_check to plausible
Check workflows #2166: Pull request #18459 synchronize by hargoniX
October 30, 2024 21:14 19s hbv/plausible
October 30, 2024 21:14 19s
refactor: move slim_check to plausible
Check workflows #2165: Pull request #18459 synchronize by hargoniX
October 30, 2024 20:57 24s hbv/plausible
October 30, 2024 20:57 24s
refactor: move slim_check to plausible
Check workflows #2164: Pull request #18459 synchronize by hargoniX
October 30, 2024 19:55 19s hbv/plausible
October 30, 2024 19:55 19s
feat(Data/List/Chain): chain'_attachWith
Check workflows #2163: Pull request #17044 synchronize by vihdzp
October 30, 2024 08:16 1h 0m 35s vi.attachWith
October 30, 2024 08:16 1h 0m 35s
[Merged by Bors] - chore(deps): dependabot updates
Check workflows #2151: Pull request #18026 opened by bryangingechen
October 21, 2024 15:48 24s bgc-dependabot-2024-10
October 21, 2024 15:48 24s
[Merged by Bors] - chore: add dependabot
Check workflows #2144: Pull request #18013 synchronize by pitmonticone
October 21, 2024 14:28 20s pitmonticone/dependabot
October 21, 2024 14:28 20s
[Merged by Bors] - chore: add dependabot
Check workflows #2143: Pull request #18013 opened by pitmonticone
October 21, 2024 14:24 23s pitmonticone/dependabot
October 21, 2024 14:24 23s