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

[ literate ] Support typst in literate Idris Idris2 and External Libs #971: Pull request #3403 synchronize by buzden
November 6, 2024 16:28 42m 55s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 16:28 42m 55s
[ literate ] Support typst in literate Idris Lint Code Base #6465: Pull request #3403 synchronize by buzden
November 6, 2024 16:28 1m 51s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 16:28 1m 51s
[ literate ] Support typst in literate Idris Sphinx #4604: Pull request #3403 synchronize by buzden
November 6, 2024 16:28 32s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 16:28 32s
[ literate ] Support typst in literate Idris Lint Code Base #6464: Pull request #3403 synchronize by buzden
November 6, 2024 15:19 1m 59s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 15:19 1m 59s
[ literate ] Support typst in literate Idris Lint the sources #6545: Pull request #3403 synchronize by buzden
November 6, 2024 15:19 17s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 15:19 17s
[ literate ] Support typst in literate Idris Idris2 and External Libs #970: Pull request #3403 synchronize by buzden
November 6, 2024 15:19 41m 53s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 15:19 41m 53s
[ literate ] Support typst in literate Idris Sphinx #4603: Pull request #3403 synchronize by buzden
November 6, 2024 15:19 37s buzden:typst-literate-idris
buzden:typst-literate-idris
November 6, 2024 15:19 37s
WithFC, a datastructure to keep track of locations Idris2 and External Libs #969: Pull request #3406 synchronize by andrevidela
November 6, 2024 14:56 41m 27s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 14:56 41m 27s
WithFC, a datastructure to keep track of locations Lint Code Base #6463: Pull request #3406 synchronize by andrevidela
November 6, 2024 14:56 2m 9s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 14:56 2m 9s
WithFC, a datastructure to keep track of locations Sphinx #4602: Pull request #3406 synchronize by andrevidela
November 6, 2024 14:56 34s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 14:56 34s
WithFC, a datastructure to keep track of locations Lint the sources #6544: Pull request #3406 synchronize by andrevidela
November 6, 2024 14:56 15s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 14:56 15s
WithFC, a datastructure to keep track of locations Lint Code Base #6462: Pull request #3406 synchronize by andrevidela
November 6, 2024 10:58 2m 1s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 10:58 2m 1s
WithFC, a datastructure to keep track of locations Sphinx #4601: Pull request #3406 synchronize by andrevidela
November 6, 2024 10:58 28s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 10:58 28s
WithFC, a datastructure to keep track of locations Lint the sources #6543: Pull request #3406 synchronize by andrevidela
November 6, 2024 10:58 14s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 10:58 14s
WithFC, a datastructure to keep track of locations Idris2 and External Libs #968: Pull request #3406 synchronize by andrevidela
November 6, 2024 10:58 19m 43s andrevidela:with-fc
andrevidela:with-fc
November 6, 2024 10:58 19m 43s
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #967: Pull request #3368 synchronize by GulinSS
November 6, 2024 07:03 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 6, 2024 07:03 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6461: Pull request #3368 synchronize by GulinSS
November 6, 2024 07:03 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 6, 2024 07:03 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4600: Pull request #3368 synchronize by GulinSS
November 6, 2024 07:03 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 6, 2024 07:03 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6542: Pull request #3368 synchronize by GulinSS
November 6, 2024 07:03 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
November 6, 2024 07:03 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #966: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:24 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:24 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6460: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:24 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:24 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4599: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:24 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:24 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6541: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:24 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:24 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4598: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:11 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:11 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #965: Pull request #3368 synchronize by GulinSS
October 31, 2024 21:11 -1s GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 31, 2024 21:11 -1s