Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,350 workflow runs
3,350 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix type for ≡-syntax in heterogeneous equality Check whitespace #745: Pull request #2494 synchronize by ruifengx
October 5, 2024 09:34 19s ruifengx:master
ruifengx:master
October 5, 2024 09:34 19s
Fix type for ≡-syntax in heterogeneous equality Ubuntu build #3775: Pull request #2494 synchronize by ruifengx
October 5, 2024 09:34 35m 46s ruifengx:master
ruifengx:master
October 5, 2024 09:34 35m 46s
Add (Is)DecPreorder to Relation.Binary.* Ubuntu build #3773: Pull request #2488 synchronize by jamesmckinna
October 4, 2024 09:06 36m 14s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
October 4, 2024 09:06 36m 14s
Add (Is)DecPreorder to Relation.Binary.* Check whitespace #743: Pull request #2488 synchronize by jamesmckinna
October 4, 2024 09:06 13s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
October 4, 2024 09:06 13s
Add properties of Data.Refinement and refactor module structure Check whitespace #742: Pull request #2492 opened by jamesmckinna
October 2, 2024 13:30 14s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 2, 2024 13:30 14s
Add properties of Data.Refinement and refactor module structure Ubuntu build #3772: Pull request #2492 opened by jamesmckinna
October 2, 2024 13:30 37m 9s jamesmckinna:refinement-value-injective
jamesmckinna:refinement-value-injective
October 2, 2024 13:30 37m 9s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3771: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 12:39 37m 21s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 12:39 37m 21s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #741: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 12:39 20s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 12:39 20s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3770: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:28 35m 53s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:28 35m 53s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #740: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:28 15s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:28 15s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #739: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:16 22s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:16 22s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3769: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:16 3m 16s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:16 3m 16s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3768: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:05 48s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:05 48s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #738: Pull request #2491 synchronize by jamesmckinna
October 2, 2024 11:05 17s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 11:05 17s
Add Raw bundles to Relation.Binary.* hierarchy Ubuntu build #3767: Pull request #2491 opened by jamesmckinna
October 2, 2024 09:42 36m 21s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 09:42 36m 21s
Add Raw bundles to Relation.Binary.* hierarchy Check whitespace #737: Pull request #2491 opened by jamesmckinna
October 2, 2024 09:42 14s jamesmckinna:RawBinary
jamesmckinna:RawBinary
October 2, 2024 09:42 14s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Check whitespace #736: Pull request #2490 synchronize by jamesmckinna
October 1, 2024 12:14 14s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 12:14 14s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Ubuntu build #3766: Pull request #2490 synchronize by jamesmckinna
October 1, 2024 12:14 35m 35s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 12:14 35m 35s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Ubuntu build #3765: Pull request #2490 synchronize by jamesmckinna
October 1, 2024 11:42 36m 11s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 11:42 36m 11s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Check whitespace #735: Pull request #2490 synchronize by jamesmckinna
October 1, 2024 11:42 17s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 11:42 17s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Ubuntu build #3764: Pull request #2490 opened by jamesmckinna
October 1, 2024 11:16 6m 55s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 11:16 6m 55s
[DRY] Refactor Data.List.Relation.Binary.Equality.Setoid exports Check whitespace #734: Pull request #2490 opened by jamesmckinna
October 1, 2024 11:16 22s jamesmckinna:refactor-setoid-exports
jamesmckinna:refactor-setoid-exports
October 1, 2024 11:16 22s
Add (Is)DecPreorder to Relation.Binary.* Check whitespace #733: Pull request #2488 synchronize by jamesmckinna
October 1, 2024 08:02 19s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
October 1, 2024 08:02 19s
Add (Is)DecPreorder to Relation.Binary.* Ubuntu build #3763: Pull request #2488 synchronize by jamesmckinna
October 1, 2024 08:02 36m 26s jamesmckinna:DecPreorder
jamesmckinna:DecPreorder
October 1, 2024 08:02 36m 26s
Add some type relations and isomorphisms Check whitespace #732: Pull request #2419 synchronize by jamesmckinna
September 30, 2024 17:25 12s add-type-relations
add-type-relations
September 30, 2024 17:25 12s