Commits

Breadcrumbs

History for

onv0.25.6

User selector

All users

Datepicker

All time

Commit History

Commits on May 12, 2022

• Add separate job to compile with fatal warnings

  

  Shon Feder

  committedMay 12, 2022
  255989a

Commits on Apr 27, 2022

• Bump JDK version (+ Scala version in docs) (#1662)

  thpani

  committedApr 27, 2022
  04ee3fe

Commits on Apr 1, 2022

• Find Apalache standard library outside of fat JAR (#1553)

  

  thpani

  and

  Shon Feder

  committedApr 1, 2022
  7fab5c4

Commits on Mar 22, 2022

• Make warnings fatal in CI

  

  Shon Feder

  committedMar 22, 2022
  41bfd03

Commits on Mar 19, 2022

• Use the apalache bot token for auto update

  

  Shon Feder

  committedMar 19, 2022
  be5f84f

• Add auto-update github action

  

  Shon Feder

  committedMar 19, 2022
  e08b7ce

Commits on Jan 31, 2022

• Add codecov token

  

  Shon Feder

  committedJan 31, 2022
  1fdf6f7

Commits on Jan 24, 2022

• Revert "tmp: test on branch"

  

  Shon Feder

  committedJan 24, 2022
  3eed3ae

• tmp: test on branch

  

  Shon Feder

  committedJan 24, 2022
  13acde1

• Fix docker continuous deployment

  

  Shon Feder

  committedJan 24, 2022
  9aac7bc

• 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 26, 2021

• Add CI set up for smt-encoding work (#1061)

  

  Shon Feder

  committedOct 26, 2021
  51a4b0f

Commits on Oct 15, 2021

• Add nix-shell support (#1032)

  

  JonathanLorimer

  and

  Shon Feder

  committedOct 15, 2021
  f89be71

Commits on Oct 6, 2021

• Merge pull request #1021 from informalsystems/ci/ci-fixes

  

  Shon Feder

  committedOct 6, 2021
  6bdaea7

Commits on Oct 5, 2021

• Use apalache bot for releases

  

  Shon Feder

  committedOct 5, 2021
  987dc88

• Update all docker container references

  

  Shon Feder

  committedOct 5, 2021
  7cf3619

• Fix image name

  

  Shon Feder

  committedOct 5, 2021
  6cdd38c

Commits on Oct 4, 2021

• Add workflow to publish docker images to GitHub

  

  Shon Feder

  committedOct 4, 2021
  b272390

Commits on Jul 30, 2021

• Use setup-ocaml v2 (#937)

  

  Shon Feder

  committedJul 30, 2021
  0680a17

Commits on May 4, 2021

• Remove homebrew update (#809)

  

  Shon Feder

  committedMay 4, 2021
  93ee5a1

Commits on Apr 12, 2021

• Try updating homebrew

  shonfeder

  committedApr 12, 2021
  d661c15

Commits on Feb 6, 2021

• Remove the test branch trigger

  shonfeder

  committedFeb 6, 2021
  5c824af

• Cleanup

  shonfeder

  committedFeb 6, 2021
  bb2a077

• Remove setup-ocaml step

  shonfeder

  committedFeb 6, 2021
  22f2379

• Try to use a prebuilt binary

  shonfeder

  committedFeb 6, 2021
  f7f9902

• Remove testing branch config

  shonfeder

  committedFeb 6, 2021
  c058af2

• Deploy the docs

  shonfeder

  committedFeb 6, 2021
  a1e1c64

• Try actions-ml version

  shonfeder

  committedFeb 6, 2021
  842f2a8

• Emojify docs in CI

  shonfeder

  committedFeb 6, 2021
  7583bbe

Commits on Feb 5, 2021

• Use quick-build in the integration tests

  shonfeder

  committedFeb 5, 2021
  fc80675

Commits on Jan 26, 2021

• Add formatting check to CI

  shonfeder

  committedJan 26, 2021
  b7508d3

Commits on Jan 25, 2021

• Fix release cron schedule

  shonfeder

  committedJan 25, 2021
  e8e85fa

Commits on Jan 22, 2021

• Merge branch 'unstable' into shon/more-release-tweaks

  

  Shon Feder

  committedJan 22, 2021
  3b3b391

• Only run main.yml workflow on PRs

  shonfeder

  committedJan 22, 2021
  926e0c1

Pagination

PreviousNext