Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] add 45 minute timeout to jobs running tests Idris2 and External Libs #1279: Pull request #3504 opened by dunhamsteve
February 28, 2025 18:06 43m 51s dunhamsteve:test-timeout
dunhamsteve:test-timeout
February 28, 2025 18:06 43m 51s
[ ci ] add 45 minute timeout to jobs running tests Lint the sources #6857: Pull request #3504 opened by dunhamsteve
February 28, 2025 18:06 14s dunhamsteve:test-timeout
dunhamsteve:test-timeout
February 28, 2025 18:06 14s
[ ci ] add 45 minute timeout to jobs running tests Sphinx #4915: Pull request #3504 opened by dunhamsteve
February 28, 2025 18:06 35s dunhamsteve:test-timeout
dunhamsteve:test-timeout
February 28, 2025 18:06 35s
[ ci ] add 45 minute timeout to jobs running tests Lint Code Base #6776: Pull request #3504 opened by dunhamsteve
February 28, 2025 18:06 1m 49s dunhamsteve:test-timeout
dunhamsteve:test-timeout
February 28, 2025 18:06 1m 49s
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #1278: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:45 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:45 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6775: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:45 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:45 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6856: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:45 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:45 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4914: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:45 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:45 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4913: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:42 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6855: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:42 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6774: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:42 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #1277: Pull request #3368 synchronize by GulinSS
February 28, 2025 17:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
February 28, 2025 17:42 Action required
pages build and deployment pages-build-deployment #517: by github-pages bot
February 28, 2025 15:43 36s gh-pages
gh-pages
February 28, 2025 15:43 36s
[ refactor ] Refactor types for log topic validation (#3503) Sphinx #4912: Commit 6918997 pushed by buzden
February 28, 2025 15:19 37s main
main
February 28, 2025 15:19 37s
[ refactor ] Refactor types for log topic validation (#3503) Idris2 and External Libs #1276: Commit 6918997 pushed by buzden
February 28, 2025 15:19 43m 42s main
main
February 28, 2025 15:19 43m 42s
[ refactor ] Refactor types for log topic validation (#3503) Lint Code Base #6773: Commit 6918997 pushed by buzden
February 28, 2025 15:19 2m 18s main
main
February 28, 2025 15:19 2m 18s
[ refactor ] Refactor types for log topic validation (#3503) Lint the sources #6854: Commit 6918997 pushed by buzden
February 28, 2025 15:19 13s main
main
February 28, 2025 15:19 13s
[ refactor ] Refactoring types for log topic validation Lint Code Base #6772: Pull request #3503 opened by spcfox
February 28, 2025 13:16 1m 55s spcfox:log-topic
spcfox:log-topic
February 28, 2025 13:16 1m 55s
[ refactor ] Refactoring types for log topic validation Lint the sources #6853: Pull request #3503 opened by spcfox
February 28, 2025 13:16 12s spcfox:log-topic
spcfox:log-topic
February 28, 2025 13:16 12s
[ refactor ] Refactoring types for log topic validation Sphinx #4911: Pull request #3503 opened by spcfox
February 28, 2025 13:16 38s spcfox:log-topic
spcfox:log-topic
February 28, 2025 13:16 38s
[ refactor ] Refactoring types for log topic validation Idris2 and External Libs #1275: Pull request #3503 opened by spcfox
February 28, 2025 13:16 42m 44s spcfox:log-topic
spcfox:log-topic
February 28, 2025 13:16 42m 44s
pages build and deployment pages-build-deployment #516: by github-pages bot
February 27, 2025 10:55 37s gh-pages
gh-pages
February 27, 2025 10:55 37s
[ fix ] fix shadowing issue in record elaboration and reflection Lint the sources #6852: Commit eb5d11b pushed by gallais
February 27, 2025 10:32 11s main
main
February 27, 2025 10:32 11s
[ fix ] fix shadowing issue in record elaboration and reflection Sphinx #4910: Commit eb5d11b pushed by gallais
February 27, 2025 10:32 38s main
main
February 27, 2025 10:32 38s
[ fix ] fix shadowing issue in record elaboration and reflection Idris2 and External Libs #1274: Commit eb5d11b pushed by gallais
February 27, 2025 10:32 42m 46s main
main
February 27, 2025 10:32 42m 46s