Skip to content

Actions: leanprover-community/aesop

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a discrimination tree for types in RulePatternIndex Build #765: Commit 98d13bc pushed by sonmarcho
February 5, 2025 23:26 4m 59s degenerate-patterns
degenerate-patterns
February 5, 2025 23:26 4m 59s
chore: bump toolchain to v4.17.0-rc1 (#195) Build #764: Commit ba9a63b pushed by jcommelin
February 3, 2025 15:14 1m 37s nightly-testing-2025-02-03
nightly-testing-2025-02-03
February 3, 2025 15:14 1m 37s
chore: bump toolchain to v4.17.0-rc1 (#195) Build #763: Commit ba9a63b pushed by jcommelin
February 3, 2025 14:54 2m 38s v4.17.0-rc1
v4.17.0-rc1
February 3, 2025 14:54 2m 38s
chore: bump toolchain to v4.17.0-rc1 (#195) Build #762: Commit ba9a63b pushed by github-merge-queue bot
February 3, 2025 14:54 2m 40s master
master
February 3, 2025 14:54 2m 40s
Build Build #761: Merge group checks requested
February 3, 2025 14:51 2m 37s
February 3, 2025 14:51 2m 37s
chore: bump toolchain to v4.17.0-rc1 (#195) Build #760: Commit ba9a63b pushed by github-merge-queue bot
February 3, 2025 14:51 2m 39s gh-readonly-queue/master/pr-195-44dab9f36aa73d5f789629b55528c5a1501877a6
gh-readonly-queue/master/pr-195-44dab9f36aa73d5f789629b55528c5a1501877a6
February 3, 2025 14:51 2m 39s
minor tweaks to tests Build #759: Commit 691a3d3 pushed by jcommelin
February 3, 2025 14:44 1m 39s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 14:44 1m 39s
chore: bump toolchain to v4.17.0-rc1 Build #758: Commit 615b8de pushed by jcommelin
February 3, 2025 13:46 2m 41s bump_to_v4.17.0-rc1
bump_to_v4.17.0-rc1
February 3, 2025 13:46 2m 41s
chore: bump toolchain to v4.16.0 (#194) Build #757: Commit 44dab9f pushed by jcommelin
February 3, 2025 09:08 1m 34s stable
stable
February 3, 2025 09:08 1m 34s
chore: bump toolchain to v4.16.0 (#194) Build #756: Commit 44dab9f pushed by jcommelin
February 3, 2025 09:07 1m 36s v4.16.0
v4.16.0
February 3, 2025 09:07 1m 36s
chore: bump toolchain to v4.16.0 (#194) Build #755: Commit 44dab9f pushed by github-merge-queue bot
February 3, 2025 09:04 2m 32s master
master
February 3, 2025 09:04 2m 32s
Build Build #754: Merge group checks requested
February 3, 2025 09:01 2m 28s
February 3, 2025 09:01 2m 28s
chore: bump toolchain to v4.16.0 (#194) Build #753: Commit 44dab9f pushed by github-merge-queue bot
February 3, 2025 09:01 2m 41s gh-readonly-queue/master/pr-194-b9d5f4fc7ffd995be05853cb4b0f92c1fbe7f59a
gh-readonly-queue/master/pr-194-b9d5f4fc7ffd995be05853cb4b0f92c1fbe7f59a
February 3, 2025 09:01 2m 41s
chore: bump toolchain to v4.16.0 Build #752: Commit 6c7842f pushed by jcommelin
February 3, 2025 08:58 2m 37s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:58 2m 37s
Apply global heartbeat limit to individual rules (#192) Build #751: Commit b9d5f4f pushed by github-merge-queue bot
January 29, 2025 15:52 2m 29s master
master
January 29, 2025 15:52 2m 29s
Apply global heartbeat limit to individual rules (#192) Build #750: Commit b9d5f4f pushed by github-merge-queue bot
January 29, 2025 15:49 2m 29s gh-readonly-queue/master/pr-192-caa2968c7b51ea680605e7d500c6739912aa0446
gh-readonly-queue/master/pr-192-caa2968c7b51ea680605e7d500c6739912aa0446
January 29, 2025 15:49 2m 29s
Build Build #749: Merge group checks requested
January 29, 2025 15:49 2m 36s
January 29, 2025 15:49 2m 36s
Apply global heartbeat limit to individual rules Build #748: Commit e9669e4 pushed by JLimperg
January 29, 2025 15:46 2m 33s maxHeartbeats-rule-limit
maxHeartbeats-rule-limit
January 29, 2025 15:46 2m 33s
Fix Stats collection for rules Build #747: Commit c69e29f pushed by JLimperg
January 15, 2025 23:34 2m 8s forward-code-rebased
forward-code-rebased
January 15, 2025 23:34 2m 8s
Fix Stats collection for rules Build #746: Commit 59ec328 pushed by JLimperg
January 15, 2025 23:26 3m 27s forward-code-rebased
forward-code-rebased
January 15, 2025 23:26 3m 27s
Enable precompilation Build #745: Commit 5fc6a63 pushed by JLimperg
January 15, 2025 13:54 3m 44s forward-code-rebased
forward-code-rebased
January 15, 2025 13:54 3m 44s
Set platformIndependent = true in lakefile Build #744: Commit 266e0e2 pushed by JLimperg
January 14, 2025 23:15 3m 11s forward-code-rebased
forward-code-rebased
January 14, 2025 23:15 3m 11s
Disable precompilation Build #743: Commit 6990a81 pushed by JLimperg
January 14, 2025 16:29 3m 6s forward-code
forward-code
January 14, 2025 16:29 3m 6s
Merge remote-tracking branch 'origin/master' into forward-code Build #742: Commit 5ae28c0 pushed by JLimperg
January 14, 2025 14:58 5m 2s forward-code
forward-code
January 14, 2025 14:58 5m 2s
chore: bump to v4.16.0-rc2 (#189) Build #741: Commit caa2968 pushed by kim-em
January 14, 2025 03:10 2m 1s v4.16.0-rc2
v4.16.0-rc2
January 14, 2025 03:10 2m 1s