Grant publish permissions

[mwouts]

No description provided.

[Copilot]

Pull Request Overview

This PR updates the GitHub Actions workflow to grant the GITHUB_TOKEN the necessary permissions for Pages deployments.

• Added a permissions block granting write access to pages and id-token.
• Introduced an environment configuration for the github-pages deployment.

[github-actions]

Thank you for making this pull request.

Did you know? You can try it on Binder: .

Also, the version of ITables developed in this PR can be installed with pip:

pip install git+https://github.com/mwouts/itables.git@fix_deploy

(this requires nodejs, see more at Developing ITables)

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.27%. Comparing base (0d12624) to head (998b666).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #398   +/-   ##
=======================================
  Coverage   89.27%   89.27%           
=======================================
  Files          44       44           
  Lines        1836     1836           
=======================================
  Hits         1639     1639           
  Misses        197      197           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.