continuous integration

Workflow runs for continuous integration

• Merge branch 'master' into feat/circle-pi1

  skipped:
  continuous integration#13:Commited5019cpushedbyalreadydone
  feat/circle-pi1

  Sep 24, 20261s
  More actions for workflow run 13

• style: wrap long line

  skipped:
  continuous integration#12:Commit14d04a8pushedbyRuizsolveall
  feat/circle-pi1

  Sep 21, 20262s
  More actions for workflow run 12

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#11:Commit0af7ea5pushedbyRuizsolveall
  feat/circle-pi1

  Sep 7, 202611s
  More actions for workflow run 11

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#10:Commit0af7ea5pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20261s
  More actions for workflow run 10

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#9:Commit0aaf443pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20261s
  More actions for workflow run 9

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#8:Commit544912dpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20261s
  More actions for workflow run 8

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#7:Commita96eb09pushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20268s
  More actions for workflow run 7

• refactor: transport IsMulCommutative across type tags; move zmultiple…

  skipped:
  continuous integration#6:Commit394fe3cpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20261s
  More actions for workflow run 6

• refactor: generalize to AddCircle p at an arbitrary basepoint

  skipped:
  continuous integration#5:Commit7faa4dfpushedbyRuizsolveall
  feat/circle-pi1-wip

  Sep 7, 20261s
  More actions for workflow run 5

• chore: replace deprecated Equiv.apply_eq_iff_eq_symm_apply

  skipped:
  continuous integration#4:Commit4a1f4b8pushedbyRuizsolveall
  feat/circle-pi1

  Sep 3, 20261s
  More actions for workflow run 4

• run mk_all

  skipped:
  continuous integration#3:Commited2aa20pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 20261s
  More actions for workflow run 3

• feat(Topology/Covering): fundamental group of the circle is ℤ

  skipped:
  continuous integration#2:Commit42e3855pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 20261s
  More actions for workflow run 2

• feat(Topology/Covering): fundamental group of the circle is ℤ

  skipped:
  continuous integration#1:Commit015cc19pushedbyRuizsolveall
  feat/circle-pi1

  Jul 17, 20261s
  More actions for workflow run 1