wenkokke/setup-agda issues and pull requests

#191 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 1 year ago

#190 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] about 1 year ago

#189 - Bump wenkokke/setup-agda from 2.0.0 to 2.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, github_actions

#188 - Reduce the number of macOS and Windows runners

Issue - State: open - Opened by wenkokke over 1 year ago

#187 - Bump NPM dependencies

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#186 - Fix #183

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#185 - Bump haskell/actions/setup v2.0.4 -> v2.4.3

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#184 - Fix cabal-plan install

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#183 - `outputs.agda-version` is empty

Issue - State: closed - Opened by andreasabel over 1 year ago - 3 comments
Labels: bug

#182 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago

#181 - Installation of `cabal-plan` fails with default runner Cabal and GHC

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: bug

#180 - Distribute `agdaup` via Chocolatey

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: agdaup

#179 - Distribute `agdaup` via Homebrew

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: agdaup

#178 - Change install command to create empty libraries file etc

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: agdaup

#177 - Change set command to link libraries file etc

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: agdaup

#176 - Add command to register libraries etc

Issue - State: open - Opened by wenkokke over 1 year ago - 2 comments
Labels: agdaup

#175 - Create release workflow

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: github_actions, agdaup

#174 - Change library install path

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: bug, agdaup

#173 - Create init command

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: help wanted, good first issue, agdaup

#172 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] over 1 year ago

#171 - Update build-latest.yml

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#170 - The sample workflows should use a numbered version

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment
Labels: enhancement, github_actions

#169 - The build-latest workflow should build binaries for every supported runner

Issue - State: open - Opened by wenkokke over 1 year ago
Labels: enhancement, github_actions

#168 - Error in use of `@actions/cache`

Issue - State: open - Opened by wenkokke over 1 year ago

#167 - Ensure `~/.agda` exists when writing libraries and executables files

Issue - State: closed - Opened by wenkokke over 1 year ago

#166 - Binary distributions for macOS incorrectly bundle libicu

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment

#165 - Abstract over `@actions/core`

Issue - State: closed - Opened by wenkokke over 1 year ago

#164 - Replace `@actions/exec` and `@actions/io`

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment
Labels: enhancement, dependencies, agdaup

#163 - Replace `@actions/io`

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment

#162 - Replace `@action/tool-cache`

Issue - State: closed - Opened by wenkokke over 1 year ago - 2 comments

#161 - Move to haskell/actions

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#160 - Remove support for GHC version inference

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#159 - Remove inference of supported GHC versions

Issue - State: closed - Opened by wenkokke over 1 year ago - 1 comment
Labels: simplify

#158 - Input configuration

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#157 - Restructure util module

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#156 - Fix #154: Remove support for Stack

Pull Request - State: closed - Opened by wenkokke over 1 year ago

#155 - Remove support for automatic configuration

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: simplify

#154 - Remove support for building with Stack

Issue - State: closed - Opened by wenkokke over 1 year ago
Labels: build:stack, simplify

#153 - Bump version numbers and write changelog

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#152 - Bump @typescript-eslint/parser from 5.46.1 to 5.47.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#151 - Bump @typescript-eslint/parser from 5.46.1 to 5.47.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#150 - Upgrade haskell/actions/setup

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#149 - Fix #146: convert agda-stdlib compatibility to ranges

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#148 - Include GHC compatibility ranges in Agda.json

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#147 - Restructure data files

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#146 - Merge agda-stdlib compatibility information into semver ranges

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#145 - Towards agdaup

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#144 - Separate build and setup into their own namespaces

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#143 - Cannot build on macOS: path to icu-i18n.pc is incorrect

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#142 - Install cabal-plan before calling haskell/actions/setup

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#141 - Restrict builds with licenses to Ubuntu 20.04

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#140 - Build Agda latest in PRs

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#139 - Allow pre-build hook to call `cabal configure`

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#138 - Build binary distributions with licenses

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#137 - Fix: was reading defaults instead of executables

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#136 - Don't print configuration if it doesn't exist

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment

#135 - Refactor setup-agda to isolate @actions dependencies

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#134 - Fix writing licenses.txt

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#133 - Abstract Agda binary names & components out into data file

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#132 - Cache dependencies

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment
Labels: enhancement, build

#131 - Document & rename application directories

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#130 - Implement `bdist-license-report`

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#129 - Refactor setup-upx.ts

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#128 - Batch bump dependencies

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#127 - Bump @types/node from 18.11.13 to 18.11.17

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#126 - Bump eslint from 8.29.0 to 8.30.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#125 - Bump @typescript-eslint/parser from 5.46.0 to 5.46.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#124 - Bump @vercel/ncc from 0.34.0 to 0.36.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#123 - Bump prettier, typescript, @types/node, and eslint-plugin-github

Pull Request - State: closed - Opened by wenkokke almost 2 years ago
Labels: dependencies, javascript

#122 - Gather licenses for Haskell dependencies

Issue - State: closed - Opened by wenkokke almost 2 years ago - 8 comments
Labels: enhancement, license

#121 - Add checksums and signatures for binaries

Issue - State: open - Opened by wenkokke almost 2 years ago - 1 comment

#120 - Find additional server space for prebuilt Agda binaries

Issue - State: closed - Opened by wenkokke almost 2 years ago - 9 comments

#119 - Bump eslint-plugin-github from 4.4.1 to 4.6.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#118 - Bump @types/node from 18.11.10 to 18.11.13

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#117 - Bump typescript from 4.9.3 to 4.9.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#116 - Bump prettier from 2.8.0 to 2.8.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#115 - Bump @typescript-eslint/parser from 5.45.0 to 5.46.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#114 - Fix #110

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#113 - Bump @typescript-eslint/parser from 5.44.0 to 5.45.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#112 - Bump eslint from 8.28.0 to 8.29.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#111 - Bump @types/node from 18.11.9 to 18.11.10

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#110 - Fix environment variables in README template

Issue - State: closed - Opened by wenkokke almost 2 years ago
Labels: bug

#109 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] almost 2 years ago

#108 - Bump @typescript-eslint/parser from 5.43.0 to 5.44.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#107 - Bump @types/mustache from 4.2.1 to 4.2.2

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#106 - Bump prettier from 2.7.1 to 2.8.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#105 - Use `base` version constraint as a proxy for compatible GHC versions

Issue - State: closed - Opened by wenkokke almost 2 years ago - 2 comments
Labels: enhancement

#104 - Fix #99

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#103 - Add test using /bin/echo

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#102 - Add test for `agda-stdlib-default` and `agda-defaults`

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#101 - Bump eslint from 8.27.0 to 8.28.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, javascript

#100 - Bump typescript from 4.8.4 to 4.9.3

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#99 - Rewrite README as a jinja2 template over `action.yml`

Issue - State: closed - Opened by wenkokke almost 2 years ago

#98 - Test `agda-stdlib` compatibility

Issue - State: open - Opened by wenkokke almost 2 years ago
Labels: enhancement

#97 - Delete test-ipl.yml

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

#96 - Use GITHUB_TOKEN for downloads

Issue - State: closed - Opened by wenkokke almost 2 years ago

#95 - Add test for `agda-executables`

Issue - State: closed - Opened by wenkokke almost 2 years ago
Labels: enhancement

#94 - Add test for `agda-defaults`

Issue - State: closed - Opened by wenkokke almost 2 years ago - 1 comment
Labels: enhancement

#93 - Defaults breaks on versioned packages

Issue - State: closed - Opened by wenkokke almost 2 years ago
Labels: bug

#92 - Update dependabot.yml

Pull Request - State: closed - Opened by wenkokke almost 2 years ago

GitHub / wenkokke/setup-agda issues and pull requests