Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add stack configuration for GHC 9.12.4 (#2990) Ubuntu build #5691: Commit c2abce1 pushed by github-merge-queue Bot
44m 38s master
master
44m 38s
Add stack configuration for GHC 9.12.4 (#2990) Haskell-CI #2902: Commit c2abce1 pushed by github-merge-queue Bot
19m 20s master
master
19m 20s
Add stack configuration for GHC 9.12.4 (#2990) Check whitespace #2630: Commit c2abce1 pushed by github-merge-queue Bot
15s master
master
15s
Check whitespace Check whitespace #2629: Merge group checks requested
17s
17s
Ubuntu build Ubuntu build #5690: Merge group checks requested
37m 22s
37m 22s
Add stack configuration for GHC 9.12.4 Ubuntu build #5689: Pull request #2990 synchronize by shhyou
44m 15s shhyou:ghc-9124
shhyou:ghc-9124
44m 15s
Add stack configuration for GHC 9.12.4 Haskell-CI #2901: Pull request #2990 synchronize by shhyou
4m 20s shhyou:ghc-9124
shhyou:ghc-9124
4m 20s
Add stack configuration for GHC 9.12.4 Check whitespace #2628: Pull request #2990 synchronize by shhyou
18s shhyou:ghc-9124
shhyou:ghc-9124
18s
Add Linked predicate transformer for guarded streams Haskell-CI #2900: Pull request #2993 synchronize by Taneb
2m 59s linked-streams
linked-streams
2m 59s
Add Linked predicate transformer for guarded streams Ubuntu build #5688: Pull request #2993 synchronize by Taneb
40m 22s linked-streams
linked-streams
40m 22s
Add Linked predicate transformer for guarded streams Check whitespace #2627: Pull request #2993 synchronize by Taneb
11s linked-streams
linked-streams
11s
Add Linked predicate transformer for guarded streams Ubuntu build #5687: Pull request #2993 opened by Taneb
2m 44s linked-streams
linked-streams
2m 44s
Add Linked predicate transformer for guarded streams Check whitespace #2626: Pull request #2993 opened by Taneb
8s linked-streams
linked-streams
8s
Add Linked predicate transformer for guarded streams Haskell-CI #2899: Pull request #2993 opened by Taneb
2m 41s linked-streams
linked-streams
2m 41s
Data.List.Base.all: fix warning Haskell-CI #2898: Pull request #2992 synchronize by Brian-ED
13m 24s Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
13m 24s
Data.List.Base.all: fix warning Check whitespace #2625: Pull request #2992 synchronize by Brian-ED
12s Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
12s
Data.List.Base.all: fix warning Ubuntu build #5686: Pull request #2992 synchronize by Brian-ED
40m 34s Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
40m 34s
Data.List.Base.all: fix warning Check whitespace #2624: Pull request #2992 synchronize by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
Data.List.Base.all: fix warning Haskell-CI #2897: Pull request #2992 synchronize by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
Data.List.Base.all: fix warning Ubuntu build #5685: Pull request #2992 synchronize by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
Data.List.Base.all: fix warning Haskell-CI #2896: Pull request #2992 opened by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
Data.List.Base.all: fix warning Check whitespace #2623: Pull request #2992 opened by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
Data.List.Base.all: fix warning Ubuntu build #5684: Pull request #2992 opened by Brian-ED
Action required Brian-ED:list-base-all-warning
Brian-ED:list-base-all-warning
Action required
pages build and deployment pages-build-deployment #689: by github-pages Bot
1m 31s gh-pages
gh-pages
1m 31s
CI: update experimental to Agda commit f3697415 Check whitespace #2622: Commit 008f12c pushed by andreasabel
11s experimental
experimental
11s