Skip to content

4.0.1
Compare
Choose a tag to compare
@sourcegraph-bot sourcegraph-bot released this 06 Oct 17:07
· 209 commits to main since this release
4.0.1
5a9d166
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changelog

  • 5a9d166 Update changelog for next release version (#857)
  • 5b02986 Update dependency @types/tar to v6.1.3 (#850)
  • ad1b36a batches: Remote Mount #5 - src-cli (#816)
  • 1dab5b2 batches: check that docker is running when running src batch (#844)
  • 4e07d07 chore: Bump scip dependency for Relationship.is_definition. (#854)
  • 0f2ef91 code-intel: Don't panic on errors in SCIP code paths. (#847)
Assets 15
Loading