Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,680 workflow runs
4,680 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: WIP Lint Code Base #6391: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required
[ refactor ] ScopedSnocList: WIP Idris2 and External Libs #898: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required
[ refactor ] ScopedSnocList: WIP Sphinx #4530: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required
[ refactor ] ScopedSnocList: WIP Lint the sources #6472: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required
[ doc ] Update gambit docs Lint the sources #6471: Pull request #3388 opened by dunhamsteve
September 17, 2024 04:36 11s dunhamsteve:gambit-docs
dunhamsteve:gambit-docs
September 17, 2024 04:36 11s
[ doc ] Update gambit docs Sphinx #4529: Pull request #3388 opened by dunhamsteve
September 17, 2024 04:36 30s dunhamsteve:gambit-docs
dunhamsteve:gambit-docs
September 17, 2024 04:36 30s
[ doc ] Update gambit docs Lint Code Base #6390: Pull request #3388 opened by dunhamsteve
September 17, 2024 04:36 1m 45s dunhamsteve:gambit-docs
dunhamsteve:gambit-docs
September 17, 2024 04:36 1m 45s
Handle multiline comments in Package (ipkg) Sphinx #4528: Pull request #3386 synchronize by stephen-smith
September 15, 2024 15:27 26s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 15:27 26s
Handle multiline comments in Package (ipkg) Idris2 and External Libs #897: Pull request #3386 synchronize by stephen-smith
September 15, 2024 15:27 40m 15s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 15:27 40m 15s
Handle multiline comments in Package (ipkg) Lint Code Base #6389: Pull request #3386 synchronize by stephen-smith
September 15, 2024 15:27 1m 59s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 15:27 1m 59s
Handle multiline comments in Package (ipkg) Lint the sources #6470: Pull request #3386 synchronize by stephen-smith
September 15, 2024 15:27 12s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 15:27 12s
Handle multiline comments in Package (ipkg) Lint Code Base #6388: Pull request #3386 opened by stephen-smith
September 15, 2024 02:18 1m 51s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 02:18 1m 51s
Handle multiline comments in Package (ipkg) Idris2 and External Libs #896: Pull request #3386 opened by stephen-smith
September 15, 2024 02:18 41m 8s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 02:18 41m 8s
Handle multiline comments in Package (ipkg) Lint the sources #6469: Pull request #3386 opened by stephen-smith
September 15, 2024 02:18 14s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 02:18 14s
Handle multiline comments in Package (ipkg) Sphinx #4527: Pull request #3386 opened by stephen-smith
September 15, 2024 02:18 41s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 15, 2024 02:18 41s
pages build and deployment pages-build-deployment #468: by github-pages bot
September 15, 2024 00:06 40s
September 15, 2024 00:06 40s
make buildIdris nix function still work when there are more than one … Lint the sources #6468: Commit 6d02c52 pushed by mattpolzin
September 14, 2024 23:42 12s main
main
September 14, 2024 23:42 12s
make buildIdris nix function still work when there are more than one … Lint Code Base #6387: Commit 6d02c52 pushed by mattpolzin
September 14, 2024 23:42 1m 46s main
main
September 14, 2024 23:42 1m 46s
make buildIdris nix function still work when there are more than one … Sphinx #4526: Commit 6d02c52 pushed by mattpolzin
September 14, 2024 23:42 29s main
main
September 14, 2024 23:42 29s
make buildIdris nix function still work when there are more than one … Idris2 and External Libs #895: Commit 6d02c52 pushed by mattpolzin
September 14, 2024 23:42 39m 53s main
main
September 14, 2024 23:42 39m 53s
[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output Idris2 and External Libs #894: Pull request #3385 opened by mattpolzin
September 14, 2024 22:45 41m 16s mattpolzin:buildIdris-multiple-app-dirs
mattpolzin:buildIdris-multiple-app-dirs
September 14, 2024 22:45 41m 16s
[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output Sphinx #4525: Pull request #3385 opened by mattpolzin
September 14, 2024 22:45 31s mattpolzin:buildIdris-multiple-app-dirs
mattpolzin:buildIdris-multiple-app-dirs
September 14, 2024 22:45 31s
[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output Lint the sources #6467: Pull request #3385 opened by mattpolzin
September 14, 2024 22:45 12s mattpolzin:buildIdris-multiple-app-dirs
mattpolzin:buildIdris-multiple-app-dirs
September 14, 2024 22:45 12s
[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output Lint Code Base #6386: Pull request #3385 opened by mattpolzin
September 14, 2024 22:45 1m 47s mattpolzin:buildIdris-multiple-app-dirs
mattpolzin:buildIdris-multiple-app-dirs
September 14, 2024 22:45 1m 47s
pages build and deployment pages-build-deployment #467: by github-pages bot
September 14, 2024 19:57 49s
September 14, 2024 19:57 49s