8000 Build (stack) · Workflow runs · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda

Actions

Build (stack)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

10000
Embed data files into Agda binary Build (stack) #4865: Pull request #7719 opened by andreasabel
February 21, 2025 15:48 17m 49s file-embed
file-embed
February 21, 2025 15:48 17m 49s
Issue #7714: New cabal flag -f Werror to control -Werror Build (stack) #4864: Pull request #7718 opened by andreasabel
February 20, 2025 13:49 19m 13s Werror
Werror
February 20, 2025 13:49 19m 13s
WIP: make agda-tests into its own package Build (stack) #4863: Pull request #7717 opened by andreasabel
February 20, 2025 12:52 28m 18s split-off-tests
split-off-tests
February 20, 2025 12:52 28m 18s
[workflows] silence unjustified shellcheck warnings Build (stack) #4862: Commit 115e9e9 pushed by andreasabel
February 5, 2025 13:44 11m 58s master
master
February 5, 2025 13:44 11m 58s
make toTerm return a monadic function Build (stack) #4861: Commit 7fd07d8 pushed by UlfNorell
February 5, 2025 09:14 19m 14s master
master
February 5, 2025 09:14 19m 14s
Remove custom Setup.hs Build (stack) #4860: Pull request #7699 synchronize by andreasabel
February 1, 2025 18:13 15m 4s no-setup
no-setup
February 1, 2025 18:13 15m 4s
Remove custom Setup.hs Build (stack) #4859: Pull request #7699 synchronize by andreasabel
February 1, 2025 16:58 14m 38s no-setup
no-setup
February 1, 2025 16:58 14m 38s
Remove custom Setup.hs Build (stack) #4858: Pull request #7699 opened by andreasabel
February 1, 2025 11:26 18m 8s no-setup
no-setup
February 1, 2025 11:26 18m 8s
New main mode --build-library Build (stack) #4857: Pull request #7682 synchronize by andreasabel
January 31, 2025 18:12 21m 24s issue-4338
issue-4338
January 31, 2025 18:12 21m 24s
Make toTerm return a monadic function Build (stack) #4856: Pull request #7687 synchronize by UlfNorell
January 30, 2025 16:07 21m 54s monadic-toTerm
monadic-toTerm
January 30, 2025 16:07 21m 54s
add dump-core cabal flag Build (stack) #4855: Commit fa2d522 pushed by UlfNorell
January 22, 2025 18:09 17m 14s master
master
January 22, 2025 18:09 17m 14s
Make toTerm return a monadic function Build (stack) #4854: Pull request #7687 opened by UlfNorell
January 22, 2025 12:05 12m 45s monadic-toTerm
monadic-toTerm
January 22, 2025 12:05 12m 45s
Add dump-core cabal flag Build (stack) #4853: Pull request #7685 opened by UlfNorell
January 22, 2025 10:22 17m 3s dump-core
dump-core
January 22, 2025 10:22 17m 3s
New main mode --build-library Build (stack) #4852: Pull request #7682 synchronize by andreasabel
January 21, 2025 20:52 17m 21s issue-4338
issue-4338
January 21, 2025 20:52 17m 21s
New main mode --build-library Build (stack) #4851: Pull request #7682 opened by andreasabel
January 19, 2025 17:34 12m 7s issue-4338
issue-4338
January 19, 2025 17:34 12m 7s
[refactor] move findWithInfo to Agda.Utils.IO.Directory Build (stack) #4850: Commit 5c29109 pushed by andreasabel
January 19, 2025 17:01 20m 25s master
master
January 19, 2025 17:01 20m 25s
Missing golden files for #7403; various refactorings Build (stack) #4849: Pull request #7681 synchronize by andreasabel
January 19, 2025 07:26 19m 35s build-library
build-library
January 19, 2025 07:26 19m 35s
Setup: fix wantInterfaces check Build (stack) #4848: Commit 3344ca8 pushed by andreasabel
January 7, 2025 17:24 15m 15s master
master
January 7, 2025 17:24 15m 15s
Setup: fix wantInterfaces check Build (stack) #4847: Pull request #7677 opened by ncfavier
January 7, 2025 15:30 11m 22s fix-want-interfaces
fix-want-interfaces
January 7, 2025 15:30 11m 22s
CI: Bump GHC 9.8.2 to 9.8.4, bump stack*.yaml Build (stack) #4846: Commit 6fe4240 pushed by andreasabel
January 2, 2025 17:34 19m 51s master
master
January 2, 2025 17:34 19m 51s
CI: Bump GHC 9.8.2 to 9.8.4, bump stack*.yaml Build (stack) #4845: Pull request #7671 synchronize by andreasabel
January 2, 2025 14:56 24m 19s ghc-9.8.4
ghc-9.8.4
January 2, 2025 14:56 24m 19s
CI: Bump GHC 9.8.2 to 9.8.4, bump stack*.yaml Build (stack) #4844: Pull request #7671 synchronize by andreasabel
January 2, 2025 13:50 11m 36s ghc-9.8.4
ghc-9.8.4
January 2, 2025 13:50 11m 36s
CI: Bump GHC 9.8.2 to 9.8.4, bump stack*.yaml Build (stack) #4843: Pull request #7671 opened by andreasabel
January 2, 2025 13:33 17m 23s ghc-9.8.4
ghc-9.8.4
January 2, 2025 13:33 17m 23s
source to module Build (stack) #4842: Pull request #7611 synchronize by andreasabel
December 23, 2024 07:47 12m 51s source-to-module
source-to-module
December 23, 2024 07:47 12m 51s
source to module Build (stack) #4841: Pull request #7611 synchronize by andreasabel
December 20, 2024 16:04 21m 29s source-to-module
source-to-module
December 20, 2024 16:04 21m 29s
0