Commits

Breadcrumbs

History for

onc058af2

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 6, 2021

• 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

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

  

  Shon Feder

  committedJan 22, 2021
  55712d6

• Add pull_request trigger to main.yml workflow

  shonfeder

  committedJan 22, 2021
  8511b49

Commits on Jan 21, 2021

• Document need for apalache-bot API token

  shonfeder

  committedJan 21, 2021
  7c32a7d

• Document GitHub Workflows

  shonfeder

  committedJan 21, 2021
  f344552

• Remove flag used for debugging

  shonfeder

  committedJan 21, 2021
  bce7a24

• Add missing closed type for PR trigger

  shonfeder

  committedJan 21, 2021
  0dcab78

• Remove old upload step

  shonfeder

  committedJan 21, 2021
  25b864a

• Trigger actual release process

  shonfeder

  committedJan 21, 2021
  88c77f3

• Fix fetch depth

  shonfeder

  committedJan 21, 2021
  f924f47

• Fix branch of PR

  shonfeder

  committedJan 21, 2021
  72ff26a

• Tweaky tweak

  shonfeder

  committedJan 21, 2021
  f6beaa8

• More drafting

  shonfeder

  committedJan 21, 2021
  ebc1c07

• Drafting release workflow

  shonfeder

  committedJan 21, 2021
  c0a5d30

• Add release workflow

  shonfeder

  committedJan 21, 2021
  67966eb

• Upload release artifacts in release-prepare workflow

  shonfeder

  committedJan 21, 2021
  49c322d

• Use the apalche-bot token preparing the release

  shonfeder

  committedJan 21, 2021
  7ae6e76

Commits on Jan 19, 2021

• Correct name of release-publish script in CI

  shonfeder

  committedJan 19, 2021
  e6e9d01

• Github workflow to prepare release

  shonfeder

  committedJan 19, 2021
  925f82b

• Github workflow to cut release

  shonfeder

  committedJan 19, 2021
  12f89b5

Commits on Jan 13, 2021

• Deploy manual from unstable (#433)

  

  Shon Feder

  committedJan 13, 2021
  246ed13

Commits on Jan 8, 2021

• Build the mdbook in CI (#409)

  

  Shon Feder

  committedJan 8, 2021
  7803e76

Commits on Jan 7, 2021

• Compile the manual into an mdbook-gemerated static site (#400)

  

  Shon Feder

  committedJan 7, 2021
  0996c5b

Commits on Oct 8, 2020

• Use cram-style integration tests (#250)

  

  Shon Feder

  committedOct 8, 2020
  52c4d1c

Commits on Sep 24, 2020

• Use GitHub action badge for unstable branch (#245)

  

  Shon Feder

  committedSep 24, 2020
  fc9c3da

Commits on Sep 23, 2020

• Run integration tests in separate build server (#243)

  

  Shon Feder

  committedSep 23, 2020
  cf323bc

• Use github actions for CI (#239)

  

  Shon Feder

  committedSep 23, 2020
  272135d

Loading