Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: purescript/pursuit
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v0.9.3
Choose a base ref
...
head repository: purescript/pursuit
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
  • 10 commits
  • 12 files changed
  • 3 contributors

Commits on Sep 22, 2022

  1. RELEASE: cabal build not necessary (#473)

    Removed cabal build instruction since it was added to the script
    andys8 authored Sep 22, 2022

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    Copy the full SHA
    2dc4161 View commit details

Commits on Oct 18, 2022

  1. Update PureScript dep to 0.15.6 (#475)

    * Update license generator instructions
    
    * Update PS dep to 0.15.6
    
    * Regenerat license
    
    * Update changelog
    JordanMartinez authored Oct 18, 2022
    Copy the full SHA
    4a1b372 View commit details

Commits on Mar 6, 2023

  1. Update to 0.15.8 (support dark theme) (#477)

    * Bump ps to 0.15.8
    
    * Update lock file
    
    * Update publishing instructions
    
    * Regenerate license
    
    * Add changelog entry
    
    * CI: Update ubuntu version to latest
    JordanMartinez authored Mar 6, 2023
    Copy the full SHA
    6e6ff77 View commit details
  2. Copy the full SHA
    edba1c1 View commit details
  3. Make 0.9.6 release

    JordanMartinez committed Mar 6, 2023
    Copy the full SHA
    9a35da3 View commit details

Commits on Mar 10, 2023

  1. Fix version (#479)

    JordanMartinez authored Mar 10, 2023
    Copy the full SHA
    8d490b9 View commit details

Commits on Jul 19, 2023

  1. Update to purs 0.15.10 (#481)

    * Update to purs-0.15.10
    
    * Update usages of ForAll
    
    * Update license file
    
    * Update changelog
    
    * Explicitly note that VTA-search not supported
    JordanMartinez authored Jul 19, 2023
    Copy the full SHA
    ea6a220 View commit details

Commits on Dec 6, 2023

  1. Copy the full SHA
    e8dd25a View commit details
  2. Copy the full SHA
    12cb5bd View commit details
  3. Update CHANGELOG.md

    thomashoneyman authored Dec 6, 2023
    Copy the full SHA
    fca936d View commit details
Showing with 194 additions and 237 deletions.
  1. +2 −2 .github/workflows/ci.yml
  2. +30 −0 CHANGELOG.md
  3. +116 −120 LICENSE
  4. +1 −4 RELEASE.md
  5. +1 −1 deploy/pursuit.service
  6. +13 −2 license-generator/generate
  7. +2 −2 pursuit.cabal
  8. +3 −3 src/SearchIndex.hs
  9. +2 −2 stack.yaml
  10. +20 −20 stack.yaml.lock
  11. +1 −81 static/help-docs/authors.md
  12. +3 −0 static/help-docs/users.md
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -15,7 +15,7 @@ jobs:
name: Build server
# Note that this must be kept in sync with the version of Ubuntu which the
# Pursit server is running, otherwise the server binary may fail to run.
runs-on: ubuntu-18.04
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2

@@ -60,7 +60,7 @@ jobs:
name: Release
# Note that this must be kept in sync with the version of Ubuntu which the
# Pursit server is running, otherwise the server binary may fail to run.
runs-on: ubuntu-18.04
runs-on: ubuntu-latest
if: github.event_name == 'release'
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
30 changes: 30 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -5,6 +5,36 @@ the most up-to-date version of this file.

## Unreleased

## v0.9.9

- Update pursuit.service to 3.5GB max memory (@thomashoneyman)

## v0.9.8

- Update PureScript to `0.15.10` (@JordanMartinez)

## v0.9.7

- Update Pursuit version in `pursuit.cabal` (@JordanMartinez)

The previous release still indicates `v0.9.4`

## v0.9.6

- Update `purescript` to `0.15.8` (support dark theme) (@JordanMartinez)
- Update documentation uploading instructions (@JordanMartinez)
- Bump CI's Ubuntu version to `latest` (@JordanMartinez)

## v0.9.5

Due to an Ubuntu brownout, CI did not build this release properly.

## v0.9.4

- Fix license generation (@JordanMartinez)

- Update `purescript` to `0.15.6` (@JordanMartinez)

## v0.9.3

- Fix license generation (@andys8)
Loading