Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
419 workflow runs
419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: support merge queue Build #535: Pull request #165 synchronize by JLimperg
October 1, 2024 13:00 1m 41s merge-queue
merge-queue
October 1, 2024 13:00 1m 41s
CI: support merge queue Build #534: Commit 89c70c6 pushed by JLimperg
October 1, 2024 13:00 1m 30s merge-queue
merge-queue
October 1, 2024 13:00 1m 30s
CI: support merge queue Build #533: Commit 13467f9 pushed by JLimperg
October 1, 2024 12:58 Failure merge-queue
merge-queue
October 1, 2024 12:58 Failure
CI: support merge queue Build #532: Commit 825bf9c pushed by JLimperg
October 1, 2024 12:57 Failure merge-queue
merge-queue
October 1, 2024 12:57 Failure
Builder.Apply: suggest alias when warning about apply rule for Iff th… Build #531: Commit 9739358 pushed by JLimperg
October 1, 2024 12:39 1m 39s master
master
October 1, 2024 12:39 1m 39s
Builder.Apply: suggest alias when warning about apply rule for Iff theorem Build #530: Pull request #163 synchronize by JLimperg
October 1, 2024 12:36 1m 44s apply-iff-warn-msg
apply-iff-warn-msg
October 1, 2024 12:36 1m 44s
Builder.Apply: suggest alias when warning about apply rule for Iff th… Build #529: Commit abbd748 pushed by JLimperg
October 1, 2024 12:36 1m 46s apply-iff-warn-msg
apply-iff-warn-msg
October 1, 2024 12:36 1m 46s
chore: move to v4.12.0 (#164) Build #528: Commit 28fa805 pushed by kim-em
October 1, 2024 06:36 1m 32s stable
stable
October 1, 2024 06:36 1m 32s
chore: move to v4.12.0 (#164) Build #527: Commit 28fa805 pushed by kim-em
October 1, 2024 06:36 2m 19s v4.12.0
v4.12.0
October 1, 2024 06:36 2m 19s
chore: move to v4.12.0 (#164) Build #526: Commit 28fa805 pushed by kim-em
October 1, 2024 06:34 2m 35s master
master
October 1, 2024 06:34 2m 35s
chore: move to v4.12.0 Build #525: Pull request #164 synchronize by kim-em
October 1, 2024 06:19 1m 38s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:19 1m 38s
fix test Build #524: Commit cc07d28 pushed by kim-em
October 1, 2024 06:19 1m 36s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:19 1m 36s
chore: move to v4.12.0 Build #523: Pull request #164 opened by kim-em
October 1, 2024 06:11 2m 32s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:11 2m 32s
chore: move to v4.12.0 Build #522: Commit 1171584 pushed by kim-em
October 1, 2024 06:11 2m 29s move_to_v4.12.0
move_to_v4.12.0
October 1, 2024 06:11 2m 29s
github_actions in /. - Update #893571240 Dependabot Updates #47: by dependabot bot
October 1, 2024 01:38 31s
October 1, 2024 01:38 31s
Support local forward rules (+ forward tracing) Build #521: Commit ca2a27a pushed by JLimperg
September 30, 2024 16:49 2m 7s forward-code
forward-code
September 30, 2024 16:49 2m 7s
github_actions in /. - Update #892578878 Dependabot Updates #46: by dependabot bot
September 30, 2024 02:09 32s
September 30, 2024 02:09 32s
Builder.Apply: suggest alias when warning about apply rule for Iff theorem Build #520: Pull request #163 synchronize by JLimperg
September 29, 2024 10:37 1m 25s apply-iff-warn-msg
apply-iff-warn-msg
September 29, 2024 10:37 1m 25s
Builder.Apply: suggest alias when warning about apply rule for Iff th… Build #519: Commit ee11077 pushed by JLimperg
September 29, 2024 10:37 1m 33s apply-iff-warn-msg
apply-iff-warn-msg
September 29, 2024 10:37 1m 33s
Builder.Apply: suggest alias when warning about apply rule for Iff theorem Build #518: Pull request #163 opened by JLimperg
September 29, 2024 10:32 1m 39s apply-iff-warn-msg
apply-iff-warn-msg
September 29, 2024 10:32 1m 39s
Builder.Apply: suggest alias when warning about apply rule for Iff th… Build #517: Commit 03c76b8 pushed by JLimperg
September 29, 2024 10:31 1m 33s apply-iff-warn-msg
apply-iff-warn-msg
September 29, 2024 10:31 1m 33s
Util.UnorderedArraySet: remove quadratic BEq instance (#162) Build #516: Commit 50aaaf7 pushed by JLimperg
September 29, 2024 10:22 2m 3s master
master
September 29, 2024 10:22 2m 3s
Util.UnorderedArraySet: remove quadratic BEq instance Build #515: Pull request #162 opened by JLimperg
September 29, 2024 10:05 2m 8s unordered-array-set-no-beq
unordered-array-set-no-beq
September 29, 2024 10:05 2m 8s
Util.UnorderedArraySet: remove quadratic BEq instance Build #514: Commit ca1e7ba pushed by JLimperg
September 29, 2024 10:05 2m 11s unordered-array-set-no-beq
unordered-array-set-no-beq
September 29, 2024 10:05 2m 11s
Util.UnorderedArraySet: remove quadratic BEq instance Build #513: Commit 4abe772 pushed by JLimperg
September 29, 2024 10:03 20s unordered-array-set-no-beq
unordered-array-set-no-beq
September 29, 2024 10:03 20s