Skip to content

Actions: input-output-hk/iog-agda-prelude

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from input-output-hk/javierdiaz72/sts-reverse-rtc CI #23: Commit 600f267 pushed by javierdiaz72
January 8, 2025 13:22 8m 23s main
main
January 8, 2025 13:22 8m 23s
Merge pull request #5 from input-output-hk/javierdiaz72/assoclist-pro… CI #22: Commit 05af08c pushed by javierdiaz72
January 7, 2025 20:59 8m 1s main
main
January 7, 2025 20:59 8m 1s
Add properties of ‼ and ⁉ to AssocList CI #21: Pull request #5 synchronize by WhatisRT
January 7, 2025 14:30 8m 20s javierdiaz72/assoclist-properties
javierdiaz72/assoclist-properties
January 7, 2025 14:30 8m 20s
Add reverse reflexive-transitive closure to STS CI #20: Pull request #6 synchronize by javierdiaz72
January 6, 2025 12:37 8m 14s javierdiaz72/sts-reverse-rtc
javierdiaz72/sts-reverse-rtc
January 6, 2025 12:37 8m 14s
Add reverse reflexive-transitive closure to STS CI #19: Pull request #6 opened by javierdiaz72
January 6, 2025 12:34 8m 18s javierdiaz72/sts-reverse-rtc
javierdiaz72/sts-reverse-rtc
January 6, 2025 12:34 8m 18s
Add properties of ‼ and ⁉ to AssocList CI #18: Pull request #5 opened by javierdiaz72
January 5, 2025 22:20 8m 23s javierdiaz72/assoclist-properties
javierdiaz72/assoclist-properties
January 5, 2025 22:20 8m 23s
Add ∃₂ CI #17: Commit e4f83fa pushed by WhatisRT
December 9, 2024 12:34 8m 6s main
main
December 9, 2024 12:34 8m 6s
Upstream Computational, slightly generalizing it CI #16: Commit ee289f9 pushed by WhatisRT
November 19, 2024 14:02 8m 21s main
main
November 19, 2024 14:02 8m 21s
Use Type instead of Set CI #15: Commit 55a0485 pushed by WhatisRT
November 6, 2024 16:15 8m 30s main
main
November 6, 2024 16:15 8m 30s
Add non-dependent function updating CI #14: Pull request #4 synchronize by javierdiaz72
November 6, 2024 16:05 8m 29s javierdiaz72/function-update
javierdiaz72/function-update
November 6, 2024 16:05 8m 29s
Add non-dependent function updating CI #13: Pull request #4 opened by javierdiaz72
November 6, 2024 16:01 9m 0s javierdiaz72/function-update
javierdiaz72/function-update
November 6, 2024 16:01 9m 0s
Remove --erasure, add --safe CI #12: Commit 75e421f pushed by WhatisRT
October 31, 2024 13:40 8m 14s main
main
October 31, 2024 13:40 8m 14s
Update .gitignore CI #11: Commit cd87ee0 pushed by WhatisRT
October 15, 2024 15:56 8m 11s main
main
October 15, 2024 15:56 8m 11s
Upstream Hashable CI #10: Pull request #3 synchronize by WhatisRT
October 15, 2024 15:44 8m 7s upstream-hashable
upstream-hashable
October 15, 2024 15:44 8m 7s
Upstream Hashable CI #9: Pull request #3 synchronize by WhatisRT
October 15, 2024 15:44 8m 4s upstream-hashable
upstream-hashable
October 15, 2024 15:44 8m 4s
Upstream Hashable CI #8: Pull request #3 synchronize by WhatisRT
October 15, 2024 15:24 8m 12s upstream-hashable
upstream-hashable
October 15, 2024 15:24 8m 12s
Introduce a dependency on stdlib-classes CI #7: Commit 80bf29d pushed by WhatisRT
October 15, 2024 15:23 8m 16s main
main
October 15, 2024 15:23 8m 16s
Upstream Hashable CI #6: Pull request #3 opened by WhatisRT
October 11, 2024 15:51 7m 59s upstream-hashable
upstream-hashable
October 11, 2024 15:51 7m 59s
Introduce a dependency on stdlib-classes CI #5: Pull request #2 synchronize by WhatisRT
October 11, 2024 15:07 8m 26s depend-on-classes
depend-on-classes
October 11, 2024 15:07 8m 26s
Introduce a dependency on stdlib-classes CI #4: Pull request #2 synchronize by WhatisRT
October 11, 2024 15:06 14s depend-on-classes
depend-on-classes
October 11, 2024 15:06 14s
Introduce a dependency on stdlib-classes CI #3: Pull request #2 opened by WhatisRT
October 11, 2024 15:05 20s depend-on-classes
depend-on-classes
October 11, 2024 15:05 20s
Merge pull request #1 from input-output-hk/bwbush/ci CI #2: Commit 28198db pushed by bwbush
August 9, 2024 13:05 8m 16s main
main
August 9, 2024 13:05 8m 16s
Created CI for typechecking library. CI #1: Pull request #1 opened by bwbush
August 9, 2024 12:56 8m 6s bwbush/ci
bwbush/ci
August 9, 2024 12:56 8m 6s