Skip to content

Actions: JobPetrovcic/agda

Actions

Build, Test, and Benchmark

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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