Skip to content

Actions: JobPetrovcic/agda

Actions

Build (stack)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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