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

[ base ] Add atomically function Sphinx #4518: Pull request #3380 synchronize by Matthew-Mosior
September 11, 2024 02:59 35s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 11, 2024 02:59 35s
[ base ] Add atomically function Idris2 and External Libs #888: Pull request #3380 synchronize by Matthew-Mosior
September 11, 2024 02:59 39m 41s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 11, 2024 02:59 39m 41s
[ 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
[ base ] Add atomically function Lint the sources #6460: Pull request #3380 synchronize by Matthew-Mosior
September 11, 2024 02:59 14s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 11, 2024 02:59 14s
[ new ] Support for dumping a package's install location Sphinx #4517: Pull request #3381 synchronize by mattpolzin
September 11, 2024 02:55 53s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 02:55 53s
[ new ] Support for dumping a package's install location Lint the sources #6459: Pull request #3381 synchronize by mattpolzin
September 11, 2024 02:55 13s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 02:55 13s
[ new ] Support for dumping a package's install location Idris2 and External Libs #887: Pull request #3381 synchronize by mattpolzin
September 11, 2024 02:55 45m 14s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 02:55 45m 14s
[ 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) Idris2 and External Libs #886: Commit 7cbe95b pushed by mattpolzin
September 11, 2024 02:52 41m 15s main
main
September 11, 2024 02:52 41m 15s
include hidden files in artifacts built by CI (#3382) Lint the sources #6458: Commit 7cbe95b pushed by mattpolzin
September 11, 2024 02:52 11s main
main
September 11, 2024 02:52 11s
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 artifacts built by CI (#3382) Sphinx #4516: Commit 7cbe95b pushed by mattpolzin
September 11, 2024 02:52 30s main
main
September 11, 2024 02:52 30s
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
include hidden files in artifact Lint the sources #6457: Pull request #3382 opened by mattpolzin
September 11, 2024 02:07 12s mattpolzin:fix-ci-artifact-uploads
mattpolzin:fix-ci-artifact-uploads
September 11, 2024 02:07 12s
include hidden files in artifact Idris2 and External Libs #885: Pull request #3382 opened by mattpolzin
September 11, 2024 02:07 40m 58s mattpolzin:fix-ci-artifact-uploads
mattpolzin:fix-ci-artifact-uploads
September 11, 2024 02:07 40m 58s
include hidden files in artifact Sphinx #4515: Pull request #3382 opened by mattpolzin
September 11, 2024 02:07 1m 7s mattpolzin:fix-ci-artifact-uploads
mattpolzin:fix-ci-artifact-uploads
September 11, 2024 02:07 1m 7s
[ new ] Support for dumping a package's install location Lint the sources #6456: Pull request #3381 opened by mattpolzin
September 11, 2024 00:28 15s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 00:28 15s
[ new ] Support for dumping a package's install location Idris2 and External Libs #884: Pull request #3381 opened by mattpolzin
September 11, 2024 00:28 32m 0s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 00:28 32m 0s
[ new ] Support for dumping a package's install location Sphinx #4514: Pull request #3381 opened by mattpolzin
September 11, 2024 00:28 30s mattpolzin:more-robust-c-lib-nix-support
mattpolzin:more-robust-c-lib-nix-support
September 11, 2024 00:28 30s
[ 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 Sphinx #4513: Pull request #3380 synchronize by Matthew-Mosior
September 8, 2024 01:42 52s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 8, 2024 01:42 52s
[ base ] Add atomically function Idris2 and External Libs #883: Pull request #3380 synchronize by Matthew-Mosior
September 8, 2024 01:42 32m 48s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 8, 2024 01:42 32m 48s
[ base ] Add atomically function Lint the sources #6455: Pull request #3380 synchronize by Matthew-Mosior
September 8, 2024 01:42 16s Matthew-Mosior:atomicModifyIORef
Matthew-Mosior:atomicModifyIORef
September 8, 2024 01:42 16s
[ 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