Skip to content

Actions: leanprover-community/aesop

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
679 workflow runs
679 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tree.Data.ForwardRuleMatches: fix erasure of consumed matches Build #1233: Commit 35f4900 pushed by JLimperg
1m 50s forward-eval-redesign-lazy
forward-eval-redesign-lazy
1m 50s
Build Build #1232: Merge group checks requested
3m 11s
3m 11s
Build Build #1231: Merge group checks requested
3m 22s
3m 22s
Require tactic clauses to be indented Build #1230: Pull request #277 synchronize by JLimperg
2m 14s alexb-harmonic:patch-1
alexb-harmonic:patch-1
2m 14s
Stats: record goal depth in GoalStats Build #1229: Commit c8fa1c6 pushed by JLimperg
2m 1s forward-eval-redesign-lazy
forward-eval-redesign-lazy
2m 1s
chore: record dependencies on declare_aesop_rule_sets Build #1228: Pull request #278 opened by Kha
3m 12s record-ruleset
record-ruleset
3m 12s
chore: record dependencies on declare_aesop_rule_sets Build #1227: Commit 0352e35 pushed by Kha
2m 15s record-ruleset
record-ruleset
2m 15s
update test output Build #1226: Commit 8e37a9b pushed by Kha
3m 42s record-ruleset
record-ruleset
3m 42s
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
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
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
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 tactic clauses to be indented Build #1216: Pull request #277 opened by alexb-harmonic
3m 13s alexb-harmonic:patch-1
alexb-harmonic:patch-1
3m 13s
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
Remove RPINF Build #1214: Commit 41d23b6 pushed by JLimperg
1m 47s forward-eval-redesign
forward-eval-redesign
1m 47s
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
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