Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
Ubuntu build Ubuntu build #5324: Merge group checks requested
27m 26s
27m 26s
pages build and deployment pages-build-deployment #642: by github-pages bot
1m 25s gh-pages
gh-pages
1m 25s
[add] irrelevant & antisym to Pointwise for Data.Vec (#2902) Ubuntu build #5323: Commit 9a9f1c0 pushed by github-merge-queue bot
27m 53s master
master
27m 53s
[add] irrelevant & antisym to Pointwise for Data.Vec (#2902) Haskell-CI #2582: Commit 9a9f1c0 pushed by github-merge-queue bot
2m 57s master
master
2m 57s
[add] irrelevant & antisym to Pointwise for Data.Vec (#2902) Check whitespace #2262: Commit 9a9f1c0 pushed by github-merge-queue bot
10s master
master
10s
Ubuntu build Ubuntu build #5322: Merge group checks requested
27m 8s
27m 8s
Check whitespace Check whitespace #2261: Merge group checks requested
10s
10s
Adding extrema to a non-strict order respects equality Haskell-CI #2581: Pull request #2904 opened by Taneb
3m 4s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
3m 4s
Adding extrema to a non-strict order respects equality Check whitespace #2260: Pull request #2904 opened by Taneb
13s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
13s
Adding extrema to a non-strict order respects equality Ubuntu build #5321: Pull request #2904 opened by Taneb
27m 46s non-strict-extrema-resp-eq
non-strict-extrema-resp-eq
27m 46s
[ fix ] test runner to use cabal (#2884) Ubuntu build #5320: Pull request #2896 synchronize by gallais
40m 43s test-suite
test-suite
40m 43s
[ fix ] test runner to use cabal (#2884) Haskell-CI #2580: Pull request #2896 synchronize by gallais
3m 1s test-suite
test-suite
3m 1s
[ fix ] test runner to use cabal (#2884) Check whitespace #2259: Pull request #2896 synchronize by gallais
9s test-suite
test-suite
9s
[ doc ] Add JOSS publication Ubuntu build #5319: Pull request #2903 opened by gallais
26m 57s gallais:joss-citation
gallais:joss-citation
26m 57s
[ doc ] Add JOSS publication Check whitespace #2258: Pull request #2903 opened by gallais
11s gallais:joss-citation
gallais:joss-citation
11s