Commits

Branch selector

 dc344b6

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2023

• Merge pull request #81 from kape1395/support-dune-build

  Show description for dc344b6
  damiendoligez

  authored
  dc344b6

  Copy full SHA for dc344b6

Commits on May 27, 2023

• Basic support for build with dune.

  Show description for 376b7e4
  kape1395

  committed
  376b7e4

  Copy full SHA for 376b7e4

Commits on Jun 21, 2022

• REF: factor out common code, thus improving interfaces

  Show description for 581ebd8
  johnyf

  committed
  581ebd8

  Copy full SHA for 581ebd8

• BUG: require at least one identifier within tuply declarations

  johnyf

  committed
  cec85e5

  Copy full SHA for cec85e5

Commits on Jun 17, 2022

• REF: invoke installer without cd

  johnyf

  committed
  daacdab

  Copy full SHA for daacdab

Commits on Jun 16, 2022

• REF: simplify expression

  Show description for 7752fd1
  johnyf

  committed
  7752fd1

  Copy full SHA for 7752fd1

• _API: include more functions in interface of Expr.Fmt

  Show description for bd6ffde
  johnyf

  committed
  bd6ffde

  Copy full SHA for bd6ffde

• _API: add function Property.unwrap

  johnyf

  committed
  2097a03

  Copy full SHA for 2097a03

• _API: define type Util.hints

  Show description for 27792c4
  johnyf

  committed
  27792c4

  Copy full SHA for 27792c4

• REF: decouple functions that are not mutually recursive

  johnyf

  committed
  152609f

  Copy full SHA for 152609f

• UI: revise error messages

  johnyf

  committed
  4d35f1e

  Copy full SHA for 4d35f1e

• API: mv file to tla_mode/tla-mode.el

  Show description for 974432f
  johnyf

  committed
  974432f

  Copy full SHA for 974432f

• GIT: ignore __pycache__/ directories, *.pyc files

  johnyf

  committed
  6ff58fc

  Copy full SHA for 6ff58fc

• CI: add cron task to pr.yml

  Show description for aea54cd
  johnyf

  committed
  aea54cd

  Copy full SHA for aea54cd

• CI: test using pr.yml when file pr.yml changes

  Show description for bc8f914
  johnyf

  committed
  bc8f914

  Copy full SHA for bc8f914

• CI: extract release actions into file release.yml

  Show description for 58d44b7
  johnyf

  committed
  58d44b7

  Copy full SHA for 58d44b7

• REF: extract definition of CI env vars as Python scripts

  Show description for 5d302c8
  johnyf

  committed
  5d302c8

  Copy full SHA for 5d302c8

• BUG: typo

  Show description for e7a6f81
  johnyf

  committed
  e7a6f81

  Copy full SHA for e7a6f81

Commits on May 25, 2022

• CI: build the installer before installing test dependencies

  Show description for 3c400e8
  johnyf

  committed
  3c400e8

  Copy full SHA for 3c400e8

• CI: build and run TLAPS installer in separate GH Actions

  johnyf

  committed
  519df89

  Copy full SHA for 519df89

• REF: write run: |

  Show description for 9ee6b01
  johnyf

  committed
  9ee6b01

  Copy full SHA for 9ee6b01

• STY: place one operating system per line, within list

  johnyf

  committed
  101bfd4

  Copy full SHA for 101bfd4

• STY: shorten lines in bash within YAML

  johnyf

  committed
  f583d13

  Copy full SHA for f583d13

• DOC: format comments in YAML as Markdown

  johnyf

  committed
  22c27c2

  Copy full SHA for 22c27c2

• DOC: incorporate YAML comment into name of GitHub Action

  johnyf

  committed
  934dec9

  Copy full SHA for 934dec9

• CI: arrange action as two actions, with titles

  Show description for 49c05c3
  johnyf

  committed
  49c05c3

  Copy full SHA for 49c05c3

• DOC: localize comment to line it refers to

  johnyf

  committed
  f58a4fc

  Copy full SHA for f58a4fc

• DOC: rm comments

  johnyf

  committed
  4c67755

  Copy full SHA for 4c67755

• DOC: rm comments that are present in file main.yml

  Show description for 42dc474
  johnyf

  committed
  42dc474

  Copy full SHA for 42dc474

• STY: indent YAML using 4 spaces (U+0020) per level of indentation

  Show description for cdfc02f
  johnyf

  committed
  cdfc02f

  Copy full SHA for cdfc02f

• STY: shorten lines of comments in YAML

  johnyf

  committed
  92b771a

  Copy full SHA for 92b771a

• REF: use one hashmark # (U+0023) to delimit comments in YAML

  johnyf

  committed
  58b5225

  Copy full SHA for 58b5225

• CI: update name of GitHub Action

  Show description for 72f2003
  johnyf

  committed
  72f2003

  Copy full SHA for 72f2003

• CI: stop on first error

  Show description for e5fbf28
  johnyf

  committed
  e5fbf28

  Copy full SHA for e5fbf28

• REF: extract OCaml versions into a Python script, for CI

  Show description for ea92944
  johnyf

  committed
  ea92944

  Copy full SHA for ea92944

Pagination

Previous

Next