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

Mimer refactor (#7922) Build (stack) #4990: Commit 26a49d9 pushed by andreasabel
July 6, 2025 07:16 11m 26s master
master
July 6, 2025 07:16 11m 26s
Allow QuickCheck-2.16 Build (stack) #4989: Commit a8015be pushed by andreasabel
July 6, 2025 06:26 11m 47s master
master
July 6, 2025 06:26 11m 47s
Mimer refactor Build (stack) #4988: Pull request #7922 synchronize by andreasabel
July 6, 2025 06:09 12m 55s mimer-overhaul
mimer-overhaul
July 6, 2025 06:09 12m 55s
Drop GHC 9.0 and below and bump dependencies to LTS 20.26 Build (stack) #4987: Commit 3c317fb pushed by andreasabel
July 6, 2025 05:19 12m 59s master
master
July 6, 2025 05:19 12m 59s
Drop GHC 9.0 and below and bump dependencies to LTS 20.26 Build (stack) #4986: Pull request #7908 synchronize by andreasabel
July 5, 2025 21:42 16m 30s drop-ghc-8
drop-ghc-8
July 5, 2025 21:42 16m 30s
New empty CHANGELOG for 2.9.0 Build (stack) #4985: Commit f2c1e52 pushed by andreasabel
July 5, 2025 21:24 26m 15s master
master
July 5, 2025 21:24 26m 15s
release 2.8.0 candidate Build (stack) #4984: Pull request #7875 synchronize by andreasabel
July 5, 2025 19:53 52s release-2.8.0-candidate
release-2.8.0-candidate
July 5, 2025 19:53 52s
release 2.8.0 candidate Build (stack) #4983: Pull request #7875 synchronize by andreasabel
July 5, 2025 19:50 14m 29s release-2.8.0-candidate
release-2.8.0-candidate
July 5, 2025 19:50 14m 29s
release 2.8.0 Build (stack) #4982: Pull request #7874 synchronize by andreasabel
July 5, 2025 17:53 52m 15s release-2.8.0
release-2.8.0
July 5, 2025 17:53 52m 15s
Agda.cabal: replace -Werror by -Wwarn Build (stack) #4981: Commit 0a38702 pushed by andreasabel
July 5, 2025 17:53 43m 35s release-2.8.0
release-2.8.0
July 5, 2025 17:53 43m 35s
release 2.8.0 candidate Build (stack) #4980: Pull request #7875 synchronize by andreasabel
July 5, 2025 17:48 43m 51s release-2.8.0-candidate
release-2.8.0-candidate
July 5, 2025 17:48 43m 51s
Agda.cabal: remove test-suite Build (stack) #4979: Commit e828bc3 pushed by andreasabel
July 5, 2025 17:46 37m 41s release-2.8.0-candidate
release-2.8.0-candidate
July 5, 2025 17:46 37m 41s
Re #7982: document in CHANGELOG: unused-arg optimization removed from JS Build (stack) #4978: Commit 054b809 pushed by andreasabel
July 5, 2025 17:44 26m 52s release-2.8.0-base
release-2.8.0-base
July 5, 2025 17:44 26m 52s
Fix format of description of flag use-xdg-data-home Build (stack) #4977: Commit a949b97 pushed by andreasabel
July 3, 2025 13:14 44m 25s master
master
July 3, 2025 13:14 44m 25s
Fix #7973: print warning if rewrite does not fire Build (stack) #4976: Pull request #7978 opened by andreasabel
July 3, 2025 13:13 18m 9s with-no-abs
with-no-abs
July 3, 2025 13:13 18m 9s
release 2.8.0 candidate Build (stack) #4975: Pull request #7875 synchronize by andreasabel
July 1, 2025 16:01 34m 4s release-2.8.0-candidate
release-2.8.0-candidate
July 1, 2025 16:01 34m 4s
Agda.cabal: remove test-suite Build (stack) #4974: Commit b047cfc pushed by andreasabel
July 1, 2025 16:01 16m 46s release-2.8.0-candidate
release-2.8.0-candidate
July 1, 2025 16:01 16m 46s
release 2.8.0 Build (stack) #4973: Pull request #7874 synchronize by andreasabel
July 1, 2025 14:37 41m 44s release-2.8.0
release-2.8.0
July 1, 2025 14:37 41m 44s
Change version from 2.8.0 to 2.7.20250701 Build (stack) #4972: Commit 15fa89f pushed by andreasabel
July 1, 2025 14:37 35m 1s release-2.8.0
release-2.8.0
July 1, 2025 14:37 35m 1s
Bump stack*.yaml to latest Build (stack) #4971: Commit 4e4a86e pushed by andreasabel
July 1, 2025 14:36 31m 9s release-2.8.0-base
release-2.8.0-base
July 1, 2025 14:36 31m 9s
Bump stack*.yaml to latest Build (stack) #4970: Commit 4e4a86e pushed by andreasabel
July 1, 2025 14:35 14m 41s master
master
July 1, 2025 14:35 14m 41s
[workflows] run agda after building it (cabal & stack) Build (stack) #4969: Commit 3c9fd23 pushed by andreasabel
July 1, 2025 14:18 19m 1s release-2.8.0-base
release-2.8.0-base
July 1, 2025 14:18 19m 1s
[workflows] run agda after building it (cabal & stack) Build (stack) #4968: Commit 3c9fd23 pushed by andreasabel
July 1, 2025 14:11 13m 31s master
master
July 1, 2025 14:11 13m 31s
[workflows] run agda after building it (cabal & stack) Build (stack) #4967: Pull request #7974 synchronize by andreasabel
July 1, 2025 10:55 23m 41s ci-run-agda
ci-run-agda
July 1, 2025 10:55 23m 41s
[workflows] run agda after building it (cabal & stack) Build (stack) #4966: Commit 3c9fd23 pushed by andreasabel
July 1, 2025 10:55 22m 34s ci-run-agda
ci-run-agda
July 1, 2025 10:55 22m 34s
0