All workflows

Workflow runs

• fix: inline formulas render inside HTML table cells

  completed successfully:
  Continuous Integration#4767:Pull request#1373openedbygennaroprota
  gennaroprota:fix/tables_keep_their_inline_formulas

  Oct 30, 202641m 41s
  More actions for workflow run 4767

• fix: inline formulas render inside HTML table cells

  completed successfully:
  PR Target Checks#788:Pull request#1373openedbygennaroprota
  Oct 30, 202624s
  More actions for workflow run 788

• docs: add a Doxygen compatibility page

  completed successfully:
  PR Target Checks#787:Pull request#1372openedbygennaroprota
  Oct 30, 202634s
  More actions for workflow run 787

• docs: add a Doxygen compatibility page

  completed successfully:
  Continuous Integration#4766:Pull request#1372openedbygennaroprota
  gennaroprota:docs/doxygen_compatibility_page

  Oct 30, 202641m 47s
  More actions for workflow run 4766

• fix: the commands reference and the parser agree

  completed successfully:
  PR Target Checks#786:Pull request#1371openedbygennaroprota
  Oct 30, 202632s
  More actions for workflow run 786

• fix: the commands reference and the parser agree

  completed successfully:
  Continuous Integration#4765:Pull request#1371openedbygennaroprota
  gennaroprota:fix/see_also_and_list_item_aliases_keep_their_text

  Oct 30, 202636m 44s
  More actions for workflow run 4765

• pages build and deployment

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

  Oct 30, 20261m 41s

• perf(website): drop unused landing scroll handler

  completed successfully:
  Continuous Integration#4764:Commit6f92577pushedbygithub-merge-queue[bot]Bot
  develop

  Oct 30, 20262h 47m 18s
  More actions for workflow run 4764

• Continuous Integration

  completed successfully:
  Continuous Integration#4763:Merge group checks requested
  Oct 30, 202637m 46s
  More actions for workflow run 4763

• feat: honor cond and endcond in doc comments

  completed successfully:
  PR Target Checks#785:Pull request#1367openedbygennaroprota
  Oct 29, 202626s
  More actions for workflow run 785

• feat: honor cond and endcond in doc comments

  completed successfully:
  Continuous Integration#4762:Pull request#1367openedbygennaroprota
  gennaroprota:feat/honor_cond_and_endcond_in_doc_comments

  Oct 29, 202643m 9s
  More actions for workflow run 4762

• fix: anchors are never Windows device names

  completed successfully:
  Continuous Integration#4761:Pull request#1366synchronizebygennaroprota
  gennaroprota:fix/anchors_are_never_windows_device_names

  Oct 28, 202638m 26s
  More actions for workflow run 4761

• fix: anchors are never Windows device names

  completed successfully:
  PR Target Checks#784:Pull request#1366synchronizebygennaroprota
  Oct 28, 202648s
  More actions for workflow run 784

• feat: anchors tell symbols that share a name apart by kind and signature

  completed successfully:
  Continuous Integration#4760:Pull request#1365synchronizebygennaroprota
  gennaroprota:feat/anchors_are_disambiguated_by_kind_and_signature

  Oct 28, 202646m 6s
  More actions for workflow run 4760

• feat: anchors tell symbols that share a name apart by kind and signature

  cancelled:
  PR Target Checks#783:Pull request#1365synchronizebygennaroprota
  Oct 28, 202628s
  More actions for workflow run 783

• fix: anchors are never Windows device names

  completed successfully:
  PR Target Checks#782:Pull request#1366openedbygennaroprota
  Oct 28, 202626s
  More actions for workflow run 782

• fix: anchors are never Windows device names

  failed:
  Continuous Integration#4759:Pull request#1366openedbygennaroprota
  gennaroprota:fix/anchors_are_never_windows_device_names

  Oct 28, 202618m 34s
  More actions for workflow run 4759

• feat: anchors tell symbols that share a name apart by kind and signature

  failed:
  Continuous Integration#4758:Pull request#1365synchronizebygennaroprota
  gennaroprota:feat/anchors_are_disambiguated_by_kind_and_signature

  Oct 22, 202635m 26s
  More actions for workflow run 4758

• feat: anchors tell symbols that share a name apart by kind and signature

  completed successfully:
  PR Target Checks#781:Pull request#1365synchronizebygennaroprota
  Oct 22, 20264m 11s
  More actions for workflow run 781

• perf(website): drop unused landing scroll handler

  completed successfully:
  Continuous Integration#4755:Pull request#1364openedbyjulioest
  julioest:perf/landing-scroll-listener

  Oct 21, 202642m 50s
  More actions for workflow run 4755

• perf(website): drop unused landing scroll handler

  completed successfully:
  PR Target Checks#778:Pull request#1364openedbyjulioest
  Oct 21, 202627s
  More actions for workflow run 778

• feat: support plugins

  completed successfully:
  Continuous Integration#4754:Pull request#1256synchronizebygennaroprota
  gennaroprota:feat/support_plugins

  Oct 21, 202647m 13s
  More actions for workflow run 4754

• feat: support plugins

  completed successfully:
  PR Target Checks#777:Pull request#1256synchronizebygennaroprota
  Oct 21, 202645s
  More actions for workflow run 777

• feat: link references to symbols documented elsewhere (input tagfiles)

  completed successfully:
  Continuous Integration#4753:Pull request#1267synchronizebygennaroprota
  gennaroprota:feat/read_tagfiles

  Oct 21, 202638m 57s
  More actions for workflow run 4753

• feat: link references to symbols documented elsewhere (input tagfiles)

  cancelled:
  PR Target Checks#776:Pull request#1267synchronizebygennaroprota
  Oct 21, 202635s
  More actions for workflow run 776