Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
651 workflow run results
651 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #353: by github-pages bot
March 24, 2024 20:18 1m 27s gh-pages
gh-pages
March 24, 2024 20:18 1m 27s
Fix standard-library.agda-lib (#2326) Ubuntu build #3026: Commit bba3aac pushed by github-merge-queue bot
March 24, 2024 19:43 35m 40s master
master
March 24, 2024 19:43 35m 40s
Include CHANGELOG in fix-whitespace and whitespace fixes (#2325) Ubuntu build #3025: Commit f4316e1 pushed by github-merge-queue bot
March 24, 2024 19:42 35m 34s master
master
March 24, 2024 19:42 35m 34s
Refactor List.Membership.* and List.Relation.Unary.Any Ubuntu build #3024: Pull request #2324 synchronize by jamesmckinna
March 24, 2024 19:35 34m 18s jamesmckinna:list-any
jamesmckinna:list-any
March 24, 2024 19:35 34m 18s
Ubuntu build Ubuntu build #3023: Merge group checks requested
March 24, 2024 19:08 35m 0s
March 24, 2024 19:08 35m 0s
Haskell-CI Haskell-CI #1747: Merge group checks requested
March 24, 2024 19:08 2m 35s
March 24, 2024 19:08 2m 35s
Haskell-CI Haskell-CI #1746: Merge group checks requested
March 24, 2024 19:07 2m 37s
March 24, 2024 19:07 2m 37s
Ubuntu build Ubuntu build #3022: Merge group checks requested
March 24, 2024 19:07 34m 26s
March 24, 2024 19:07 34m 26s
Remove (almost!) all external use of _≤″_ beyond Data.Nat.* Ubuntu build #3021: Pull request #2262 synchronize by jamesmckinna
March 24, 2024 18:18 34m 45s jamesmckinna:vec-bounded-bis
jamesmckinna:vec-bounded-bis
March 24, 2024 18:18 34m 45s
Remove (almost!) all external use of _≤″_ beyond Data.Nat.* Ubuntu build #3020: Pull request #2262 synchronize by jamesmckinna
March 24, 2024 18:06 34m 45s jamesmckinna:vec-bounded-bis
jamesmckinna:vec-bounded-bis
March 24, 2024 18:06 34m 45s
Github action to check for whitespace violations Check whitespace #1: Pull request #2328 opened by andreasabel
March 24, 2024 15:50 13s fix-whitespace-action
fix-whitespace-action
March 24, 2024 15:50 13s
Github action to check for whitespace violations Ubuntu build #3019: Pull request #2328 opened by andreasabel
March 24, 2024 15:50 35m 38s fix-whitespace-action
fix-whitespace-action
March 24, 2024 15:50 35m 38s
Put CHANGELOG.md under the whitespace regime Ubuntu build #3018: Pull request #2327 opened by andreasabel
March 24, 2024 15:30 34m 20s fix-ws-changelog
fix-ws-changelog
March 24, 2024 15:30 34m 20s
Fix standard-library.agda-lib Ubuntu build #3017: Pull request #2326 opened by andreasabel
March 24, 2024 15:28 35m 0s fix-agda-lib-file
fix-agda-lib-file
March 24, 2024 15:28 35m 0s
Remove (almost!) all external use of _≤″_ beyond Data.Nat.* Ubuntu build #3016: Pull request #2262 synchronize by jamesmckinna
March 24, 2024 15:08 35m 11s jamesmckinna:vec-bounded-bis
jamesmckinna:vec-bounded-bis
March 24, 2024 15:08 35m 11s
Refactor List.Membership.* and List.Relation.Unary.Any Ubuntu build #3015: Pull request #2324 synchronize by jamesmckinna
March 24, 2024 12:42 35m 1s jamesmckinna:list-any
jamesmckinna:list-any
March 24, 2024 12:42 35m 1s
Predicate transformers: Reconciling Induction.RecStruct with Relation.Unary.PredicateTransformer.PT Ubuntu build #3014: Pull request #2140 synchronize by jamesmckinna
March 24, 2024 12:24 36m 24s jamesmckinna:predicate-transformers
jamesmckinna:predicate-transformers
March 24, 2024 12:24 36m 24s
Refactor List.Membership.* and List.Relation.Unary.Any Ubuntu build #3013: Pull request #2324 synchronize by jamesmckinna
March 24, 2024 12:15 6m 42s jamesmckinna:list-any
jamesmckinna:list-any
March 24, 2024 12:15 6m 42s
pages build and deployment pages-build-deployment #352: by github-pages bot
March 24, 2024 11:29 6h 0m 15s gh-pages
gh-pages
March 24, 2024 11:29 6h 0m 15s
Sublists: generalize disjoint-union-is-cospan to upper-bound-is-cospa… Ubuntu build #3012: Commit 36ea6ac pushed by github-merge-queue bot
March 24, 2024 10:54 34m 56s master
master
March 24, 2024 10:54 34m 56s
Ubuntu build Ubuntu build #3011: Merge group checks requested
March 24, 2024 10:19 34m 41s
March 24, 2024 10:19 34m 41s
Haskell-CI Haskell-CI #1745: Merge group checks requested
March 24, 2024 10:19 2m 44s
March 24, 2024 10:19 2m 44s
Remove (almost!) all external use of _≤″_ beyond Data.Nat.* Ubuntu build #3010: Pull request #2262 synchronize by jamesmckinna
March 24, 2024 09:50 33m 45s jamesmckinna:vec-bounded-bis
jamesmckinna:vec-bounded-bis
March 24, 2024 09:50 33m 45s
Include CHANGELOG in fix-whitespace and whitespace fixes Ubuntu build #3009: Pull request #2325 opened by MatthewDaggitt
March 24, 2024 09:18 35m 7s readme-whitespace
readme-whitespace
March 24, 2024 09:18 35m 7s
pages build and deployment pages-build-deployment #351: by github-pages bot
March 24, 2024 09:00 1m 36s gh-pages
gh-pages
March 24, 2024 09:00 1m 36s