⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Actions: agda/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] remove redundant private lemma in Data.Sum.Algebra Ubuntu build #5355: Pull request #2908 opened by jamesmckinna
43m 43s jamesmckinna:sum-algebra
jamesmckinna:sum-algebra
43m 43s
[ refactor ] remove redundant private lemma in Data.Sum.Algebra Haskell-CI #2608: Pull request #2908 opened by jamesmckinna
2m 51s jamesmckinna:sum-algebra
jamesmckinna:sum-algebra
2m 51s
[ refactor ] remove redundant private lemma in Data.Sum.Algebra Check whitespace #2294: Pull request #2908 opened by jamesmckinna
9s jamesmckinna:sum-algebra
jamesmckinna:sum-algebra
9s
[ new ] unix install script for the standard library (#2895) Check whitespace #2293: Commit b912931 pushed by github-merge-queue bot
8s master
master
8s
[ new ] unix install script for the standard library (#2895) Haskell-CI #2607: Commit b912931 pushed by github-merge-queue bot
2m 53s master
master
2m 53s
[ new ] unix install script for the standard library (#2895) Ubuntu build #5354: Commit b912931 pushed by github-merge-queue bot
40m 3s master
master
40m 3s
Ubuntu build Ubuntu build #5353: Merge group checks requested
40m 35s
40m 35s
Check whitespace Check whitespace #2292: Merge group checks requested
13s
13s
pages build and deployment pages-build-deployment #646: by github-pages bot
1m 20s gh-pages
gh-pages
1m 20s
pages build and deployment pages-build-deployment #645: by github-pages bot
1m 22s gh-pages
gh-pages
1m 22s
Adds additional properties to {Left,Right}Module (#2906) Ubuntu build #5352: Commit ef2c17c pushed by github-merge-queue bot
38m 54s master
master
38m 54s
Adds additional properties to {Left,Right}Module (#2906) Check whitespace #2291: Commit ef2c17c pushed by github-merge-queue bot
12s master
master
12s
Adds additional properties to {Left,Right}Module (#2906) Haskell-CI #2606: Commit ef2c17c pushed by github-merge-queue bot
2m 56s master
master
2m 56s
[ fix ] test runner to use cabal (#2884) (#2896) Ubuntu build #5351: Commit 409d530 pushed by github-merge-queue bot
39m 40s master
master
39m 40s
[ fix ] test runner to use cabal (#2884) (#2896) Haskell-CI #2605: Commit 409d530 pushed by github-merge-queue bot
3m 1s master
master
3m 1s
[ fix ] test runner to use cabal (#2884) (#2896) Check whitespace #2290: Commit 409d530 pushed by github-merge-queue bot
8s master
master
8s
Check whitespace Check whitespace #2289: Merge group checks requested
8s
8s
Ubuntu build Ubuntu build #5350: Merge group checks requested
40m 36s
40m 36s
Check whitespace Check whitespace #2288: Merge group checks requested
9s
9s
Ubuntu build Ubuntu build #5349: Merge group checks requested
41m 38s
41m 38s
Adds additional properties to {Left,Right}Module Haskell-CI #2604: Pull request #2906 synchronize by bsaul
7m 7s bsaul:leftmodule-props
bsaul:leftmodule-props
7m 7s
Adds additional properties to {Left,Right}Module Ubuntu build #5348: Pull request #2906 synchronize by bsaul
28m 26s bsaul:leftmodule-props
bsaul:leftmodule-props
28m 26s
Adds additional properties to {Left,Right}Module Check whitespace #2287: Pull request #2906 synchronize by bsaul
1m 9s bsaul:leftmodule-props
bsaul:leftmodule-props
1m 9s
Adds additional properties to {Left,Right}Module Check whitespace #2286: Pull request #2906 synchronize by bsaul
1m 11s bsaul:leftmodule-props
bsaul:leftmodule-props
1m 11s
Adds additional properties to {Left,Right}Module Ubuntu build #5347: Pull request #2906 synchronize by bsaul
27m 11s bsaul:leftmodule-props
bsaul:leftmodule-props
27m 11s