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

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
refactor Uninhabited implementation for Elem types Sphinx #4622: 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
refactor Uninhabited implementation for Elem types Lint the sources #6564: 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
refactor Uninhabited implementation for Elem types Lint Code Base #6483: 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 Lint Code Base #6482: 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 Sphinx #4621: 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 Lint the sources #6563: 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 #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 Sphinx #4620: 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 Lint Code Base #6481: 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 Lint the sources #6562: 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 #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 Lint the sources #6561: 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
[ new ] Quantity for proof in with-clauses Sphinx #4619: 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
[ new ] Quantity for proof in with-clauses Lint Code Base #6480: 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
[ 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 Lint the sources #6560: Pull request #3414 synchronize by justjoheinz
November 18, 2024 08:43 17s justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 08:43 17s
Add between parser combinator to Data.String.Parser Sphinx #4618: Pull request #3414 synchronize by justjoheinz
November 18, 2024 08:43 54s justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 08:43 54s
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 Lint Code Base #6479: Pull request #3414 synchronize by justjoheinz
November 18, 2024 08:43 1m 50s justjoheinz:contrib-parser
justjoheinz:contrib-parser
November 18, 2024 08:43 1m 50s
Add between parser combinator to Data.String.Parser Lint Code Base #6478: 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 #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 Lint the sources #6559: 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 Sphinx #4617: 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