8000 Workflow runs · idris-lang/Idris2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,779 workflow runs
2,779 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ error ] Make error message on wrongly put import to be cleaner Lint the sources #6965: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 9s main
main
May 23, 2025 12:02 9s
[ error ] Make error message on wrongly put import to be cleaner Lint Code Base #6884: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 1m 45s main
main
May 23, 2025 12:02 1m 45s
[ error ] Make error message on wrongly put import to be cleaner Sphinx #5023: Commit 26127b9 pushed by buzden
May 23, 2025 12:02 1m 19s main
main
May 23, 2025 12:02 1m 19s
[ error ] Make error message on wrongly put import to be cleaner Sphinx #5022: Pull request #3560 opened by buzden
May 23, 2025 11:15 31s buzden:cleaner-message-on-wrongly-placed-import
buzden:cleaner-message-on-wrongly-placed-import
May 23, 2025 11:15 31s
[ error ] Make error message on wrongly put import to be cleaner Lint the sources #6964: Pull request #3560 opened by buzden
May 23, 2025 11:15 11s buzden:cleaner-message-on-wrongly-placed-import
buzden:cleaner-message-on-wrongly-placed-import
May 23, 2025 11:15 11s
[ error ] Make error message on wrongly put import to be cleaner Idris2 and External Libs #1386: Pull request #3560 opened by buzden
May 23, 2025 11:15 43m 54s buzden:cleaner-message-on-wrongly-placed-import
buzden:cleaner-message-on-wrongly-placed-import
May 23, 2025 11:15 43m 54s
[ error ] Make error message on wrongly put import to be cleaner Lint Code Base #6883: Pull request #3560 opened by buzden
May 23, 2025 11:15 1m 50s buzden:cleaner-message-on-wrongly-placed-import
buzden:cleaner-message-on-wrongly-placed-import
May 23, 2025 11:15 1m 50s
pages build and deployment pages-build-deployment #539: by github-pages bot
May 22, 2025 15:39 37s gh-pages
gh-pages
May 22, 2025 15:39 37s
Fix 3549 (#3551) Lint the sources #6963: Commit 415fe67 pushed by mattpolzin
May 22, 2025 15:13 8s main
main
May 22, 2025 15:13 8s
Fix 3549 (#3551) Lint Code Base #6882: Commit 415fe67 pushed by mattpolzin
May 22, 2025 15:13 1m 48s main
main
May 22, 2025 15:13 1m 48s
Fix 3549 (#3551) Idris2 and External Libs #1385: Commit 415fe67 pushed by mattpolzin
May 22, 2025 15:13 44m 27s main
main
May 22, 2025 15:13 44m 27s
Fix 3549 (#3551) Sphinx #5021: Commit 415fe67 pushed by mattpolzin
May 22, 2025 15:13 1m 18s main
main
May 22, 2025 15:13 1m 18s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Lint the sources #6962: Pull request #3559 synchronize by buzden
May 22, 2025 14:14 11s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 14:14 11s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Sphinx #5020: Pull request #3559 synchronize by buzden
May 22, 2025 14:14 30s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 14:14 30s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Idris2 and External Libs #1384: Pull request #3559 synchronize by buzden
May 22, 2025 14:14 36m 55s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 14:14 36m 55s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Lint Code Base #6881: Pull request #3559 synchronize by buzden
May 22, 2025 14:14 1m 51s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 14:14 1m 51s
pages build and deployment pages-build-deployment #538: by github-pages bot
May 22, 2025 13:40 55s gh-pages
gh-pages
May 22, 2025 13:40 55s
[ fix ] Process PiInfo in convert and unify (#3541) Lint the sources #6961: Commit 68d1340 pushed by buzden
May 22, 2025 13:14 9s main
main
May 22, 2025 13:14 9s
[ fix ] Process PiInfo in convert and unify (#3541) Sphinx #5019: Commit 68d1340 pushed by buzden
May 22, 2025 13:14 1m 15s main
main
May 22, 2025 13:14 1m 15s
[ fix ] Process PiInfo in convert and unify (#3541) Lint Code Base #6880: Commit 68d1340 pushed by buzden
May 22, 2025 13:14 1m 50s main
main
May 22, 2025 13:14 1m 50s
[ fix ] Process PiInfo in convert and unify (#3541) Idris2 and External Libs #1383: Commit 68d1340 pushed by buzden
May 22, 2025 13:14 45m 4s main
main
May 22, 2025 13:14 45m 4s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Lint the sources #6960: Pull request #3559 synchronize by buzden
May 22, 2025 11:34 9s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 11:34 9s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Idris2 and External Libs #1382: Pull request #3559 synchronize by buzden
May 22, 2025 11:34 36m 21s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 11:34 36m 21s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Lint Code Base #6879: Pull request #3559 synchronize by buzden
May 22, 2025 11:34 1m 48s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 11:34 1m 48s
[ base ] Reorganise, slightly extend and harmonise Data.*.Quantities Sphinx #5018: Pull request #3559 synchronize by buzden
May 22, 2025 11:34 1m 31s buzden:improve-quantifiers
buzden:improve-quantifiers
May 22, 2025 11:34 1m 31s
0