Skip to content

Actions: leanprover-community/mathlib4

Actions

Check workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
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
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
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
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
vi.attachWith
October 30, 2024 08:16 1h 0m 35s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2162: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 18:58 25s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 18:58 25s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2161: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 17:31 26s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 17:31 26s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2160: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 16:48 29s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 16:48 29s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2159: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 14:03 27s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 14:03 27s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2158: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 02:44 24s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 02:44 24s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2157: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 02:12 30s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 02:12 30s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2156: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 01:58 30s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 01:58 30s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2155: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 01:20 26s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 01:20 26s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Check workflows #2154: Pull request #17195 synchronize by hannahfechtner
October 23, 2024 01:18 27s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 23, 2024 01:18 27s
[Merged by Bors] - feat(CI): add summary of benchmarking output Check workflows #2153: Pull request #16488 synchronize by grunweg
October 22, 2024 10:38 21s adomani/bench_summary_action
adomani/bench_summary_action
October 22, 2024 10:38 21s
[Merged by Bors] - feat(CI): add summary of benchmarking output Check workflows #2152: Pull request #16488 synchronize by grunweg
October 21, 2024 21:55 20s adomani/bench_summary_action
adomani/bench_summary_action
October 21, 2024 21:55 20s
[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
bgc-dependabot-2024-10
October 21, 2024 15:48 24s
chore(deps): bump peter-evans/create-pull-request from 6 to 7 Check workflows #2150: Pull request #18022 opened by dependabot bot
October 21, 2024 14:53 21s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
October 21, 2024 14:53 21s
chore(deps): bump actions/setup-python from 4 to 5 Check workflows #2149: Pull request #18021 opened by dependabot bot
October 21, 2024 14:53 26s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
October 21, 2024 14:53 26s
chore(deps): bump actions/github-script from 6 to 7 Check workflows #2148: Pull request #18020 opened by dependabot bot
October 21, 2024 14:53 26s dependabot/github_actions/actions/github-script-7
dependabot/github_actions/actions/github-script-7
October 21, 2024 14:53 26s
chore(deps): bump styfle/cancel-workflow-action from 0.11.0 to 0.12.1 Check workflows #2147: Pull request #18019 opened by dependabot bot
October 21, 2024 14:53 28s dependabot/github_actions/styfle/cancel-workflow-action-0.12.1
dependabot/github_actions/styfle/cancel-workflow-action-0.12.1
October 21, 2024 14:53 28s
chore(deps): bump dcarbone/install-jq-action from 1.0.1 to 2.1.0 Check workflows #2146: Pull request #18018 opened by dependabot bot
October 21, 2024 14:52 26s dependabot/github_actions/dcarbone/install-jq-action-2.1.0
dependabot/github_actions/dcarbone/install-jq-action-2.1.0
October 21, 2024 14:52 26s
chore(deps): bump credfeto/action-no-ignored-files from 1.1.0 to 1.2.0 Check workflows #2145: Pull request #18017 opened by dependabot bot
October 21, 2024 14:52 26s dependabot/github_actions/credfeto/action-no-ignored-files-1.2.0
dependabot/github_actions/credfeto/action-no-ignored-files-1.2.0
October 21, 2024 14:52 26s
[Merged by Bors] - chore: add dependabot Check workflows #2144: Pull request #18013 synchronize by pitmonticone
October 21, 2024 14:28 20s pitmonticone/dependabot
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
pitmonticone/dependabot
October 21, 2024 14:24 23s
[Merged by Bors] - chore(build.in): update version of gh-get-current-pr action Check workflows #2142: Pull request #17978 opened by pitmonticone
October 20, 2024 15:57 20s pitmonticone/deprecated-Nodejs
pitmonticone/deprecated-Nodejs
October 20, 2024 15:57 20s