Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,988 workflow runs
3,988 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] Use List1 for determining parameters Sphinx #4858: Pull request #3489 opened by spcfox
February 12, 2025 14:35 40s spcfox:list1-determining
spcfox:list1-determining
February 12, 2025 14:35 40s
[ refactor ] Use List1 for determining parameters Idris2 and External Libs #1224: Pull request #3489 opened by spcfox
February 12, 2025 14:35 42m 26s spcfox:list1-determining
spcfox:list1-determining
February 12, 2025 14:35 42m 26s
[ refactor ] Use List1 for determining parameters Lint the sources #6800: Pull request #3489 opened by spcfox
February 12, 2025 14:35 17s spcfox:list1-determining
spcfox:list1-determining
February 12, 2025 14:35 17s
[ refactor ] Use List1 for determining parameters Lint Code Base #6719: Pull request #3489 opened by spcfox
February 12, 2025 14:35 1m 50s spcfox:list1-determining
spcfox:list1-determining
February 12, 2025 14:35 1m 50s
[ fix ] case splitting with multiple implicits Lint the sources #6799: Pull request #3488 opened by dunhamsteve
February 12, 2025 06:50 13s dunhamsteve:issue-3487
dunhamsteve:issue-3487
February 12, 2025 06:50 13s
[ fix ] case splitting with multiple implicits Sphinx #4857: Pull request #3488 opened by dunhamsteve
February 12, 2025 06:50 1m 44s dunhamsteve:issue-3487
dunhamsteve:issue-3487
February 12, 2025 06:50 1m 44s
[ fix ] case splitting with multiple implicits Idris2 and External Libs #1223: Pull request #3488 opened by dunhamsteve
February 12, 2025 06:50 1h 1m 1s dunhamsteve:issue-3487
dunhamsteve:issue-3487
February 12, 2025 06:50 1h 1m 1s
[ fix ] case splitting with multiple implicits Lint Code Base #6718: Pull request #3488 opened by dunhamsteve
February 12, 2025 06:50 1m 47s dunhamsteve:issue-3487
dunhamsteve:issue-3487
February 12, 2025 06:50 1m 47s
pages build and deployment pages-build-deployment #508: by github-pages bot
February 11, 2025 11:43 43s gh-pages
gh-pages
February 11, 2025 11:43 43s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Idris2 and External Libs #1222: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 47m 57s main
main
February 11, 2025 11:13 47m 57s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Sphinx #4856: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 35s main
main
February 11, 2025 11:13 35s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Lint Code Base #6717: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 1m 55s main
main
February 11, 2025 11:13 1m 55s
Make CONS, NIL, JUST and NOTHING constructors have uniform na… Lint the sources #6798: Commit a3aaef0 pushed by Z-snails
February 11, 2025 11:13 13s main
main
February 11, 2025 11:13 13s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Idris2 and External Libs #1221: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:52 43m 18s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:52 43m 18s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Lint Code Base #6716: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:52 1m 50s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:52 1m 50s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Lint the sources #6797: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:52 13s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:52 13s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Sphinx #4855: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:52 28s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:52 28s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Lint the sources #6796: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:50 10s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:50 10s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Lint Code Base #6715: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:50 1m 49s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:50 1m 49s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Sphinx #4854: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:50 30s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:50 30s
Make CONS, NIL, JUST and NOTHING constructors have uniform names Idris2 and External Libs #1220: Pull request #3486 synchronize by Z-snails
February 9, 2025 10:50 2m 25s Z-snails:builtin-cons-names
Z-snails:builtin-cons-names
February 9, 2025 10:50 2m 25s
pages build and deployment pages-build-deployment #507: by github-pages bot
February 9, 2025 09:56 35s gh-pages
gh-pages
February 9, 2025 09:56 35s
Empty data declarations are confused with forward data declarations (… Sphinx #4853: Commit d9ed15f pushed by gallais
February 9, 2025 09:33 1m 39s main
main
February 9, 2025 09:33 1m 39s
Empty data declarations are confused with forward data declarations (… Idris2 and External Libs #1219: Commit d9ed15f pushed by gallais
February 9, 2025 09:33 41m 38s main
main
February 9, 2025 09:33 41m 38s
Empty data declarations are confused with forward data declarations (… Lint Code Base #6714: Commit d9ed15f pushed by gallais
February 9, 2025 09:33 1m 51s main
main
February 9, 2025 09:33 1m 51s