Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 23, 2025

• Merge pull request #1192 from HoTT/dependabot/github_actions/actions/checkout-6

  Show description for 0bb33d2
  mikeshulman

  authored
  0bb33d2

  Copy full SHA for 0bb33d2

Commits on Nov 21, 2025

• Bump actions/checkout from 5 to 6

  Show description for db38ca3
  dependabot[bot]

  authored
  db38ca3

  Copy full SHA for db38ca3

Commits on Aug 29, 2025

• Merge pull request #1191 from Bolpat/patch-1

  Show description for a40a78c
  mikeshulman

  authored
  a40a78c

  Copy full SHA for a40a78c

• Apply suggestion

  Show description for 6cd394e
  

  Bolpat

  and

  mikeshulman

  authored
  6cd394e

  Copy full SHA for 6cd394e

Commits on Aug 27, 2025

• Remove big spacing

  Bolpat

  authored
  9157e86

  Copy full SHA for 9157e86

Commits on Aug 12, 2025

• Merge pull request #1189 from HoTT/dependabot/github_actions/actions/checkout-5

  Show description for 79f6b7f
  mikeshulman

  authored
  79f6b7f

  Copy full SHA for 79f6b7f

Commits on Aug 11, 2025

• Bump actions/checkout from 4 to 5

  Show description for c6796c9
  dependabot[bot]

  authored
  c6796c9

  Copy full SHA for c6796c9

Commits on Jul 23, 2025

• Merge pull request #1187 from danielzgtg/fix/ubuntu2504

  Show description for c4e57d5
  mikeshulman

  authored
  c4e57d5

  Copy full SHA for c4e57d5

• Merge pull request #1188 from danielzgtg/fix/unspaceEmDashes

  Show description for c32edf9
  mikeshulman

  authored
  c32edf9

  Copy full SHA for c32edf9

• Unify em dashes to spaced version

  Show description for 1f36555
  danielzgtg

  committed
  1f36555

  Copy full SHA for 1f36555

Commits on Jul 21, 2025

• Unvendor packages to fix CI

  Show description for d402ad0
  danielzgtg

  committed
  d402ad0

  Copy full SHA for d402ad0

Commits on Jul 3, 2025

• Merge pull request #1186 from HoTT/dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-5

  Show description for c8915b5
  mikeshulman

  authored
  c8915b5

  Copy full SHA for c8915b5

• Bump Andrew-Chen-Wang/github-wiki-action from 4 to 5

  Show description for bbec164
  dependabot[bot]

  authored
  bbec164

  Copy full SHA for bbec164

• Merge pull request #1185 from Bolpat/patch-5

  Show description for 3afc33d
  mikeshulman

  authored
  3afc33d

  Copy full SHA for 3afc33d

Commits on Jul 2, 2025

• Mark Errata (auto)

  

  github-actions

  committed
  ffeb7cd

  Copy full SHA for ffeb7cd

• Merge pull request #1182 from Bolpat/patch-2

  Show description for a828f40
  mikeshulman

  authored
  a828f40

  Copy full SHA for a828f40

• Merge branch 'master' into patch-2

  mikeshulman

  authored
  ce4e391

  Copy full SHA for ce4e391

• Mark Errata (auto)

  

  github-actions

  committed
  826a049

  Copy full SHA for 826a049

• Merge pull request #1184 from Bolpat/patch-4

  Show description for 671b000
  mikeshulman

  authored
  671b000

  Copy full SHA for 671b000

Commits on Jul 1, 2025

• Fix typo of using the wrong dash

  

  Quirin Schroll

  committed
  03ebb47

  Copy full SHA for 03ebb47

• Errata for 251b4c4fb5faf6eb21b5926309835d9d569ef2d5

  

  Quirin Schroll

  committed
  071e83a

  Copy full SHA for 071e83a

• Fix wrong ordering in definition of cover

  

  Quirin Schroll

  committed
  251b4c4

  Copy full SHA for 251b4c4

• Errata for 2c2d15123c917c33d7ea21c14ca08f86f8d93b55

  

  Quirin Schroll

  committed
  5ea86ba

  Copy full SHA for 5ea86ba

• Fix typo: Closing | missing

  

  Quirin Schroll

  committed
  2c2d151

  Copy full SHA for 2c2d151

Commits on Jun 27, 2025

• Mark Errata (auto)

  

  github-actions

  committed
  cfd0c83

  Copy full SHA for cfd0c83

• Merge pull request #1181 from Bolpat/patch-1

  Show description for 7d3a5fa
  mikeshulman

  authored
  7d3a5fa

  Copy full SHA for 7d3a5fa

• Update errata.tex

  Show description for f310e21
  

  Bolpat

  and

  mikeshulman

  authored
  f310e21

  Copy full SHA for f310e21

• Include change in errata.tex

  

  Bolpat

  authored and

  Quirin Schroll

  committed
  3a46988

  Copy full SHA for 3a46988

• Fix typo

  Bolpat

  authored
  9b0b4e5

  Copy full SHA for 9b0b4e5

Commits on Jun 26, 2025

• Mark Errata (auto)

  

  github-actions

  committed
  e8360e9

  Copy full SHA for e8360e9

• Merge pull request #1180 from enklht/typos

  Show description for a1e06c4
  mikeshulman

  authored
  a1e06c4

  Copy full SHA for a1e06c4

• fix: add newlines after descriptions in errata.tex

  Show description for 1763fc2
  enklht

  committed
  1763fc2

  Copy full SHA for 1763fc2

• fix: comment out the merge sign in errata.tex

  enklht

  committed
  3e60a8e

  Copy full SHA for 3e60a8e

• try reverting texlive to see if it fixes CI

  mikeshulman

  committed
  9dd4992

  Copy full SHA for 9dd4992

Commits on Jun 24, 2025

• Merge pull request #1174 from enklht/typos

  Show description for 14eb86b
  mikeshulman

  authored
  14eb86b

  Copy full SHA for 14eb86b

Pagination

Previous

Next