Skip to content

Actions: JobPetrovcic/agda

Actions

Build (cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reverted change Build (cabal) #27: Commit 3ccc33e pushed by JobPetrovcic
April 13, 2024 18:14 15m 42s release-2.6.4.3-base
release-2.6.4.3-base
April 13, 2024 18:14 15m 42s
reverted changes Build (cabal) #26: Commit dc4c48a pushed by JobPetrovcic
April 13, 2024 17:56 16m 38s release-2.6.4.3-base
release-2.6.4.3-base
April 13, 2024 17:56 16m 38s
Fix #7113: solve instance constraints before with-abstraction (#7122) Build (cabal) #25: Commit b430f9d pushed by JobPetrovcic
April 12, 2024 14:53 22m 9s master
master
April 12, 2024 14:53 22m 9s
Update copyright range to 2024, add doc/release-notes/2.6.4.1.md Build (cabal) #24: Commit 4529c73 pushed by JobPetrovcic
April 12, 2024 14:40 14m 4s master
master
April 12, 2024 14:40 14m 4s
merged Build (cabal) #23: Commit c4dc654 pushed by JobPetrovcic
April 12, 2024 14:25 15m 23s master
master
April 12, 2024 14:25 15m 23s
merged Build (cabal) #22: Commit 16629c1 pushed by JobPetrovcic
April 12, 2024 14:14 13m 12s master
master
April 12, 2024 14:14 13m 12s
merged Build (cabal) #21: Commit 154221e pushed by JobPetrovcic
April 12, 2024 14:00 14m 11s master
master
April 12, 2024 14:00 14m 11s
merged Build (cabal) #20: Commit 71db204 pushed by JobPetrovcic
April 12, 2024 13:48 12m 50s master
master
April 12, 2024 13:48 12m 50s
merged Build (cabal) #19: Commit e733410 pushed by JobPetrovcic
April 12, 2024 13:24 15m 57s master
master
April 12, 2024 13:24 15m 57s
Bump stack-*.yaml to latest resolvers Build (cabal) #18: Commit 69e3a67 pushed by JobPetrovcic
April 12, 2024 13:05 15m 17s master
master
April 12, 2024 13:05 15m 17s
merged Build (cabal) #17: Commit c14b9af pushed by JobPetrovcic
April 12, 2024 12:50 14m 14s master
master
April 12, 2024 12:50 14m 14s
merged Build (cabal) #16: Commit b827a2f pushed by JobPetrovcic
April 12, 2024 07:22 14m 4s master
master
April 12, 2024 07:22 14m 4s
Fix #6729: clear loneSigs before inferring mutual blocks in an opaque… Build (cabal) #15: Commit 3b26a97 pushed by JobPetrovcic
April 12, 2024 06:56 25m 54s master
master
April 12, 2024 06:56 25m 54s
forgot a file Build (cabal) #14: Commit 02e7638 pushed by JobPetrovcic
April 12, 2024 06:36 20m 46s master
master
April 12, 2024 06:36 20m 46s
Saving merge: Add pointer equality check to certain places (#6477) Build (cabal) #13: Commit 0d1f6f0 pushed by JobPetrovcic
April 12, 2024 06:33 4m 38s master
master
April 12, 2024 06:33 4m 38s
merged Build (cabal) #12: Commit 084dad7 pushed by JobPetrovcic
April 10, 2024 19:54 20m 29s master
master
April 10, 2024 19:54 20m 29s
merged Build (cabal) #11: Commit e354ffc pushed by JobPetrovcic
April 10, 2024 19:14 22m 56s master
master
April 10, 2024 19:14 22m 56s
merged Build (cabal) #10: Commit 7abccf9 pushed by JobPetrovcic
April 10, 2024 19:14 5m 59s master
master
April 10, 2024 19:14 5m 59s
[ workflows ] cabal-install: drop matrix and setup action Build (cabal) #9: Commit 1a4106f pushed by JobPetrovcic
April 10, 2024 19:13 6m 33s master
master
April 10, 2024 19:13 6m 33s
merged Build (cabal) #8: Commit 1bfb3fe pushed by JobPetrovcic
April 10, 2024 18:53 16m 4s master
master
April 10, 2024 18:53 16m 4s
Working version save Build (cabal) #7: Commit e813140 pushed by JobPetrovcic
April 10, 2024 13:29 25m 14s master
master
April 10, 2024 13:29 25m 14s
save Build (cabal) #6: Commit 055f17c pushed by JobPetrovcic
April 7, 2024 05:29 14m 39s master
master
April 7, 2024 05:29 14m 39s
Merge remote-tracking branch 'sexp/release-2.6.3-sexp' Build (cabal) #5: Commit dc0d8a3 pushed by JobPetrovcic
April 6, 2024 18:43 7m 14s master
master
April 6, 2024 18:43 7m 14s
bugfix Build (cabal) #4: Commit 41e30e5 pushed by JobPetrovcic
April 6, 2024 07:08 12m 32s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 07:08 12m 32s
testing .cabal change Build (cabal) #3: Commit b1eb385 pushed by JobPetrovcic
April 6, 2024 06:56 2m 11s release-2.6.3-sexp
release-2.6.3-sexp
April 6, 2024 06:56 2m 11s