335e501dce
Setup playwright for end to end testing
5 years ago
ddd6ce59a3
Merge pull request #95 from jtpio/jest
...
Add a couple of tests for the shell
5 years ago
aa1e25985c
Add a couple of tests for the shell
5 years ago
4af4d41c6a
Merge pull request #90 from jtpio/prereleases
...
Handle prerelease when creating a GitHub release
5 years ago
b5d97daf31
Handle prereleases
5 years ago
d8dfe9c1e9
Merge pull request #88 from jtpio/skip-existing
...
Remove skip_existing from the release workflow
5 years ago
c1c7e35be1
Remove skip_existing from the release workflow
5 years ago
478fd70b7d
Release 0.1.5
5 years ago
edfdca8a21
Merge pull request #87 from jtpio/todos
...
Handle disabled extensions, fix a couple of TODO items
5 years ago
50546f8af2
Handle disabled plugins
5 years ago
ca6ee3d7f4
Use lab variable for font-size
5 years ago
4e23801285
Use a Poll instead of setInterval
5 years ago
cc387c81f2
Move document css to edit extension
5 years ago
399a8eaf62
Update Binder link
5 years ago
1414c011c0
Add script to publish tarballs to npm ( #86 )
...
* Add script to publish tarballs
* Add CI check for the release:npm script
* Move release script first
* Remove console.log
* Create dist folder
* Fix resolve in npm script
* Cleanup dist after test publish
* debug
* git checkout
* Test in separate job for simplicity
* Fix deps
* Publish npm in dry run mode
* mkdir pkgs
* Remove sha256 files from dist
* Remove skip_existing
* Remove --dry-run
5 years ago
46270509e9
Release 0.1.4
5 years ago
23dd0cbb8b
Add workflow to automate releases ( #83 )
...
* Add workflow to automate releases
* Tmp: Change to trigger to test the workflow
* Add step to generate the changelog
* Update changelog command
* Tweak changelog
* Pass github token to the docker container
* Get previous tag for changelog
* Fix docker command
* wip workflow
* debug workflow
* Debug tag
* Add defaults for bash
* Add fetch depth to checkout
* Use real tag in GH Action step
* Create draft release for testing
* Tweak CHANGELOG
* More tweaks
* Update release instructions
* Tweak changelog
* Ensure build and release share common test jobs
* Upload artifacts to PyPI
* Prepare dist/
* Copy the wheel
* Update workflow to trigger on tags
* Test on TestPyPI
* Test API token
* Add TODO
* skip existing
* Switch to tags
5 years ago
ccbc84aee3
Merge pull request #82 from jtpio/logo
...
Add logo
5 years ago
d3bf8a4414
Add logo
5 years ago
6ce11f433d
Merge pull request #79 from jtpio/bump-lab
...
Reuse upstream scripts to update dependencies and streamline versioning
5 years ago
160c310016
Reset version on CI
5 years ago
8f82032036
Tag after committing
5 years ago
eb6cd21daf
Update buildutils CI workflow
5 years ago
23f6a4e6e2
Fix major version bump
5 years ago
0b5c9933ce
Configure git on CI to commit
5 years ago
a9c26b59b8
Add CI workflow to test the release scripts
5 years ago
c6f1f79450
Add commander to dependencies
5 years ago
e59ea4e7d8
Add script to bump the version
5 years ago
b902112a7f
Rename script to release:patch
5 years ago
f51d5f7829
Commit Python and JS together
5 years ago
c38f114221
Add --no-git-tag-version
5 years ago
068a3ed006
Update patch release script
5 years ago
bb2dbdf1c6
Add bumpversion configuration files
5 years ago
7a519059bf
Add script to do a patch release
5 years ago
8ebec04af0
Add buildutils script to update dependency
5 years ago
35fe416c65
Rename builder to app
5 years ago
f9ae4d99f7
Release 0.1.3
5 years ago
e041b0a121
Merge pull request #78 from jtpio/codemirror-plugin
...
Add the codemirror singleton plugin
5 years ago
8d5c12dfac
Add the codemirror singleton plugin
5 years ago
17e7b59628
Merge pull request #76 from jtpio/update-release
...
Update release instructions
5 years ago
3e7521b1cf
Lint
5 years ago
f3af4cc73c
Update release instructions
5 years ago
8b3767e6b3
Release 0.1.2
5 years ago
582c85015d
Merge pull request #75 from jtpio/completer-files
...
Add the completer-extension:files plugin for editors
5 years ago
e91083ae0f
Add completer-extension:files plugin for editors
5 years ago
1276f94260
Merge pull request #74 from jtpio/throw-widget-area
...
shell.widgets() throws if the area is invalid
5 years ago
85022e63b1
Merge pull request #73 from jtpio/lab-update
...
Update dependencies
5 years ago
08f94a017a
app.shell throws if invalid area
5 years ago
b4818db111
Update dependencies
5 years ago
57d7000390
Merge pull request #71 from jtpio/binder
...
Add link to a stable Binder
5 years ago
Jeremy Tuloup