Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
938 workflow runs
938 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor Uninhabited implementation for Elem types Idris2 and External Libs #989: Pull request #3412 synchronize by ihor-rud
November 18, 2024 18:14 Action required ihor-rud:main
ihor-rud:main
November 18, 2024 18:14 Action required
[ new ] Quantity for proof in with-clauses Idris2 and External Libs #988: Pull request #3415 synchronize by spcfox
November 18, 2024 13:18 Action required spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
November 18, 2024 13:18 Action required
[ new ] Quantity for proof in with-clauses Idris2 and External Libs #987: Pull request #3415 synchronize by spcfox
November 18, 2024 13:13 Action required spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
November 18, 2024 13:13 Action required
[ new ] Quantity for proof in with-clauses Idris2 and External Libs #986: Pull request #3415 opened by spcfox
November 18, 2024 12:41 Action required spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
November 18, 2024 12:41 Action required
Add between parser combinator to Data.String.Parser Idris2 and External Libs #985: Pull request #3414 synchronize by justjoheinz
November 18, 2024 08:43 47m 47s justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 08:43 47m 47s
Add between parser combinator to Data.String.Parser Idris2 and External Libs #984: Pull request #3414 synchronize by justjoheinz
November 18, 2024 04:31 Action required justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 04:31 Action required
Add between parser combinator to Data.String.Parser Idris2 and External Libs #983: 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
[ 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 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
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
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 ] 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
WithFC, a datastructure to keep track of locations (#3406) Idris2 and External Libs #976: Commit fc3d2a0 pushed by andrevidela
November 7, 2024 23:43 41m 8s main
main
November 7, 2024 23:43 41m 8s
[RefC] Object Immortalization and Pre-Generation of Constants Idris2 and External Libs #975: Pull request #3242 synchronize by seagull-kamome
November 7, 2024 13:51 42m 38s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
November 7, 2024 13:51 42m 38s
[RefC] Object Immortalization and Pre-Generation of Constants Idris2 and External Libs #974: Pull request #3242 synchronize by seagull-kamome
November 7, 2024 13:13 38m 32s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
November 7, 2024 13:13 38m 32s
[ literate ] Support typst in literate Idris (#3403) Idris2 and External Libs #973: Commit 65ff121 pushed by gallais
November 7, 2024 11:56 41m 29s main
main
November 7, 2024 11:56 41m 29s
WithFC, a datastructure to keep track of locations Idris2 and External Libs #972: Pull request #3406 synchronize by andrevidela
November 7, 2024 10:48 41m 46s andrevidela:with-fc
andrevidela:with-fc
November 7, 2024 10:48 41m 46s
[ 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 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
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 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 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 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