Skip to content

Actions: JobPetrovcic/agda

Actions

Install (v2-cabal)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal-install.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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