Skip to content

Issues: wenkokke/setup-agda

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

16 Open 62 Closed
16 Open 62 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Generate workflows from data files
#202 opened Dec 14, 2023 by wenkokke
Reduce the number of macOS and Windows runners
#188 opened Jun 13, 2023 by wenkokke
Distribute agdaup via Chocolatey agdaup
#180 opened Mar 14, 2023 by wenkokke
Distribute agdaup via Homebrew agdaup
#179 opened Mar 14, 2023 by wenkokke
Change install command to create empty libraries file etc agdaup
#178 opened Mar 14, 2023 by wenkokke agdaup
Change set command to link libraries file etc agdaup
#177 opened Mar 14, 2023 by wenkokke agdaup
Add command to register libraries etc agdaup
#176 opened Mar 14, 2023 by wenkokke agdaup
2
Create release workflow agdaup github_actions Pull requests that update GitHub Actions code
#175 opened Mar 14, 2023 by wenkokke agdaup
Change library install path agdaup bug Something isn't working
#174 opened Mar 14, 2023 by wenkokke agdaup
Create init command agdaup good first issue Good for newcomers help wanted Extra attention is needed
#173 opened Mar 14, 2023 by wenkokke agdaup
The build-latest workflow should build binaries for every supported runner enhancement New feature or request github_actions Pull requests that update GitHub Actions code
#169 opened Feb 4, 2023 by wenkokke
Error in use of @actions/cache
#168 opened Feb 4, 2023 by wenkokke
Add checksums and signatures for binaries
#121 opened Dec 12, 2022 by wenkokke
1
Test agda-stdlib compatibility enhancement New feature or request
#98 opened Nov 16, 2022 by wenkokke
Add test for building with stack-setup-ghc, stack-no-global, and combinations thereof build:stack enhancement New feature or request
#42 opened Oct 19, 2022 by wenkokke
Upstream to agda/actions/setup question Further information is requested
#32 opened Oct 15, 2022 by wenkokke
12
ProTip! Adding no:label will show everything without a label.