Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,963 workflow runs
2,963 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Lint the sources #7378: Pull request #3513 synchronize by GulinSS
8s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
8s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Idris2 and External Libs #1721: Pull request #3513 synchronize by GulinSS
7m 29s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
7m 29s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Sphinx #5436: Pull request #3513 synchronize by GulinSS
2m 1s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
2m 1s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Lint Code Base #7297: Pull request #3513 synchronize by GulinSS
2m 9s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
2m 9s
pages build and deployment pages-build-deployment #581: by github-pages bot
39s gh-pages
gh-pages
39s
Fix #3662 (#3665) Sphinx #5435: Commit 8bfe6b9 pushed by andrevidela
2m 13s main
main
2m 13s
Fix #3662 (#3665) Lint Code Base #7296: Commit 8bfe6b9 pushed by andrevidela
1m 50s main
main
1m 50s
Fix #3662 (#3665) Idris2 and External Libs #1720: Commit 8bfe6b9 pushed by andrevidela
46m 39s main
main
46m 39s
Fix #3662 (#3665) Lint the sources #7377: Commit 8bfe6b9 pushed by andrevidela
7s main
main
7s
Fix #3662 Lint Code Base #7295: Pull request #3665 opened by seagull-kamome
1m 49s seagull-kamome:fix-3662
seagull-kamome:fix-3662
1m 49s
Fix #3662 Lint the sources #7376: Pull request #3665 opened by seagull-kamome
10s seagull-kamome:fix-3662
seagull-kamome:fix-3662
10s
Fix #3662 Idris2 and External Libs #1719: Pull request #3665 opened by seagull-kamome
44m 37s seagull-kamome:fix-3662
seagull-kamome:fix-3662
44m 37s
Fix #3662 Sphinx #5434: Pull request #3665 opened by seagull-kamome
36s seagull-kamome:fix-3662
seagull-kamome:fix-3662
36s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Idris2 and External Libs #1718: Pull request #3513 synchronize by GulinSS
6m 31s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
6m 31s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Lint the sources #7375: Pull request #3513 synchronize by GulinSS
10s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
10s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Sphinx #5433: Pull request #3513 synchronize by GulinSS
51s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
51s
[ refactor ] ScopedSnocList: Swap Scope on SnocList (Phase 2) Lint Code Base #7294: Pull request #3513 synchronize by GulinSS
2m 7s GulinSS:scoped-snoc-list-swap
GulinSS:scoped-snoc-list-swap
2m 7s
[ make ] Pass IDRIS2_PREFIX in install-libs Lint the sources #7374: Pull request #3663 opened by spcfox
15s spcfox:fix-install-libs-directory
spcfox:fix-install-libs-directory
15s
[ make ] Pass IDRIS2_PREFIX in install-libs Idris2 and External Libs #1717: Pull request #3663 opened by spcfox
42m 35s spcfox:fix-install-libs-directory
spcfox:fix-install-libs-directory
42m 35s
[ make ] Pass IDRIS2_PREFIX in install-libs Sphinx #5432: Pull request #3663 opened by spcfox
39s spcfox:fix-install-libs-directory
spcfox:fix-install-libs-directory
39s
[ make ] Pass IDRIS2_PREFIX in install-libs Lint Code Base #7293: Pull request #3663 opened by spcfox
1m 44s spcfox:fix-install-libs-directory
spcfox:fix-install-libs-directory
1m 44s
pages build and deployment pages-build-deployment #580: by github-pages bot
38s gh-pages
gh-pages
38s
[ fix ] Allow capitalised package names with dashes (#3657) Lint Code Base #7292: Commit 72864ac pushed by buzden
1m 48s main
main
1m 48s
[ fix ] Allow capitalised package names with dashes (#3657) Lint the sources #7373: Commit 72864ac pushed by buzden
6s main
main
6s
[ fix ] Allow capitalised package names with dashes (#3657) Idris2 and External Libs #1716: Commit 72864ac pushed by buzden
45m 37s main
main
45m 37s