Skip to content

Actions: JobPetrovcic/agda

Actions

User Manual

Actions

Loading...

Show workflow options

Create status badge

user_manual.yml
17 workflow runs
17 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
reverted changes User Manual #17: Commit dc4c48a pushed by JobPetrovcic
April 13, 2024 17:56 1m 6s release-2.6.4.3-base
release-2.6.4.3-base
April 13, 2024 17:56 1m 6s
Fix #7113: solve instance constraints before with-abstraction (#7122) User Manual #16: Commit b430f9d pushed by JobPetrovcic
April 12, 2024 14:53 1m 8s master
master
April 12, 2024 14:53 1m 8s
Update copyright range to 2024, add doc/release-notes/2.6.4.1.md User Manual #15: Commit 4529c73 pushed by JobPetrovcic
April 12, 2024 14:40 1m 6s master
master
April 12, 2024 14:40 1m 6s
merged User Manual #14: Commit c4dc654 pushed by JobPetrovcic
April 12, 2024 14:25 1m 7s master
master
April 12, 2024 14:25 1m 7s
merged User Manual #13: Commit 16629c1 pushed by JobPetrovcic
April 12, 2024 14:14 3m 51s master
master
April 12, 2024 14:14 3m 51s
merged User Manual #12: Commit 154221e pushed by JobPetrovcic
April 12, 2024 14:00 3m 10s master
master
April 12, 2024 14:00 3m 10s
merged User Manual #11: Commit 71db204 pushed by JobPetrovcic
April 12, 2024 13:48 3m 9s master
master
April 12, 2024 13:48 3m 9s
merged User Manual #10: Commit e733410 pushed by JobPetrovcic
April 12, 2024 13:24 1m 14s master
master
April 12, 2024 13:24 1m 14s
merged User Manual #9: Commit c14b9af pushed by JobPetrovcic
April 12, 2024 12:50 1m 20s master
master
April 12, 2024 12:50 1m 20s
Fix #6729: clear loneSigs before inferring mutual blocks in an opaque… User Manual #8: Commit 3b26a97 pushed by JobPetrovcic
April 12, 2024 06:56 1m 15s master
master
April 12, 2024 06:56 1m 15s
Saving merge: Add pointer equality check to certain places (#6477) User Manual #7: Commit 0d1f6f0 pushed by JobPetrovcic
April 12, 2024 06:33 1m 17s master
master
April 12, 2024 06:33 1m 17s
merged User Manual #6: Commit 084dad7 pushed by JobPetrovcic
April 10, 2024 19:54 1m 8s master
master
April 10, 2024 19:54 1m 8s
merged User Manual #5: Commit e354ffc pushed by JobPetrovcic
April 10, 2024 19:14 6m 8s master
master
April 10, 2024 19:14 6m 8s
merged User Manual #4: Commit 1bfb3fe pushed by JobPetrovcic
April 10, 2024 18:53 4m 52s master
master
April 10, 2024 18:53 4m 52s
Working version save User Manual #3: Commit e813140 pushed by JobPetrovcic
April 10, 2024 13:29 1m 18s master
master
April 10, 2024 13:29 1m 18s
Merge remote-tracking branch 'sexp/release-2.6.3-sexp' User Manual #2: Commit dc0d8a3 pushed by JobPetrovcic
April 6, 2024 18:43 2m 51s master
master
April 6, 2024 18:43 2m 51s
Merge remote-tracking branch 'agda-original/master' into release-2.6.… User Manual #1: Commit 1633282 pushed by JobPetrovcic
April 1, 2024 11:45 2m 42s release-2.6.3-sexp
release-2.6.3-sexp
April 1, 2024 11:45 2m 42s