Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
881 workflow runs
881 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1312: Merge group checks requested
3m 34s
3m 34s
chore: bump toolchain to v4.29.0-rc7 Build #1311: Pull request #319 synchronize by kim-em
3m 29s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
3m 29s
chore: bump toolchain to v4.29.0-rc7 Build #1310: Pull request #319 synchronize by kim-em
3m 47s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
3m 47s
chore: bump toolchain to v4.29.0-rc7 Build #1309: Pull request #319 synchronize by kim-em
42s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
42s
chore: bump toolchain to v4.29.0-rc7 Build #1308: Pull request #319 synchronize by kim-em
48s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
48s
chore: bump toolchain to v4.29.0-rc7 Build #1307: Pull request #319 opened by kim-em
40s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
40s
github_actions in /. - Update #1288418124 Dependabot Updates #442: by dependabot bot
27s master
master
27s
github_actions in /. - Update #1286128244 Dependabot Updates #441: by dependabot bot
39s master
master
39s
github_actions in /. - Update #1284625080 Dependabot Updates #440: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1283366014 Dependabot Updates #439: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1281836589 Dependabot Updates #438: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1280116898 Dependabot Updates #437: by dependabot bot
24s master
master
24s
github_actions in /. - Update #1277283787 Dependabot Updates #436: by dependabot bot
36s master
master
36s
github_actions in /. - Update #1276163540 Dependabot Updates #435: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1274878804 Dependabot Updates #434: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1273775022 Dependabot Updates #433: by dependabot bot
29s master
master
29s
chore: silence tests Build #1306: Pull request #318 opened by kim-em
3m 54s kim-em:silence_tests
kim-em:silence_tests
3m 54s
feat: minimize Batteries and Lean imports Build #1305: Pull request #317 synchronize by kim-em
3m 22s kim-em:batteries_imports
kim-em:batteries_imports
3m 22s
Build Build #1304: Merge group checks requested
3m 38s
3m 38s
feat: minimize Batteries and Lean imports Build #1303: Pull request #317 opened by kim-em
3m 29s kim-em:batteries_imports
kim-em:batteries_imports
3m 29s
chore: bump toolchain to v4.29.0-rc6 Build #1302: Pull request #316 opened by kim-em
3m 11s bump_to_v4.29.0-rc6
bump_to_v4.29.0-rc6
3m 11s
github_actions in /. - Update #1272177288 Dependabot Updates #432: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1270382748 Dependabot Updates #431: by dependabot bot
21s master
master
21s
github_actions in /. - Update #1268748656 Dependabot Updates #430: by dependabot bot
26s master
master
26s
Build Build #1301: Merge group checks requested
3m 33s
3m 33s