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

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
[ doc ] Add JOSS publication Haskell-CI #2579: Pull request #2903 opened by gallais
2m 54s gallais:joss-citation
gallais:joss-citation
2m 54s
Merge pull request #2900 from gallais/v2.0-joss-submission-mac .github/workflows/joss-paper-ci.yml #113: Commit 5e17fa0 pushed by MatthewDaggitt
41s v2.0-joss-paper
v2.0-joss-paper
41s
Merge pull request #2900 from gallais/v2.0-joss-submission-mac .github/workflows/joss-paper-ci.yml #112: Commit 5e17fa0 pushed by JacquesCarette
45s v2.0-joss-submission
v2.0-joss-submission
45s
[add] irrelevant & antisym to Pointwise for Data.Vec Check whitespace #2257: Pull request #2902 synchronize by ruifengx
12s ruifengx:pointwise
ruifengx:pointwise
12s
[add] irrelevant & antisym to Pointwise for Data.Vec Ubuntu build #5318: Pull request #2902 synchronize by ruifengx
27m 30s ruifengx:pointwise
ruifengx:pointwise
27m 30s
[add] irrelevant & antisym to Pointwise for Data.Vec Haskell-CI #2578: Pull request #2902 synchronize by ruifengx
2m 30s ruifengx:pointwise
ruifengx:pointwise
2m 30s
[add] irrelevant & antisym to Pointwise for Data.Vec Haskell-CI #2577: Pull request #2902 opened by ruifengx
3m 2s ruifengx:pointwise
ruifengx:pointwise
3m 2s
[add] irrelevant & antisym to Pointwise for Data.Vec Check whitespace #2256: Pull request #2902 opened by ruifengx
9s ruifengx:pointwise
ruifengx:pointwise
9s
[add] irrelevant & antisym to Pointwise for Data.Vec Ubuntu build #5317: Pull request #2902 opened by ruifengx
27m 3s ruifengx:pointwise
ruifengx:pointwise
27m 3s
Merge pull request #2901 from danielskatz/patch-1 .github/workflows/joss-paper-ci.yml #111: Commit c5d0315 pushed by MatthewDaggitt
43s v2.0-joss-paper
v2.0-joss-paper
43s
Merge pull request #2901 from danielskatz/patch-1 .github/workflows/joss-paper-ci.yml #110: Commit c5d0315 pushed by JacquesCarette
44s v2.0-joss-submission
v2.0-joss-submission
44s