issues
search
wenkokke
/
setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Other
26
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Test release v2.4.0
#220
wenkokke
closed
1 month ago
0
Runner macOS-11 was deprecated
#219
wenkokke
closed
1 month ago
1
Support Agda v2.7.0
#218
wenkokke
closed
1 month ago
0
Problem with version of `base`
#217
tomaz1502
closed
2 months ago
5
Only use Ubuntu 20.04 (Focal) builds for Ubuntu
#216
wenkokke
closed
5 months ago
0
Only serve binaries for macOS 11
#215
wenkokke
closed
5 months ago
0
Fix SHA256 for patched binary distributions & clean up commented-out …
#214
wenkokke
closed
5 months ago
0
Bump setup-haskell v2.5.1 -> v2.7.0
#213
wenkokke
closed
5 months ago
0
[pre-commit.ci] pre-commit autoupdate
#212
pre-commit-ci[bot]
closed
6 months ago
0
Add v2.6.4.3
#211
wenkokke
closed
5 months ago
2
Fix cabal-plan
#210
wenkokke
closed
7 months ago
0
Support agda-stdlib 2.0
#209
andreasabel
closed
8 months ago
1
Add agda-stdlib-2.0; extend some GHC compatibility ranges
#208
andreasabel
closed
8 months ago
1
Support agda-stdlib v2.0
#207
wenkokke
closed
8 months ago
0
Error: Unknown Agda version '2.6.4', but it could be because 'std-lib-version: 2.0'
#206
andreasabel
closed
8 months ago
7
Anything blocking a release supporting Agda 2.6.4.1 ?
#205
andreasabel
closed
8 months ago
1
[pre-commit.ci] pre-commit autoupdate
#204
pre-commit-ci[bot]
closed
9 months ago
0
Bump github/codeql-action from 2 to 3
#203
dependabot[bot]
closed
9 months ago
0
Generate workflows from data files
#202
wenkokke
opened
9 months ago
0
Add support for stdlib-2.0.
#201
patrikja
closed
8 months ago
2
Add Agda v2.6.4.1
#200
wenkokke
closed
10 months ago
0
[pre-commit.ci] pre-commit autoupdate
#199
pre-commit-ci[bot]
closed
9 months ago
0
[pre-commit.ci] pre-commit autoupdate
#198
pre-commit-ci[bot]
closed
10 months ago
0
Switch to new setup-haskell repository and version
#197
wenkokke
closed
11 months ago
0
Package Agda 2.6.4
#196
andreasabel
closed
11 months ago
2
[pre-commit.ci] pre-commit autoupdate
#195
pre-commit-ci[bot]
closed
12 months ago
0
Bump actions/checkout from 3 to 4
#194
dependabot[bot]
closed
11 months ago
1
[pre-commit.ci] pre-commit autoupdate
#193
pre-commit-ci[bot]
closed
1 year ago
0
[pre-commit.ci] pre-commit autoupdate
#192
pre-commit-ci[bot]
closed
1 year ago
0
[pre-commit.ci] pre-commit autoupdate
#191
pre-commit-ci[bot]
closed
1 year ago
0
[pre-commit.ci] pre-commit autoupdate
#190
pre-commit-ci[bot]
closed
1 year ago
0
Bump wenkokke/setup-agda from 2.0.0 to 2.0.1
#189
dependabot[bot]
closed
1 year ago
1
Reduce the number of macOS and Windows runners
#188
wenkokke
opened
1 year ago
0
Bump NPM dependencies
#187
wenkokke
closed
1 year ago
0
Fix #183
#186
wenkokke
closed
1 year ago
0
Bump haskell/actions/setup v2.0.4 -> v2.4.3
#185
wenkokke
closed
1 year ago
0
Fix cabal-plan install
#184
wenkokke
closed
1 year ago
0
`outputs.agda-version` is empty
#183
andreasabel
closed
1 year ago
3
[pre-commit.ci] pre-commit autoupdate
#182
pre-commit-ci[bot]
closed
1 year ago
0
Installation of `cabal-plan` fails with default runner Cabal and GHC
#181
wenkokke
closed
1 year ago
0
Distribute `agdaup` via Chocolatey
#180
wenkokke
opened
1 year ago
0
Distribute `agdaup` via Homebrew
#179
wenkokke
opened
1 year ago
0
Change install command to create empty libraries file etc
#178
wenkokke
opened
1 year ago
0
Change set command to link libraries file etc
#177
wenkokke
opened
1 year ago
0
Add command to register libraries etc
#176
wenkokke
opened
1 year ago
2
Create release workflow
#175
wenkokke
opened
1 year ago
0
Change library install path
#174
wenkokke
opened
1 year ago
0
Create init command
#173
wenkokke
opened
1 year ago
0
[pre-commit.ci] pre-commit autoupdate
#172
pre-commit-ci[bot]
closed
1 year ago
0
Update build-latest.yml
#171
wenkokke
closed
1 year ago
0
Next