Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
969 workflow runs
969 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RuleTactic.Tactic: disable recovery (#178) Build #620: Commit 39119d2 pushed by github-merge-queue bot
1m 47s gh-readonly-queue/master/pr-178-5dfdc66e0d503631527ad90c1b5d7815c86a8662
gh-readonly-queue/master/pr-178-5dfdc66e0d503631527ad90c1b5d7815c86a8662
1m 47s
Build Build #619: Merge group checks requested
1m 49s
1m 49s
RuleTactic.Tactic: disable recovery Build #618: Commit 35eeaec pushed by JLimperg
1m 53s tactic-elab-bug
tactic-elab-bug
1m 53s
fixes Build #617: Commit 4092e80 pushed by kim-em
2m 33s nightly-testing
nightly-testing
2m 33s
merge lean-pr-testing-5988 Build #616: Commit 6d7410d pushed by kim-em
54s nightly-testing
nightly-testing
54s
bump toolchain and batteries Build #615: Commit 952ee1b pushed by kim-em
43s nightly-testing
nightly-testing
43s
fixes for leanprover/lean4#6039 Build #614: Commit 991bacf pushed by kim-em
2m 21s lean-pr-testing-6039
lean-pr-testing-6039
2m 21s
bump toolchain Build #613: Commit c006467 pushed by kim-em
1m 9s lean-pr-testing-6039
lean-pr-testing-6039
1m 9s
github_actions in /. - Update #915357535 Dependabot Updates #77: by dependabot bot
33s master
master
33s
README: update for forward/destruct changes Build #612: Commit f2a7cc0 pushed by JLimperg
1m 37s forward-code
forward-code
1m 37s
Forward.Match.Types: remove leftover MatchElem type Build #611: Commit c979897 pushed by JLimperg
2m 31s forward-code
forward-code
2m 31s
github_actions in /. - Update #914409609 Dependabot Updates #76: by dependabot bot
38s master
master
38s
fixes for leanprover/lean4#5988 Build #610: Commit fa36772 pushed by kim-em
2m 38s lean-pr-testing-5988
lean-pr-testing-5988
2m 38s
github_actions in /. - Update #913742318 Dependabot Updates #75: by dependabot bot
34s master
master
34s
Enable stateful forward reasoning by default Build #609: Commit 3780fa2 pushed by JLimperg
2m 38s forward-code
forward-code
2m 38s
Forward: omit redundant matches Build #608: Commit 6585ec4 pushed by JLimperg
2m 24s forward-code
forward-code
2m 24s
github_actions in /. - Update #913208319 Dependabot Updates #74: by dependabot bot
35s master
master
35s
Bump toolchain to 4.14.0-rc2 (#176) Build #607: Commit 5dfdc66 pushed by github-merge-queue bot
2m 28s master
master
2m 28s
Bump toolchain to 4.14.0-rc2 (#176) Build #606: Commit 5dfdc66 pushed by github-merge-queue bot
2m 21s gh-readonly-queue/master/pr-176-93bcfd774f89d3874903cab06abfbf69f327cbd9
gh-readonly-queue/master/pr-176-93bcfd774f89d3874903cab06abfbf69f327cbd9
2m 21s
Build Build #605: Merge group checks requested
2m 21s
2m 21s
Bump toolchain to 4.14.0-rc2 Build #604: Commit 590bfa9 pushed by JLimperg
2m 22s bump-4.14.0-rc2
bump-4.14.0-rc2
2m 22s
Forward.State: minor doc improvements Build #603: Commit 0156d6f pushed by JLimperg
2m 27s forward-code
forward-code
2m 27s
ForwardSynth test: add some comments Build #602: Commit 36cd1fb pushed by JLimperg
1m 38s forward-code
forward-code
1m 38s
github_actions in /. - Update #912439231 Dependabot Updates #73: by dependabot bot
36s master
master
36s
Support constant forward rules Build #601: Commit b86bab0 pushed by JLimperg
2m 21s forward-code
forward-code
2m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-11-05 or the other filters available.