Shell checks

Workflow runs for Shell checks

• Bump actions/checkout from 6.0.3 to 7.0.1

  completed successfully:
  Shell checks#26:Pull request#299openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-7.0.1

  Aug 1, 202615s
  More actions for workflow run 26

• Bump actions/checkout from 6.0.2 to 6.0.3

  completed successfully:
  Shell checks#25:Pull request#289openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.3

  Jun 3, 202624s
  More actions for workflow run 25

• Bump actions/checkout from 6.0.1 to 6.0.2

  completed successfully:
  Shell checks#24:Pull request#230openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.2

  Jan 27, 202611s
  More actions for workflow run 24

• Bump actions/checkout from 6.0.0 to 6.0.1

  completed successfully:
  Shell checks#23:Pull request#203openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.1

  Dec 8, 20259s
  More actions for workflow run 23

• Rename Nova++ to HERACLES++

  completed successfully:
  Shell checks#22:Pull request#199synchronizebytpadioleau
  13-rename-nova-into-heracles

  Dec 5, 20259s
  More actions for workflow run 22

• Rename Nova++ to HERACLES++

  completed successfully:
  Shell checks#21:Pull request#199synchronizebytpadioleau
  13-rename-nova-into-heracles

  Dec 5, 202510s
  More actions for workflow run 21

• Rename Nova++ to HERACLES++

  completed successfully:
  Shell checks#20:Pull request#199synchronizebytpadioleau
  13-rename-nova-into-heracles

  Dec 5, 20259s
  More actions for workflow run 20

• Rename Nova++ to HERACLES++

  completed successfully:
  Shell checks#19:Pull request#199openedbytpadioleau
  13-rename-nova-into-heracles

  Dec 5, 202510s
  More actions for workflow run 19

• Bump actions/checkout from 5.0.1 to 6.0.0

  completed successfully:
  Shell checks#18:Pull request#190openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-6.0.0

  Nov 24, 202512s
  More actions for workflow run 18

• Bump actions/checkout from 5.0.0 to 5.0.1

  completed successfully:
  Shell checks#17:Pull request#187synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-5.0.1

  Nov 18, 20258s
  More actions for workflow run 17

• Bump actions/checkout from 5.0.0 to 5.0.1

  completed successfully:
  Shell checks#16:Pull request#187openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-5.0.1

  Nov 17, 202510s
  More actions for workflow run 16