Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge development branch #721

Closed
wants to merge 14 commits into from
Closed

Merge development branch #721

wants to merge 14 commits into from

Commits on Jul 9, 2023

  1. Update pipelines

    pomianowski committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    91792ea View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Bump actions/upload-pages-artifact from 1 to 2

    Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1 to 2.
    - [Release notes](https://github.com/actions/upload-pages-artifact/releases)
    - [Commits](actions/upload-pages-artifact@v1...v2)
    
    ---
    updated-dependencies:
    - dependency-name: actions/upload-pages-artifact
      dependency-type: direct:production
      update-type: version-update:semver-major
    ...
    
    Signed-off-by: dependabot[bot] <[email protected]>
    dependabot[bot] authored Jul 10, 2023
    Configuration menu
    Copy the full SHA
    f76a74c View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Merge pull request #703 from lepoco/dependabot/github_actions/develop…

    …ment/actions/upload-pages-artifact-2
    
    Bump actions/upload-pages-artifact from 1 to 2
    pomianowski authored Jul 11, 2023
    Configuration menu
    Copy the full SHA
    1e082c7 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Configuration menu
    Copy the full SHA
    2c291c3 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. Update Monaco Editor

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    4b6ad96 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    250aaa0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    784dc6a View commit details
    Browse the repository at this point in the history
  4. Update namespaces

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    ec064ea View commit details
    Browse the repository at this point in the history
  5. Update pipelines

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    2dec143 View commit details
    Browse the repository at this point in the history
  6. Fix Extension build

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    5734448 View commit details
    Browse the repository at this point in the history
  7. Update docs

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    16fc00c View commit details
    Browse the repository at this point in the history
  8. Bump version

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    00f9032 View commit details
    Browse the repository at this point in the history
  9. Update docs

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    26ca455 View commit details
    Browse the repository at this point in the history
  10. Fix extension pipeline

    pomianowski committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    545b7c3 View commit details
    Browse the repository at this point in the history