Commits · 0.14.3 · PIKA-lab / tuProlog / 2P-Kt · GitLab

Oct 27, 2020
- new commit just to increase minor version · 952bb84c
  Giovanni Ciatto authored Oct 27, 2020
  
  View commits for tag 0.14.3 0.14.3
  952bb84c
- make gradle caching in github ci commit-specific · e2045c67
  Giovanni Ciatto authored Oct 27, 2020
  
  View commits for tag 0.14.2 0.14.2
  e2045c67
Oct 26, 2020
- add clean step in github ci · 542bbc99
  Giovanni Ciatto authored Oct 26, 2020
  
  View commits for tag 0.14.1 0.14.1
  542bbc99
- update README · 4b5527df
  Giovanni Ciatto authored Oct 26, 2020
  
  View commits for tag 0.14.0 0.14.0
  4b5527df
- setup jsSourcesDir in :parser-js · 664fbae0
  Giovanni Ciatto authored Oct 26, 2020
  
  664fbae0
- optimize imports in buildSrc · 5699641d
  Giovanni Ciatto authored Oct 26, 2020
  
  5699641d
- reformat code · 085fc47f
  Giovanni Ciatto authored Oct 26, 2020
  
  085fc47f
- reimplement nodePublishing plugin · bfc33d3e
  Giovanni Ciatto authored Oct 26, 2020
  
  bfc33d3e
- Merge branch 'master' of github.com:tuProlog/2p-kt · 4ed02226
  Giovanni Ciatto authored Oct 26, 2020
  
  4ed02226
- remove errors from NpmPublishExtension · 1d27cc65
  Giovanni Ciatto authored Oct 26, 2020
  
  1d27cc65
- simplify github release · f483e183
  Giovanni Ciatto authored Oct 26, 2020
  
  f483e183
- simplify github release · 003bcd4e
  Giovanni Ciatto authored Oct 26, 2020
  
  003bcd4e
- minor improvements to npm publish plugin · c7484b76
  Giovanni Ciatto authored Oct 26, 2020
  
  c7484b76
- api-references -> api-reference · abac0ea4
  Giovanni Ciatto authored Oct 26, 2020
  
  abac0ea4
Oct 25, 2020
- improvements to github ci · 8749681e
  Giovanni Ciatto authored Oct 25, 2020
  
  View commits for tag 0.13.0-dev2s+8749681e 0.13.0-dev2s+8749681e
  8749681e
- redirect stderr of npm tasks to gradle's stderr · 92d91198
  Giovanni Ciatto authored Oct 25, 2020
  
  View commits for tag 0.13.0-dev2r+92d91198 0.13.0-dev2r+92d91198
  92d91198
- fix prepare-artifacts job in github ci · cf18a603
  Giovanni Ciatto authored Oct 25, 2020
  
  cf18a603
- split jobs in github ci · 2562168f
  Giovanni Ciatto authored Oct 25, 2020
  
  2562168f
Oct 24, 2020
- lift npm publish job in github ci · 3f2e6ab2
  Giovanni Ciatto authored Oct 24, 2020
  
  View commit 3f2e6ab2 2 tags
  3f2e6ab2
- update project map · fb4046c6
  Giovanni Ciatto authored Oct 24, 2020
  
  fb4046c6
- Merge branch 'develop' · 3c08c8ba
  Giovanni Ciatto authored Oct 24, 2020
  
  3c08c8ba
- fix github repository in gitlab ic · 36792ca6
  Giovanni Ciatto authored Oct 24, 2020
  
  36792ca6
- disable deploy-related jobs in gitlab ci · 96a91606
  Giovanni Ciatto authored Oct 24, 2020
  
  96a91606
- fix typo in github ci · 8306662a
  Giovanni Ciatto authored Oct 24, 2020
  
  8306662a
- add mc, npm, and github upload in github ci · 9f3318a1
  Giovanni Ciatto authored Oct 24, 2020
  
  9f3318a1
- add bintray upload in github ci · 64294f46
  Giovanni Ciatto authored Oct 24, 2020
  
  64294f46
- use battila7/jdk-via-jabba@v1 to restore jabba in github ci · a1359266
  Giovanni Ciatto authored Oct 24, 2020
  
  a1359266
- secondo improvement attempt for jdk sharing among jobs in github ci · 3206fbba
  Giovanni Ciatto authored Oct 24, 2020
  
  3206fbba
- improvement attempt for jdk sharing among jobs in github ci · 6415aaf6
  Giovanni Ciatto authored Oct 24, 2020
  
  6415aaf6
- fix jdk version in github ci · aa3344ff
  Giovanni Ciatto authored Oct 24, 2020
  
  aa3344ff
- remove anchor definitions from github ci · 6d52deee
  Giovanni Ciatto authored Oct 24, 2020
  
  6d52deee
- remove anchors from github ci · f8d3cb98
  Giovanni Ciatto authored Oct 24, 2020
  
  f8d3cb98
- add signing to github ci · 41ff6ac9
  Giovanni Ciatto authored Oct 24, 2020
  
  41ff6ac9
- add release on github maven repo to github ci · cb9b32fd
  Giovanni Ciatto authored Oct 24, 2020
  
  cb9b32fd
- make term comparison tests more robust · deb4f4ad
  Giovanni Ciatto authored Oct 24, 2020
  
  deb4f4ad
- fix jabba · 929553ad
  Giovanni Ciatto authored Oct 24, 2020
  
  929553ad
- use gradle in github ci · e1b08fa6
  Giovanni Ciatto authored Oct 24, 2020
  
  e1b08fa6
- use openjdk 15 in github ci · 75c45643
  Giovanni Ciatto authored Oct 24, 2020
  
  75c45643
Oct 23, 2020
- support locale-independent term ordering on the jvm · fb218099
  Giovanni Ciatto authored Oct 23, 2020
  
  fb218099
- Merge branch 'feature/ide' into develop · a72f3280
  Giovanni Ciatto authored Oct 23, 2020
  
  a72f3280