Commits

Breadcrumbs

History for

ona73a2e2

User selector

All users

Datepicker

All time

Commit History

Commits on May 24, 2022

• Remove dangling UNRELASED.md stuff

  

  Shon Feder

  committedMay 24, 2022
  fafa6f0

Commits on May 20, 2022

• Add comment on file updates to release-prepare.sh

  

  Shon Feder

  committedMay 20, 2022
  6114ef2

• Cleanup commented out line

  

  Shon Feder

  committedMay 20, 2022
  d5a3fdb

• Use changeling plugin in release pipeline

  

  Shon Feder

  committedMay 20, 2022
  8be2031

Commits on Mar 21, 2022

• Look up modules located next to the file supplied on CLI (#1491)

  thpani

  committedMar 21, 2022
  e42c54f

Commits on Mar 16, 2022

• Correct docs on source of truth for version

  

  Shon Feder

  committedMar 16, 2022
  13076bc

Commits on Feb 21, 2022

• Remove unused variable

  

  Shon Feder

  committedFeb 21, 2022
  a0c7f99

• Fix the archive names

  

  Shon Feder

  committedFeb 21, 2022
  ed80f11

Commits on Feb 17, 2022

• Use sbt-native-package to prepare distribution

  

  Shon Feder

  committedFeb 17, 2022
  22517bd

Commits on Feb 10, 2022

• Fix home dir

  

  Shon Feder

  committedFeb 10, 2022
  175b618

• Mount users ~/.tlaplus dir in docker container

  

  Shon Feder

  committedFeb 10, 2022
  b572382

Commits on Jan 24, 2022

• Migrate from maven to SBT (#1234)

  

  Shon Feder

  committedJan 24, 2022
  722d22b

Commits on Oct 28, 2021

• Expose output configuration via CLI arguments (#1062)

  

  Shon Feder

  committedOct 28, 2021
  ae73922

Commits on Oct 5, 2021

• Update all docker container references

  

  Shon Feder

  committedOct 5, 2021
  7cf3619

Commits on Aug 2, 2021

• Include LICENSE in release builds

  rnbguy

  committedAug 2, 2021
  17bfe76

Commits on May 11, 2021

• Make target dir in release script (#820)

  

  Shon Feder

  committedMay 11, 2021
  e8e44d3

Commits on May 1, 2021

• Allow supplying the JVM args when running Apalache (#791)

  

  Shon Feder

  committedMay 1, 2021
  137e4b5

Commits on Apr 9, 2021

• Add artifacts with no version suffix to release

  shonfeder

  committedApr 9, 2021
  007f81c

Commits on Mar 9, 2021

• Fix the release PR title (#629)

  

  Shon Feder

  committedMar 9, 2021
  f55663c

Commits on Mar 2, 2021

• Add instructions to release PR (#612)

  

  Shon Feder

  committedMar 2, 2021
  020aef3

Commits on Feb 1, 2021

• Improve UNRELEASED preamble

  shonfeder

  committedFeb 1, 2021
  7a88686

Commits on Jan 28, 2021

• Fix path of jar in zip artifact

  shonfeder

  committedJan 28, 2021
  25a1f27

Commits on Jan 22, 2021

• Fix typos

  shonfeder

  committedJan 22, 2021
  ff9f5ed

Commits on Jan 21, 2021

• Remove old release script

  shonfeder

  committedJan 21, 2021
  37a2b5c

• Note in each script which CI workflow it's used in

  shonfeder

  committedJan 21, 2021
  b7f6b34

• Fix RELEASE_JAR var

  shonfeder

  committedJan 21, 2021
  81cffff

• Remove unneeded CI flags

  shonfeder

  committedJan 21, 2021
  5595876

• Fix VERSION var in version-bump.sh

  shonfeder

  committedJan 21, 2021
  2a7d9be

• Fix release jar variable

  shonfeder

  committedJan 21, 2021
  0174661

• Use CI variable to determine CI behavior

  shonfeder

  committedJan 21, 2021
  70c629f

• Reformat invocation of hub command

  shonfeder

  committedJan 21, 2021
  038bc89

• Add flag to disable building in release-publish.sh

  shonfeder

  committedJan 21, 2021
  884eb5c

• Add flag to prevent posting release notes in PR

  shonfeder

  committedJan 21, 2021
  0a5c5b6

• Update CHANGES.md and bump version in same commit

  shonfeder

  committedJan 21, 2021
  ed56b59

• Add missing argument to release-publish.sh

  shonfeder

  committedJan 21, 2021
  c180554

Pagination

PreviousNext