8000 Workflow runs · idris-lang/Idris2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Sphinx #5028: Pull request #3512 synchronize by GulinSS
May 28, 2025 15:11 35s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 15:11 35s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Lint the sources #6970: Pull request #3512 synchronize by GulinSS
May 28, 2025 15:11 10s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 15:11 10s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Idris2 and External Libs #1392: Pull request #3512 synchronize by GulinSS
May 28, 2025 15:11 45m 31s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 15:11 45m 31s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Lint Code Base #6889: Pull request #3512 synchronize by GulinSS
May 28, 2025 15:11 2m 6s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 15:11 2m 6s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Lint the sources #6969: Pull request #3512 synchronize by gallais
May 28, 2025 13:23 12s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 13:23 12s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Idris2 and External Libs #1391: Pull request #3512 synchronize by gallais
May 28, 2025 13:23 1m 17s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 13:23 1m 17s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Lint Code Base #6888: Pull request #3512 synchronize by gallais
May 28, 2025 13:23 2m 8s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 13:23 2m 8s
[ refactor ] ScopedSnocList: Preparing for the long jump (Phase 1) Sphinx #5027: Pull request #3512 synchronize by gallais
May 28, 2025 13:23 33s GulinSS:scoped-snoc-list-preparing
GulinSS:scoped-snoc-list-preparing
May 28, 2025 13:23 33s
[ base ] Add default definitions for zipWith3 and unzipWith3 Lint Code Base #6887: Pull request #3558 synchronize by spcfox
May 23, 2025 21:13 1m 49s spcfox:zippable-default
spcfox:zippable-default
May 23, 2025 21:13 1m 49s
[ base ] Add default definitions for zipWith3 and unzipWith3 Idris2 and External Libs #1390: Pull request #3558 synchronize by spcfox
May 23, 2025 21:13 42m 53s spcfox:zippable-default
spcfox:zippable-default
May 23, 2025 21:13 42m 53s
[ base ] Add default definitions for zipWith3 and unzipWith3 Sphinx #5026: Pull request #3558 synchronize by spcfox
May 23, 2025 21:13 27s spcfox:zippable-default
spcfox:zippable-default
May 23, 2025 21:13 27s
[ base ] Add default definitions for zipWith3 and unzipWith3 Lint the sources #6968: Pull request #3558 synchronize by spcfox
May 23, 2025 21:13 11s spcfox:zippable-default
spcfox:zippable-default
May 23, 2025 21:13 11s
pages build and deployment pages-build-deployment #541: by github-pages bot
May 23, 2025 20:02 41s gh-pages
gh-pages
May 23, 2025 20:02 41s
[ test ] Improving the clean_names script (#3561) Sphinx #5025: Commit 44279ef pushed by buzden
May 23, 2025 19:38 34s main
main
May 23, 2025 19:38 34s
[ test ] Improving the clean_names script (#3561) Lint the sources #6967: Commit 44279ef pushed by buzden
May 23, 2025 19:38 12s main
main
May 23, 2025 19:38 12s
[ test ] Improving the clean_names script (#3561) Idris2 and External Libs #1389: Commit 44279ef pushed by buzden
May 23, 2025 19:38 18m 7s main
main
May 23, 2025 19:38 18m 7s
[ test ] Improving the clean_names script (#3561) Lint Code Base #6886: Commit 44279ef pushed by buzden
May 23, 2025 19:38 1m 54s main
main
May 23, 2025 19:38 1m 54s
[ test ] Improving the clean_names script Lint Code Base #6885: Pull request #3561 opened by spcfox
May 23, 2025 13:16 1m 46s spcfox:clean-names
spcfox:clean-names
May 23, 2025 13:16 1m 46s
[ test ] Improving the clean_names script Sphinx #5024: Pull request #3561 opened by spcfox
May 23, 2025 13:16 30s spcfox:clean-names
spcfox:clean-names
May 23, 2025 13:16 30s
[ test ] Improving the clean_names script Idris2 and External Libs #1388: Pull request #3561 opened by spcfox
May 23, 2025 13:16 43m 55s spcfox:clean-names
spcfox:clean-names
May 23, 2025 13:16 43m 55s
[ test ] Improving the clean_names script Lint the sources #6966: Pull request #3561 opened by spcfox
May 23, 2025 13:16 12s spcfox:clean-names
spcfox:clean-names
May 23, 2025 13:16 12s
pages build and deployment pages-build-deployment #540: by github-pages bot
May 23, 2025 12:28 37s gh-pages
gh-pages
May 23, 2025 12:28 37s
[ error ] Make error message on wrongly put import to be cleaner Idris2 and External Libs #1387: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 12m 7s main
main
May 23, 2025 12:02 12m 7s
[ error ] Make error message on wrongly put import to be cleaner Lint the sources #6965: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 9s main
main
May 23, 2025 12:02 9s
[ error ] Make error message on wrongly put import to be cleaner Lint Code Base #6884: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 1m 45s main
main
May 23, 2025 12:02 1m 45s
0