Skip to content

Actions: silas-hw/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
[ refactor ] add Data.Sum.Relation.Binary.Pointwise .elim (#3079) Ubuntu build #11: Commit 5abbf1d pushed by silas-hw
12m 40s master
master
12m 40s
[ refactor ] add Data.Sum.Relation.Binary.Pointwise .elim (#3079) Check whitespace #5: Commit 5abbf1d pushed by silas-hw
10s master
master
10s
pages build and deployment pages-build-deployment #2: by silas-hw
1m 38s gh-pages
gh-pages
1m 38s
pages build and deployment pages-build-deployment #1: by silas-hw
57s gh-pages
gh-pages
57s
Adds the AVL tree's toList/Any properties (#3060) Check whitespace #4: Commit 802609c pushed by silas-hw
9s master
master
9s
Adds the AVL tree's toList/Any properties (#3060) Ubuntu build #10: Commit 802609c pushed by silas-hw
51m 56s master
master
51m 56s
Fix html-deploy download step Ubuntu build #9: Commit 83f8fb4 pushed by silas-hw
42m 39s master
master
42m 39s
Fix html-deploy download step Check whitespace #3: Commit 83f8fb4 pushed by silas-hw
10s master
master
10s
Fix html-generate upload step Check whitespace #2: Commit 84e2b0f pushed by silas-hw
9s master
master
9s
Fix html-generate upload step Ubuntu build #8: Commit 84e2b0f pushed by silas-hw
55m 30s master
master
55m 30s
Adds the AVL tree's toList/Any properties (#3060) Haskell-CI #1: Commit 802609c pushed by silas-hw
3m 17s master
master
3m 17s
Adds the AVL tree's toList/Any properties (#3060) Check whitespace #1: Commit 802609c pushed by silas-hw
12s master
master
12s
Adds the AVL tree's toList/Any properties (#3060) Ubuntu build #7: Commit 802609c pushed by silas-hw
53m 50s master
master
53m 50s
Add cleanup job to remove artifacts Ubuntu build #6: Commit ef795d1 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure
Fix GITHUB_PATH read Ubuntu build #5: Commit e20f023 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure
Fix GITHUB_PATH Ubuntu build #4: Commit 52cc1b4 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure
Split outputting PATH onto separate step Ubuntu build #3: Commit fd9e589 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure
Use upload-artificacts to share binaries between jobs Ubuntu build #2: Commit fe98636 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure
Run checkout before composite action Ubuntu build #1: Commit ae3cdd7 pushed by silas-hw
Failure optimise-ci
optimise-ci
Failure