Skip to content

Actions: zlondrej/polytyped

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
Include README.md in extra-doc-files Test on multiple GHC versions #10: Commit bf3958b pushed by zlondrej
3m 7s master
master
3m 7s
Include README.md in extra-doc-files Build documentation #3: Commit bf3958b pushed by zlondrej
1m 28s master
master
1m 28s
Add information about github repository location Build documentation #2: Commit 6989959 pushed by zlondrej
51s master
master
51s
Add information about github repository location Test on multiple GHC versions #9: Commit 6989959 pushed by zlondrej
2m 56s master
master
2m 56s
More .gitignore rules Build documentation #1: Commit 88a93a6 pushed by zlondrej
1m 1s master
master
1m 1s
More .gitignore rules Test on multiple GHC versions #8: Commit 88a93a6 pushed by zlondrej
3m 8s master
master
3m 8s
Contraint base Test on multiple GHC versions #7: Commit 2bafe2a pushed by zlondrej
3m 4s master
master
3m 4s
More contraints Test on multiple GHC versions #6: Commit 8e04de5 pushed by zlondrej
3m 10s master
master
3m 10s
More contraints Test on multiple GHC versions #5: Commit 3759d2e pushed by zlondrej
1m 22s master
master
1m 22s
More contraints Test on multiple GHC versions #4: Commit ff430ec pushed by zlondrej
8s master
master
8s
Run tests on CI Test on multiple GHC versions #3: Commit 4d189e9 pushed by zlondrej
3m 3s master
master
3m 3s
Run tests on CI Test on multiple GHC versions #2: Commit bc2f000 pushed by zlondrej
3m 1s master
master
3m 1s
Run tests on CI Test on multiple GHC versions #1: Commit 0e42743 pushed by zlondrej
10s master
master
10s