Workflow runs · idris-community/idris2-scgi · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

18 workflow runs

18 workflow runs

[ cleanup ] deleted outdated module docs (#3) Build #9: Commit 9f06d48 pushed by stefan-hoeck

2m 9s main

main

2m 9s

[ cleanup ] deleted outdated module docs (#3) Lint #9: Commit 9f06d48 pushed by stefan-hoeck

1m 22s main

main

1m 22s

[ cleanup ] deleted outdated module docs Build #8: Pull request #3 opened by stefan-hoeck

2m 7s drop_cr

drop_cr

2m 7s

[ cleanup ] deleted outdated module docs Lint #8: Pull request #3 opened by stefan-hoeck

1m 22s drop_cr

drop_cr

1m 22s

[ cleanup ] deleted outdated module docs Lint #7: Commit bc5ba65 pushed by stefan-hoeck

1m 24s drop_cr

drop_cr

1m 24s

[ cleanup ] deleted outdated module docs Build #7: Commit bc5ba65 pushed by stefan-hoeck

2m 9s drop_cr

drop_cr

2m 9s

Merge pull request #2 from idris-community/core Lint #6: Commit 9c42f83 pushed by stefan-hoeck

1m 26s main

main

1m 26s

Merge pull request #2 from idris-community/core Build #6: Commit 9c42f83 pushed by stefan-hoeck

2m 4s main

main

2m 4s

[ new ] SCGI runners Build #5: Pull request #2 opened by stefan-hoeck

2m 4s core

core

2m 4s

[ new ] SCGI runners Lint #5: Pull request #2 opened by stefan-hoeck

1m 29s core

core

1m 29s

[ new ] SCGI runners Build #4: Commit d6c6802 pushed by stefan-hoeck

2m 8s core

core

2m 8s

[ new ] SCGI runners Lint #4: Commit d6c6802 pushed by stefan-hoeck

1m 21s core

core

1m 21s

Merge pull request #1 from idris-community/ci Build #3: Commit 5fc5827 pushed by stefan-hoeck

3m 18s main

main

3m 18s

Merge pull request #1 from idris-community/ci Lint #3: Commit 5fc5827 pushed by stefan-hoeck

1m 25s main

main

1m 25s

[ CI ] enable CI Build #2: Pull request #1 opened by stefan-hoeck

2m 7s ci

ci

2m 7s

[ CI ] enable CI Lint #2: Pull request #1 opened by stefan-hoeck

1m 28s ci

ci

1m 28s

[ CI ] enable CI Lint #1: Commit e040777 pushed by stefan-hoeck

1m 29s ci

ci

1m 29s

[ CI ] enable CI Build #1: Commit e040777 pushed by stefan-hoeck

2m 8s ci

ci

2m 8s