Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
980 workflow runs
980 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Forward.State: make rule state update more lazy Build #1225: Commit 506ac84 pushed by JLimperg
1m 54s forward-eval-redesign-lazy
forward-eval-redesign-lazy
1m 54s
Forward.State: more tracing for updates Build #1224: Commit 9aeebca pushed by JLimperg
4m 24s forward-eval-redesign-lazy
forward-eval-redesign-lazy
4m 24s
github_actions in /. - Update #1174675455 Dependabot Updates #364: by dependabot bot
31s master
master
31s
Forward.State: add tracing for rule state updates Build #1223: Commit 77fd4fb pushed by JLimperg
1m 54s forward-eval-redesign-lazy
forward-eval-redesign-lazy
1m 54s
update test output Build #1222: Commit 8e37a9b pushed by kim-em
3m 34s nightly-testing
nightly-testing
3m 34s
lake update batteries Build #1221: Commit 1c06e62 pushed by kim-em
3m 45s nightly-testing
nightly-testing
3m 45s
github_actions in /. - Update #1173576733 Dependabot Updates #363: by dependabot bot
32s master
master
32s
Forward.State: make insertion lazy Build #1220: Commit 92713e9 pushed by JLimperg
1m 52s forward-eval-redesign-lazy
forward-eval-redesign-lazy
1m 52s
EMap: add DiscrTree index Build #1219: Commit 0c22752 pushed by JLimperg
1m 51s forward-eval-redesign
forward-eval-redesign
1m 51s
github_actions in /. - Update #1172556267 Dependabot Updates #362: by dependabot bot
34s master
master
34s
RuleTac.Forward: use synthAppInstances for stateless forward reasoning Build #1218: Commit a6f01a6 pushed by JLimperg
1m 28s forward-eval
forward-eval
1m 28s
Add more forward debug tracing Build #1217: Commit 8d8e553 pushed by JLimperg
1m 52s forward-eval-redesign
forward-eval-redesign
1m 52s
require arguments to be indented Build #1216: Pull request #277 opened by alexb-harmonic
Action required alexb-harmonic:patch-1
alexb-harmonic:patch-1
Action required
github_actions in /. - Update #1171234515 Dependabot Updates #361: by dependabot bot
10m 49s master
master
10m 49s
RuleTac.Forward: use synthAppInstances for stateless forward reasoning Build #1215: Commit de4687f pushed by JLimperg
1m 49s forward-eval-redesign
forward-eval-redesign
1m 49s
github_actions in /. - Update #1168533715 Dependabot Updates #360: by dependabot bot
28s master
master
28s
Remove RPINF Build #1214: Commit 41d23b6 pushed by JLimperg
1m 47s forward-eval-redesign
forward-eval-redesign
1m 47s
github_actions in /. - Update #1167422933 Dependabot Updates #359: by dependabot bot
32s master
master
32s
Add RPINF and goal (primarily forward state) stats Build #1213: Commit 5ab09ca pushed by JLimperg
1m 28s forward-eval
forward-eval
1m 28s
Add RPINF and goal (primarily forward state) stats Build #1212: Commit aa4b2f8 pushed by JLimperg
1m 32s forward-eval
forward-eval
1m 32s
merge lean-pr-testing-10204 Build #1211: Commit eda0afd pushed by kim-em
20s nightly-testing
nightly-testing
20s
github_actions in /. - Update #1165999095 Dependabot Updates #358: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1165002692 Dependabot Updates #357: by dependabot bot
27s master
master
27s
RuleTac.Forward: fix internal exception at instance synthesis Build #1210: Commit 0fa2cac pushed by JLimperg
3m 7s forward-eval
forward-eval
3m 7s
Adaptations Build #1209: Commit 033343f pushed by TwoFX
3m 39s nightly-testing
nightly-testing
3m 39s