Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds additional properties to LeftModule Haskell-CI #2588: Pull request #2906 opened by bsaul
2m 55s bsaul:leftmodule-props
bsaul:leftmodule-props
2m 55s
Adds additional properties to LeftModule Ubuntu build #5332: Pull request #2906 opened by bsaul
28m 16s bsaul:leftmodule-props
bsaul:leftmodule-props
28m 16s
Adds additional properties to LeftModule Check whitespace #2271: Pull request #2906 opened by bsaul
9s bsaul:leftmodule-props
bsaul:leftmodule-props
9s
pages build and deployment pages-build-deployment #644: by github-pages bot
1m 23s gh-pages
gh-pages
1m 23s
Adding extrema to a non-strict order respects equality (#2904) Haskell-CI #2587: Commit 4e0256c pushed by github-merge-queue bot
3m 0s master
master
3m 0s
Adding extrema to a non-strict order respects equality (#2904) Check whitespace #2270: Commit 4e0256c pushed by github-merge-queue bot
12s master
master
12s
Adding extrema to a non-strict order respects equality (#2904) Ubuntu build #5331: Commit 4e0256c pushed by github-merge-queue bot
28m 16s master
master
28m 16s
Ubuntu build Ubuntu build #5330: Merge group checks requested
27m 18s
27m 18s
Check whitespace Check whitespace #2269: Merge group checks requested
9s
9s
Adding extrema to a non-strict order respects equality Check whitespace #2268: Pull request #2904 synchronize by Taneb
11s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
11s
Adding extrema to a non-strict order respects equality Ubuntu build #5329: Pull request #2904 synchronize by Taneb
27m 34s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
27m 34s
Adding extrema to a non-strict order respects equality Haskell-CI #2586: Pull request #2904 synchronize by Taneb
2m 38s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
2m 38s
Adding extrema to a non-strict order respects equality Ubuntu build #5328: Pull request #2904 synchronize by Taneb
28m 16s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
28m 16s
Adding extrema to a non-strict order respects equality Check whitespace #2267: Pull request #2904 synchronize by Taneb
13s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
13s
Adding extrema to a non-strict order respects equality Haskell-CI #2585: Pull request #2904 synchronize by Taneb
3m 14s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
3m 14s
[ doc ] Add JOSS publication (#2903) Ubuntu build #5327: Commit 1783df2 pushed by github-merge-queue bot
28m 2s master
master
28m 2s
[ doc ] Add JOSS publication (#2903) Check whitespace #2266: Commit 1783df2 pushed by github-merge-queue bot
10s master
master
10s
[ doc ] Add JOSS publication (#2903) Haskell-CI #2584: Commit 1783df2 pushed by github-merge-queue bot
2m 37s master
master
2m 37s
Check whitespace Check whitespace #2265: Merge group checks requested
8s
8s
Ubuntu build Ubuntu build #5326: Merge group checks requested
28m 22s
28m 22s
pages build and deployment pages-build-deployment #643: by github-pages bot
1m 34s gh-pages
gh-pages
1m 34s
Share the proofs of ×-comm and ⊎-comm of type isomorphisms and add a … Ubuntu build #5325: Commit f5b701b pushed by github-merge-queue bot
27m 27s master
master
27m 27s
Share the proofs of ×-comm and ⊎-comm of type isomorphisms and add a … Check whitespace #2264: Commit f5b701b pushed by github-merge-queue bot
8s master
master
8s
Share the proofs of ×-comm and ⊎-comm of type isomorphisms and add a … Haskell-CI #2583: Commit f5b701b pushed by github-merge-queue bot
2m 52s master
master
2m 52s
Check whitespace Check whitespace #2263: Merge group checks requested
10s
10s