Code

CI pre-commit maintenance #1905

Code

Merged

paulcadman merged 18 commits intomainanoma/juvix:mainfrom pre-commit-fixesanoma/juvix:pre-commit-fixesCopy head branch name to clipboardMar 23, 2023

+566-507

Commits

Commits on Mar 20, 2023

• w.i.p ci testing

  jonaprieto

  committed
  491b77c

  Copy full SHA for 491b77c

• Fix ormolu version to 0.5.2.0

  jonaprieto

  committed
  8a74bd6

  Copy full SHA for 8a74bd6

• Fix action version

  jonaprieto

  committed
  5558358

  Copy full SHA for 5558358

• experimenting frakkle action

  jonaprieto

  committed
  1582b33

  Copy full SHA for 1582b33

• Back to v9 ormolu

  jonaprieto

  committed
  02bae55

  Copy full SHA for 02bae55

Commits on Mar 21, 2023

• Added a couple of revisions

  jonaprieto

  committed
  e65d0b9

  Copy full SHA for e65d0b9

• Testing runtime

  jonaprieto

  committed
  decf789

  Copy full SHA for decf789

• Make test depends on runtime

  jonaprieto

  committed
  283484f

  Copy full SHA for 283484f

• Use make runtime explicitily

  jonaprieto

  committed
  f9dce8c

  Copy full SHA for f9dce8c

• fix runtime building

  jonaprieto

  committed
  b701572

  Copy full SHA for b701572

• w.i.p

  jonaprieto

  committed
  307cd8b

  Copy full SHA for 307cd8b

• Examples should be formatted and typechecked

  jonaprieto

  committed
  62b237a

  Copy full SHA for 62b237a

• Skip format-examples in the CI

  jonaprieto

  committed
  7fe08cd

  Copy full SHA for 7fe08cd

Commits on Mar 22, 2023

• Merge remote-tracking branch 'origin/main' into pre-commit-fixes

  jonaprieto

  committed
  d0aab1d

  Copy full SHA for d0aab1d

• Make pre-commit happy

  jonaprieto

  committed
  9d841e8

  Copy full SHA for 9d841e8

• Fix yaml file

  jonaprieto

  committed
  1b8667f

  Copy full SHA for 1b8667f

• Fix warnings

  jonaprieto

  committed
  34fe84c

  Copy full SHA for 34fe84c

• minor

  jonaprieto

  committed
  d421c25

  Copy full SHA for d421c25