Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve package dependency error (#3445) Lint Code Base #6644: Commit 74c1123 pushed by mattpolzin
January 4, 2025 16:22 1m 46s main
main
January 4, 2025 16:22 1m 46s
pages build and deployment pages-build-deployment #493: by github-pages bot
January 2, 2025 17:53 44s gh-pages
gh-pages
January 2, 2025 17:53 44s
[ fix #3437 ] Add a check for multiple totality modifiers (#3441) Idris2 and External Libs #1149: Commit 0529a97 pushed by mattpolzin
January 2, 2025 17:31 42m 30s main
main
January 2, 2025 17:31 42m 30s
[ fix #3437 ] Add a check for multiple totality modifiers (#3441) Sphinx #4782: Commit 0529a97 pushed by mattpolzin
January 2, 2025 17:31 36s main
main
January 2, 2025 17:31 36s
[ fix #3437 ] Add a check for multiple totality modifiers (#3441) Lint the sources #6724: Commit 0529a97 pushed by mattpolzin
January 2, 2025 17:31 15s main
main
January 2, 2025 17:31 15s
[ fix #3437 ] Add a check for multiple totality modifiers (#3441) Lint Code Base #6643: Commit 0529a97 pushed by mattpolzin
January 2, 2025 17:31 1m 53s main
main
January 2, 2025 17:31 1m 53s
Improve package dependency error Idris2 and External Libs #1148: Pull request #3445 synchronize by mattpolzin
December 31, 2024 05:00 41m 31s package-dependency-error
package-dependency-error
December 31, 2024 05:00 41m 31s
Improve package dependency error Lint Code Base #6642: Pull request #3445 synchronize by mattpolzin
December 31, 2024 05:00 1m 50s package-dependency-error
package-dependency-error
December 31, 2024 05:00 1m 50s
Improve package dependency error Sphinx #4781: Pull request #3445 synchronize by mattpolzin
December 31, 2024 05:00 32s package-dependency-error
package-dependency-error
December 31, 2024 05:00 32s
Improve package dependency error Lint the sources #6723: Pull request #3445 synchronize by mattpolzin
December 31, 2024 05:00 11s package-dependency-error
package-dependency-error
December 31, 2024 05:00 11s
use path instead of string to correct duplication based on input path… Idris2 and External Libs #1147: Commit 170d42f pushed by mattpolzin
December 31, 2024 05:00 41m 30s package-dependency-error
package-dependency-error
December 31, 2024 05:00 41m 30s
use path instead of string to correct duplication based on input path… Sphinx #4780: Commit 170d42f pushed by mattpolzin
December 31, 2024 05:00 28s package-dependency-error
package-dependency-error
December 31, 2024 05:00 28s
use path instead of string to correct duplication based on input path… Lint Code Base #6641: Commit 170d42f pushed by mattpolzin
December 31, 2024 05:00 1m 50s package-dependency-error
package-dependency-error
December 31, 2024 05:00 1m 50s
use path instead of string to correct duplication based on input path… Lint the sources #6722: Commit 170d42f pushed by mattpolzin
December 31, 2024 05:00 12s package-dependency-error
package-dependency-error
December 31, 2024 05:00 12s
Improve package dependency error Lint the sources #6721: Pull request #3445 synchronize by mattpolzin
December 31, 2024 04:15 12s package-dependency-error
package-dependency-error
December 31, 2024 04:15 12s
Improve package dependency error Idris2 and External Libs #1146: Pull request #3445 synchronize by mattpolzin
December 31, 2024 04:15 31m 29s package-dependency-error
package-dependency-error
December 31, 2024 04:15 31m 29s
Improve package dependency error Sphinx #4779: Pull request #3445 synchronize by mattpolzin
December 31, 2024 04:15 30s package-dependency-error
package-dependency-error
December 31, 2024 04:15 30s
Improve package dependency error Lint Code Base #6640: Pull request #3445 synchronize by mattpolzin
December 31, 2024 04:15 1m 48s package-dependency-error
package-dependency-error
December 31, 2024 04:15 1m 48s
use path instead of string to correct duplication based on input path… Lint Code Base #6639: Commit d465592 pushed by mattpolzin
December 31, 2024 04:15 1m 49s package-dependency-error
package-dependency-error
December 31, 2024 04:15 1m 49s
use path instead of string to correct duplication based on input path… Idris2 and External Libs #1145: Commit d465592 pushed by mattpolzin
December 31, 2024 04:15 31m 43s package-dependency-error
package-dependency-error
December 31, 2024 04:15 31m 43s
use path instead of string to correct duplication based on input path… Lint the sources #6720: Commit d465592 pushed by mattpolzin
December 31, 2024 04:15 14s package-dependency-error
package-dependency-error
December 31, 2024 04:15 14s
use path instead of string to correct duplication based on input path… Sphinx #4778: Commit d465592 pushed by mattpolzin
December 31, 2024 04:15 34s package-dependency-error
package-dependency-error
December 31, 2024 04:15 34s
Improve package dependency error Idris2 and External Libs #1144: Pull request #3445 synchronize by mattpolzin
December 31, 2024 03:36 35m 6s package-dependency-error
package-dependency-error
December 31, 2024 03:36 35m 6s
Improve package dependency error Lint the sources #6719: Pull request #3445 synchronize by mattpolzin
December 31, 2024 03:36 11s package-dependency-error
package-dependency-error
December 31, 2024 03:36 11s
Improve package dependency error Sphinx #4777: Pull request #3445 synchronize by mattpolzin
December 31, 2024 03:36 36s package-dependency-error
package-dependency-error
December 31, 2024 03:36 36s