Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,703 workflow runs
4,703 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add between parser combinator to Data.String.Parser Lint the sources #6558: Pull request #3414 synchronize by justjoheinz
November 18, 2024 04:28 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 04:28 Action required
Add between parser combinator to Data.String.Parser Lint Code Base #6477: Pull request #3414 synchronize by justjoheinz
November 18, 2024 04:28 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 04:28 Action required
Add between parser combinator to Data.String.Parser Sphinx #4616: Pull request #3414 synchronize by justjoheinz
November 18, 2024 04:28 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 04:28 Action required
Add between parser combinator to Data.String.Parser Idris2 and External Libs #982: Pull request #3414 opened by justjoheinz
November 17, 2024 22:31 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 17, 2024 22:31 Action required
Add between parser combinator to Data.String.Parser Sphinx #4615: Pull request #3414 opened by justjoheinz
November 17, 2024 22:31 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 17, 2024 22:31 Action required
Add between parser combinator to Data.String.Parser Lint the sources #6557: Pull request #3414 opened by justjoheinz
November 17, 2024 22:31 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 17, 2024 22:31 Action required
Add between parser combinator to Data.String.Parser Lint Code Base #6476: Pull request #3414 opened by justjoheinz
November 17, 2024 22:31 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 17, 2024 22:31 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6475: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:29 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #981: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:29 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6556: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:29 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4614: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:29 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6555: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:21 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #980: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:21 -1s GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:21 -1s
[ refactor ] ScopedSnocList: WIP Lint Code Base #6474: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:21 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4613: Pull request #3368 synchronize by GulinSS
November 16, 2024 17:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 16, 2024 17:21 Action required
feat(#3400): generate only es6 Lint Code Base #6473: Pull request #3413 opened by srghma
November 15, 2024 02:04 Action required srghma:js
srghma:js
November 15, 2024 02:04 Action required
feat(#3400): generate only es6 Sphinx #4612: Pull request #3413 opened by srghma
November 15, 2024 02:04 Action required srghma:js
srghma:js
November 15, 2024 02:04 Action required
feat(#3400): generate only es6 Idris2 and External Libs #979: Pull request #3413 opened by srghma
November 15, 2024 02:04 Action required srghma:js
srghma:js
November 15, 2024 02:04 Action required
feat(#3400): generate only es6 Lint the sources #6554: Pull request #3413 opened by srghma
November 15, 2024 02:04 Action required srghma:js
srghma:js
November 15, 2024 02:04 Action required
refactor Uninhabited implementation for Elem types Sphinx #4611: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 34s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 34s
refactor Uninhabited implementation for Elem types Idris2 and External Libs #978: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 49m 34s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 49m 34s
refactor Uninhabited implementation for Elem types Lint the sources #6553: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 15s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 15s
refactor Uninhabited implementation for Elem types Lint Code Base #6472: Pull request #3412 opened by ihor-rud
November 14, 2024 19:22 1m 55s ihor-rud:main
ihor-rud:main
November 14, 2024 19:22 1m 55s
[ refactor ] ScopedSnocList: WIP Lint the sources #6552: Pull request #3368 synchronize by GulinSS
November 8, 2024 06:27 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 8, 2024 06:27 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #977: Pull request #3368 synchronize by GulinSS
November 8, 2024 06:27 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 8, 2024 06:27 Action required