.github/workflows/push_pr.yml

Workflow runs for .github/workflows/push_pr.yml

• chore: bump to v4.34.0-rc2

  failed:
  .github/workflows/push_pr.yml#71:Pull request#40openedbythefundamentaltheor3m
  thefundamentaltheor3m:bump/v4.34.0-rc2

  Sep 4, 202630d 0h 5m 26s
  More actions for workflow run 71

• Bump to Lean 4.31.0-rc1

  completed successfully:
  .github/workflows/push_pr.yml#68:Pull request#37openedbydagurtomas
  dagurtomas:bump-v4.31.0-rc1

  Jun 8, 20262m 21s
  More actions for workflow run 68

• feat: bump to Lean v4.28.0-rc1

  completed successfully:
  .github/workflows/push_pr.yml#67:Pull request#36openedbyVtec234
  Vtec234:bump/v4.28.0-rc1

  Feb 11, 20263m 20s
  More actions for workflow run 67

• feat: bump to v4.25.0-rc2

  completed successfully:
  .github/workflows/push_pr.yml#66:Pull request#35openedbyVtec234
  bump/v4.25.0-rc2

  Oct 23, 20252m 42s
  More actions for workflow run 66

• feat: exponentiable maps are pullback-stable; comp is exponentiable

  completed successfully:
  .github/workflows/push_pr.yml#65:Pull request#34openedbydigama0
  dubuc

  Sep 19, 20251m 57s
  More actions for workflow run 65

• chore: update to 4.23.0-rc2

  completed successfully:
  .github/workflows/push_pr.yml#64:Pull request#33openedbydigama0
  bump_4_23_0_rc2

  Sep 12, 20251m 53s
  More actions for workflow run 64