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 /div>
Agda.cabal: remove test-suite Build (stack) #4915: Commit b89aacf pushed by andreasabel
May 10, 2025 14:36 47m 52s release-2.8.0-candidate
release-2.8.0-candidate
May 10, 2025 14:36 47m 52s
release 2.8.0 Build (stack) #4914: Pull request #7874 synchronize by andreasabel
May 10, 2025 14:34 42m 43s release-2.8.0
release-2.8.0
May 10, 2025 14:34 42m 43s
Agda.cabal: replace -Werror by -Wwarn Build (stack) #4913: Commit 024b16b pushed by andreasabel
May 10, 2025 14:34 34m 16s release-2.8.0
release-2.8.0
May 10, 2025 14:34 34m 16s
release 2.8.0 candidate Build (stack) #4912: Pull request #7875 opened by andreasabel
May 10, 2025 13:40 26m 13s release-2.8.0-candidate
release-2.8.0-candidate
May 10, 2025 13:40 26m 13s
Agda.cabal: remove test-suite Build (stack) #4911: Commit e9b9018 pushed by andreasabel
May 10, 2025 13:40 38m 22s release-2.8.0-candidate
release-2.8.0-candidate
May 10, 2025 13:40 38m 22s
release 2.8.0 Build (stack) #4910: Pull request #7874 synchronize by andreasabel
May 10, 2025 13:38 28m 36s release-2.8.0
release-2.8.0
May 10, 2025 13:38 28m 36s
release 2.8.0 Build (stack) #4909: Pull request #7874 opened by andreasabel
May 10, 2025 12:55 29m 37s release-2.8.0
release-2.8.0
May 10, 2025 12:55 29m 37s
Agda.cabal: remove test-suite Build (stack) #4908: Commit 948f2ae pushed by andreasabel
May 10, 2025 12:55 22m 47s release-2.8.0
release-2.8.0
May 10, 2025 12:55 22m 47s
Update copyright year and contributors Build (stack) #4907: Commit edefac2 pushed by andreasabel
May 10, 2025 12:42 16m 0s master
master
May 10, 2025 12:42 16m 0s
Changelog for 2.8.0 Build (stack) #4906: Pull request #7873 opened by andreasabel
May 10, 2025 11:40 11m 14s changelog
changelog
May 10, 2025 11:40 11m 14s
Add release notes for 2.7.0.1 Build (stack) #4905: Commit e2bcb8a pushed by andreasabel
May 9, 2025 06:00 23m 33s master
master
May 9, 2025 06:00 23m 33s
Bump CI to GHC 9.6.7 and 9.10.2 Build (stack) #4904: Pull request #7868 synchronize by andreasabel
May 9, 2025 05:01 14m 44s ghc-9.6.7
ghc-9.6.7
May 9, 2025 05:01 14m 44s
Bump CI to GHC 9.6.7 and 9.10.2 Build (stack) #4903: Pull request #7868 opened by andreasabel
May 9, 2025 04:44 14m 44s ghc-9.6.7
ghc-9.6.7
May 9, 2025 04:44 14m 44s
Makefile: make install is now user goal Build (stack) #4902: Commit 798a510 pushed by andreasabel
May 3, 2025 05:05 15m 0s master
master
May 3, 2025 05:05 15m 0s
make install Build (stack) #4901: Pull request #7841 synchronize by andreasabel
May 2, 2025 18:28 11m 45s make-install
make-install
May 2, 2025 18:28 11m 45s
make install Build (stack) #4900: Pull request #7841 opened by andreasabel
May 1, 2025 10:27 16m 19s make-install
make-install
May 1, 2025 10:27 16m 19s
New main mode --build-library (#7682) Build (stack) #4899: Commit 4930018 pushed by andreasabel
April 24, 2025 17:01 22m 58s master
master
April 24, 2025 17:01 22m 58s
New main mode --build-library Build (stack) #4898: Pull request #7682 synchronize by UlfNorell
April 23, 2025 08:46 25m 37s issue-4338
issue-4338
April 23, 2025 08:46 25m 37s
New main mode --build-library Build (stack) #4897: Pull request #7682 synchronize by UlfNorell
April 23, 2025 08:44 3m 25s issue-4338
issue-4338
April 23, 2025 08:44 3m 25s
New main mode --build-library Build (stack) #4896: Pull request #7682 synchronize by UlfNorell
April 23, 2025 08:42 5m 12s issue-4338
issue-4338
April 23, 2025 08:42 5m 12s
Running Agda on WASM Build (stack) #4895: Pull request #7561 synchronize by SquidDev
March 21, 2025 22:41 16m 31s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
March 21, 2025 22:41 16m 31s
Running Agda on WASM Build (stack) #4894: Pull request #7561 synchronize by SquidDev
March 21, 2025 22:25 22m 52s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
March 21, 2025 22:25 22m 52s
Support GHC 9.12.2 Build (stack) #4893: Commit 912d8d6 pushed by andreasabel
March 15, 2025 18:51 17m 43s master
master
March 15, 2025 18:51 17m 43s
Support GHC 9.12.2 Build (stack) #4892: Pull request #7750 synchronize by andreasabel
March 15, 2025 17:55 22m 20s ghc-9.12
ghc-9.12
March 15, 2025 17:55 22m 20s
Support GHC 9.12.2 Build (stack) #4891: Pull request #7750 synchronize by andreasabel
March 15, 2025 15:37 16m 51s ghc-9.12
ghc-9.12
March 15, 2025 15:37 16m 51s
0