Skip to content

Actions: idris-lang/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
1,158 workflow runs
1,158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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) 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 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
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
[ 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
[ new ] Support for dumping a package's install location (#3381) Lint Code Base #6385: Commit 09cb83d pushed by mattpolzin
September 14, 2024 19:33 1m 59s main
main
September 14, 2024 19:33 1m 59s
Correct ipkg comment docs Lint Code Base #6384: Pull request #3384 opened by stephen-smith
September 14, 2024 14:54 1m 56s stephen-smith:docs-ipkg-no-multiline-comments
stephen-smith:docs-ipkg-no-multiline-comments
September 14, 2024 14:54 1m 56s
[ new ] Support for dumping a package's install location Lint Code Base #6383: Pull request #3381 synchronize by mattpolzin
September 11, 2024 15:35 1m 59s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 15:35 1m 59s
[ new ] Support for dumping a package's install location Lint Code Base #6382: Pull request #3381 synchronize by mattpolzin
September 11, 2024 15:32 1m 50s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 15:32 1m 50s
[ new ] Support for dumping a package's install location Lint Code Base #6381: Pull request #3381 synchronize by mattpolzin
September 11, 2024 14:47 2m 8s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 14:47 2m 8s
[ base ] Add atomically function (#3380) Lint Code Base #6380: Commit 53f448c pushed by gallais
September 11, 2024 08:18 1m 50s main
main
September 11, 2024 08:18 1m 50s
[ base ] Add atomically function Lint Code Base #6379: Pull request #3380 synchronize by Matthew-Mosior
September 11, 2024 02:59 1m 49s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 11, 2024 02:59 1m 49s
[ new ] Support for dumping a package's install location Lint Code Base #6378: Pull request #3381 synchronize by mattpolzin
September 11, 2024 02:55 1m 46s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 02:55 1m 46s
include hidden files in artifacts built by CI (#3382) Lint Code Base #6377: Commit 7cbe95b pushed by mattpolzin
September 11, 2024 02:52 1m 50s main
main
September 11, 2024 02:52 1m 50s
include hidden files in artifact Lint Code Base #6376: Pull request #3382 opened by mattpolzin
September 11, 2024 02:07 1m 49s mattpolzin:fix-ci-artifact-uploads
mattpolzin:fix-ci-artifact-uploads
September 11, 2024 02:07 1m 49s
[ new ] Support for dumping a package's install location Lint Code Base #6375: Pull request #3381 opened by mattpolzin
September 11, 2024 00:28 2m 44s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 00:28 2m 44s
[ base ] Add atomically function Lint Code Base #6374: Pull request #3380 synchronize by Matthew-Mosior
September 8, 2024 01:42 1m 51s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 8, 2024 01:42 1m 51s
[ base ] Add atomically function Lint Code Base #6373: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:48 1m 49s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:48 1m 49s
[ base ] Add atomically function Lint Code Base #6372: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:47 1m 46s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:47 1m 46s
[ base ] Add atomically function Lint Code Base #6371: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 20:38 1m 50s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 20:38 1m 50s
[ base ] Add atomically function Lint Code Base #6370: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 14:59 1m 48s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 14:59 1m 48s
[ base ] Add atomically function Lint Code Base #6369: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 14:49 2m 5s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 14:49 2m 5s
[ base ] Add atomically function Lint Code Base #6368: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:41 1m 46s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:41 1m 46s
[ base ] Add atomically function Lint Code Base #6367: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:38 1m 49s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:38 1m 49s
[ base ] Add atomically function Lint Code Base #6366: Pull request #3380 synchronize by Matthew-Mosior
September 7, 2024 00:28 1m 48s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 7, 2024 00:28 1m 48s