continuous integration

Workflow runs for continuous integration

• fix: handle dependent ellipsis applications

  skipped:
  continuous integration#19:Commite6d8c88pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 9, 20269s
  More actions for workflow run 19

• fix: lint safe explicit applications

  skipped:
  continuous integration#18:Commit9365eddpushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 9, 2026Skipped
  More actions for workflow run 18

• fix: whitelist ellipsis linter directory imports

  skipped:
  continuous integration#17:Commita2746c5pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 5, 20261s
  More actions for workflow run 17

• chore: update auto-generated imports for ellipsis linter

  skipped:
  continuous integration#16:Commiteedea7dpushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 4, 20261s
  More actions for workflow run 16

• fix: changes i forgot to commit

  skipped:
  continuous integration#15:Commitcf5dc76pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 4, 20261s
  More actions for workflow run 15

• fix: enable ellipsis linter in CI and tighten tests

  skipped:
  continuous integration#14:Commit73ff7f3pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 4, 20261s
  More actions for workflow run 14

• test: silence ellipsis batch validation output

  skipped:
  continuous integration#13:Commit694da7apushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 4, 20261s
  More actions for workflow run 13

• chore: tidy ellipsis linter internals

  skipped:
  continuous integration#12:Commit643e957pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Aug 4, 20267s
  More actions for workflow run 12

• Merge branch 'leanprover-community:master' into master

  skipped:
  continuous integration#11:Commit5375db9pushedbymenon-codes
  master

  Aug 4, 20261s
  More actions for workflow run 11

• Merge branch 'master' into master

  skipped:
  continuous integration#10:Commitdc5b002pushedbymenon-codes
  master

  Aug 4, 20261s
  More actions for workflow run 10

• Merge branch 'master' into master

  skipped:
  continuous integration#9:Commit82709cfpushedbymenon-codes
  master

  Aug 4, 20262s
  More actions for workflow run 9

• test: consolidate ellipsis linter tests with default threshold 4

  skipped:
  continuous integration#8:Commitb162dddpushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Jul 30, 20261s
  More actions for workflow run 8

• test: consolidate ellipsis linter tests with default threshold 4

  skipped:
  continuous integration#7:Commitb162dddpushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Jul 30, 20261s
  More actions for workflow run 7

• feat: add ellipsis placeholders linter

  skipped:
  continuous integration#6:Commit0a3b9e5pushedbymenon-codes
  linter/ellipsis-placeholders-mathlib

  Jul 30, 20262s
  More actions for workflow run 6

• inline intgφ

  skipped:
  continuous integration#5:Commit0c61b06pushedbymenon-codes
  master

  Jul 30, 20261s
  More actions for workflow run 5

• Merge pull request #1 from menon-codes/menon-codes-patch-1

  skipped:
  continuous integration#4:Commit6818787pushedbymenon-codes
  master

  Jul 29, 20261s
  More actions for workflow run 4

• refactor: making trans usage explicit with kerLift

  skipped:
  continuous integration#3:Commitf0cb135pushedbymenon-codes
  menon-codes-patch-1

  Jul 29, 20261s
  More actions for workflow run 3

• feat: haveI/letI tactic linter (#41657)

  skipped:
  continuous integration#2:Commit3069656pushedbymenon-codes
  master

  Jul 29, 20267s
  More actions for workflow run 2

• Merge branch 'master' into imo_2000_q2

  skipped:
  continuous integration#1:Commit4ca9752pushedbyocfnash
  imo_2000_q2

  Jul 1, 20261s
  More actions for workflow run 1