All workflows

Workflow runs

• pages build and deployment

  completed successfully:
  pages-build-deployment#238:bygithub-pages[bot]Bot
  gh-pages

  Oct 14, 20264m 16s

• Publish master GitHub Pages

  completed successfully:
  Publish master GitHub Pages#349:Scheduled
  master

  Oct 14, 202653m 24s
  More actions for workflow run 349

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Generate HTML doc using Rocqnavi#2281:Pull request#2131openedbyyoshihiro503
  proof-ninja:yoshihiro503@rocqnavi-dev-HEAD

  Oct 14, 202657m 54s
  More actions for workflow run 2281

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Nix CI for bundle 9.1#1441:Pull request#2131openedbyyoshihiro503
  Oct 14, 20261h 21m 6s
  More actions for workflow run 1441

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Nix CI for bundle 9.2#334:Pull request#2131openedbyyoshihiro503
  Oct 14, 20261h 13m 46s
  More actions for workflow run 334

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Nix CI for bundle 9.3#334:Pull request#2131openedbyyoshihiro503
  Oct 14, 202658m 27s
  More actions for workflow run 334

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Nix CI for bundle master#6152:Pull request#2131openedbyyoshihiro503
  Oct 14, 20261h 13m 19s
  More actions for workflow run 6152

• Rocqnavi: 📝 Use Rocqnavi's development HEAD instead of the released version

  completed successfully:
  Nix CI for bundle 9.0#2252:Pull request#2131openedbyyoshihiro503
  Oct 14, 20261h 20m 24s
  More actions for workflow run 2252

• normed type neighborhood lemmas

  completed successfully:
  Generate HTML doc using Rocqnavi#2280:Pull request#2030synchronizebynmolinamounier
  nmolinamounier:normed_nbhs_lemmas

  Oct 14, 202657m 1s
  More actions for workflow run 2280

• normed type neighborhood lemmas

  completed successfully:
  Nix CI for bundle 9.3#333:Pull request#2030synchronizebynmolinamounier
  Oct 14, 202656m 26s
  More actions for workflow run 333

• normed type neighborhood lemmas

  completed successfully:
  Nix CI for bundle 9.0#2251:Pull request#2030synchronizebynmolinamounier
  Oct 14, 20261h 19m 28s
  More actions for workflow run 2251

• normed type neighborhood lemmas

  completed successfully:
  Nix CI for bundle 9.2#333:Pull request#2030synchronizebynmolinamounier
  Oct 14, 20261h 5m 36s
  More actions for workflow run 333

• normed type neighborhood lemmas

  completed successfully:
  Nix CI for bundle master#6151:Pull request#2030synchronizebynmolinamounier
  Oct 14, 20261h 13m 1s
  More actions for workflow run 6151

• normed type neighborhood lemmas

  completed successfully:
  Nix CI for bundle 9.1#1440:Pull request#2030synchronizebynmolinamounier
  Oct 14, 20261h 21m 52s
  More actions for workflow run 1440

• normed type neighborhood lemmas

  cancelled:
  Generate HTML doc using Rocqnavi#2279:Pull request#2030synchronizebyaffeldt-aist
  nmolinamounier:normed_nbhs_lemmas

  Oct 14, 202615m 56s
  More actions for workflow run 2279

• normed type neighborhood lemmas

  cancelled:
  Nix CI for bundle 9.3#332:Pull request#2030synchronizebyaffeldt-aist
  Oct 14, 202614m 58s
  More actions for workflow run 332

• normed type neighborhood lemmas

  cancelled:
  Nix CI for bundle master#6150:Pull request#2030synchronizebyaffeldt-aist
  Oct 14, 202616m 15s
  More actions for workflow run 6150

• normed type neighborhood lemmas

  cancelled:
  Nix CI for bundle 9.2#332:Pull request#2030synchronizebyaffeldt-aist
  Oct 14, 202616m 3s
  More actions for workflow run 332

• normed type neighborhood lemmas

  cancelled:
  Nix CI for bundle 9.0#2250:Pull request#2030synchronizebyaffeldt-aist
  Oct 14, 202615m 1s
  More actions for workflow run 2250

• normed type neighborhood lemmas

  cancelled:
  Nix CI for bundle 9.1#1439:Pull request#2030synchronizebyaffeldt-aist
  Oct 14, 202614m 58s
  More actions for workflow run 1439

• Generalize integration_by_parts

  completed successfully:
  Generate HTML doc using Rocqnavi#2278:Pull request#1674synchronizebyaffeldt-aist
  IshiguroYoshihiro:integration_by_partsy_20250704

  Oct 14, 202649m 30s
  More actions for workflow run 2278

• Generalize integration_by_parts

  completed successfully:
  Nix CI for bundle master#6149:Pull request#1674synchronizebyaffeldt-aist
  Oct 14, 20261h 8m 21s
  More actions for workflow run 6149

• Generalize integration_by_parts

  completed successfully:
  Nix CI for bundle 9.1#1438:Pull request#1674synchronizebyaffeldt-aist
  Oct 14, 20261h 25m 40s
  More actions for workflow run 1438

• Generalize integration_by_parts

  completed successfully:
  Nix CI for bundle 9.0#2249:Pull request#1674synchronizebyaffeldt-aist
  Oct 14, 20261h 21m 54s
  More actions for workflow run 2249

• Generalize integration_by_parts

  completed successfully:
  Nix CI for bundle 9.3#331:Pull request#1674synchronizebyaffeldt-aist
  Oct 14, 202643m 26s
  More actions for workflow run 331