Skip to content

Actions: leanprover-community/mathlib4

Actions

Check workflows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
2,166 workflow runs
2,166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
ci(.github/workflows): add discover-lean-pr-testing.yml Check workflows #2141: Pull request #17399 synchronize by jcommelin
October 16, 2024 03:32 24s jmc-lean-pr-testing-reminder
jmc-lean-pr-testing-reminder
October 16, 2024 03:32 24s
ci(.github/workflows): add discover-lean-pr-testing.yml Check workflows #2140: Pull request #17399 synchronize by jcommelin
October 16, 2024 03:26 22s jmc-lean-pr-testing-reminder
jmc-lean-pr-testing-reminder
October 16, 2024 03:26 22s
[Merged by Bors] - ci(nightly_detect_failure): restore dedup post logic Check workflows #2139: Pull request #17728 opened by jcommelin
October 14, 2024 13:41 22s jmc-restore-dup-post-logic
jmc-restore-dup-post-logic
October 14, 2024 13:41 22s
[Merged by Bors] - chore: use latest lean4checker Check workflows #2138: Pull request #17713 opened by kim-em
October 14, 2024 01:06 18s latest_lean4checker
latest_lean4checker
October 14, 2024 01:06 18s
[Merged by Bors] - chore: simplify lean4checker reporting Check workflows #2137: Pull request #17712 synchronize by kim-em
October 14, 2024 00:48 18s lean4checker_reporting
lean4checker_reporting
October 14, 2024 00:48 18s
[Merged by Bors] - chore: simplify lean4checker reporting Check workflows #2136: Pull request #17712 synchronize by kim-em
October 14, 2024 00:47 18s lean4checker_reporting
lean4checker_reporting
October 14, 2024 00:47 18s
[Merged by Bors] - chore: simplify lean4checker reporting Check workflows #2135: Pull request #17712 opened by kim-em
October 14, 2024 00:46 21s lean4checker_reporting
lean4checker_reporting
October 14, 2024 00:46 21s
[Merged by Bors] - feat: matrices with fixed determinant Check workflows #2134: Pull request #16159 synchronize by CBirkbeck
October 13, 2024 20:01 21s fixedDetMats
fixedDetMats
October 13, 2024 20:01 21s
[Merged by Bors] - feat: matrices with fixed determinant Check workflows #2133: Pull request #16159 synchronize by CBirkbeck
October 13, 2024 19:49 2m 34s fixedDetMats
fixedDetMats
October 13, 2024 19:49 2m 34s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2132: Pull request #16303 synchronize by grunweg
October 11, 2024 15:29 21s MR-bad-titles
MR-bad-titles
October 11, 2024 15:29 21s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2131: Pull request #16303 synchronize by grunweg
October 11, 2024 15:28 21s MR-bad-titles
MR-bad-titles
October 11, 2024 15:28 21s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2130: Pull request #16303 synchronize by grunweg
October 9, 2024 08:25 19s MR-bad-titles
MR-bad-titles
October 9, 2024 08:25 19s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2129: Pull request #16303 synchronize by grunweg
October 9, 2024 08:23 24s MR-bad-titles
MR-bad-titles
October 9, 2024 08:23 24s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2128: Pull request #16303 synchronize by grunweg
October 8, 2024 13:12 22s MR-bad-titles
MR-bad-titles
October 8, 2024 13:12 22s
feat(CI): check for badly formatted titles or missing/contradictory labels Check workflows #2127: Pull request #16303 synchronize by grunweg
October 8, 2024 13:09 22s MR-bad-titles
MR-bad-titles
October 8, 2024 13:09 22s
chore: adaptations for nightly-2024-10-08 Check workflows #2126: Pull request #17532 synchronize by jcommelin
October 8, 2024 09:47 22s bump/nightly-2024-10-08
bump/nightly-2024-10-08
October 8, 2024 09:47 22s
chore: adaptations for nightly-2024-10-08 Check workflows #2125: Pull request #17532 opened by jcommelin
October 8, 2024 09:45 23s bump/nightly-2024-10-08
bump/nightly-2024-10-08
October 8, 2024 09:45 23s
[Merged by Bors] - chore: adaptations for nightly-2024-10-07 Check workflows #2124: Pull request #17528 synchronize by jcommelin
October 8, 2024 07:07 24s bump/nightly-2024-10-07
bump/nightly-2024-10-07
October 8, 2024 07:07 24s
[Merged by Bors] - chore: adaptations for nightly-2024-10-07 Check workflows #2123: Pull request #17528 synchronize by jcommelin
October 8, 2024 07:05 19s bump/nightly-2024-10-07
bump/nightly-2024-10-07
October 8, 2024 07:05 19s
[Merged by Bors] - chore: adaptations for nightly-2024-10-07 Check workflows #2122: Pull request #17528 opened by jcommelin
October 8, 2024 07:01 20s bump/nightly-2024-10-07
bump/nightly-2024-10-07
October 8, 2024 07:01 20s
[Merged by Bors] - fix: comment more cache Check workflows #2121: Pull request #17491 opened by adomani
October 7, 2024 11:50 24s adomani/comment_more_cache
adomani/comment_more_cache
October 7, 2024 11:50 24s
[Merged by Bors] - CI: temporary fix to CI not finding cache Check workflows #2120: Pull request #17490 opened by adomani
October 7, 2024 11:26 23s adomani/CI_quick_fix_cache
adomani/CI_quick_fix_cache
October 7, 2024 11:26 23s
[Merged by Bors] - chore: bump lean4checker to v4.13.0-rc3 Check workflows #2119: Pull request #17487 opened by adomani
October 7, 2024 08:05 23s adomani/bump_lean4checker_to_13_rc3
adomani/bump_lean4checker_to_13_rc3
October 7, 2024 08:05 23s