Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
1,023 workflow runs
1,023 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Add non-blocking and timeout variants for channelGet Idris2 and External Libs #1155: Pull request #3435 synchronize by Matthew-Mosior
January 7, 2025 21:46 6h 6m 13s Matthew-Mosior:Issue-3424
Matthew-Mosior:Issue-3424
January 7, 2025 21:46 6h 6m 13s
Parser refactor Idris2 and External Libs #1154: Pull request #3450 synchronize by andrevidela
January 7, 2025 18:13 42m 25s andrevidela:parser-refactor
andrevidela:parser-refactor
January 7, 2025 18:13 42m 25s
only FC changes (#3460) Idris2 and External Libs #1153: Commit 09088a1 pushed by andrevidela
January 7, 2025 11:39 41m 58s main
main
January 7, 2025 11:39 41m 58s
FC Changes from #3450 Idris2 and External Libs #1152: Pull request #3460 opened by andrevidela
January 6, 2025 20:56 42m 14s withFC-parser-refactor
withFC-parser-refactor
January 6, 2025 20:56 42m 14s
only FC changes Idris2 and External Libs #1151: Commit 8f3fe91 pushed by andrevidela
January 6, 2025 20:54 41m 32s withFC-parser-refactor
withFC-parser-refactor
January 6, 2025 20:54 41m 32s
Improve package dependency error (#3445) Idris2 and External Libs #1150: Commit 74c1123 pushed by mattpolzin
January 4, 2025 16:22 42m 7s main
main
January 4, 2025 16:22 42m 7s
[ 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
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
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
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
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
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
use path instead of string to correct duplication based on input path… Idris2 and External Libs #1143: Commit 0e1ded1 pushed by mattpolzin
December 31, 2024 03:36 35m 8s package-dependency-error
package-dependency-error
December 31, 2024 03:36 35m 8s
Improve package dependency error Idris2 and External Libs #1142: Pull request #3445 synchronize by mattpolzin
December 28, 2024 21:13 29m 29s package-dependency-error
package-dependency-error
December 28, 2024 21:13 29m 29s
see if somehow a seemingly duplicate path is being added Idris2 and External Libs #1141: Commit 7cc45bc pushed by mattpolzin
December 28, 2024 21:13 30m 55s package-dependency-error
package-dependency-error
December 28, 2024 21:13 30m 55s
Improve package dependency error Idris2 and External Libs #1140: Pull request #3445 synchronize by mattpolzin
December 28, 2024 19:47 29m 48s package-dependency-error
package-dependency-error
December 28, 2024 19:47 29m 48s
windows path tweaks & debug duped path Idris2 and External Libs #1139: Commit e028ec8 pushed by mattpolzin
December 28, 2024 19:47 29m 56s package-dependency-error
package-dependency-error
December 28, 2024 19:47 29m 56s
Improve package dependency error Idris2 and External Libs #1138: Pull request #3445 synchronize by mattpolzin
December 28, 2024 16:59 29m 25s package-dependency-error
package-dependency-error
December 28, 2024 16:59 29m 25s
windows path tweaks & debug duped path Idris2 and External Libs #1137: Commit 26af9d8 pushed by mattpolzin
December 28, 2024 16:59 31m 9s package-dependency-error
package-dependency-error
December 28, 2024 16:59 31m 9s
Improve package dependency error Idris2 and External Libs #1136: Pull request #3445 synchronize by mattpolzin
December 28, 2024 03:40 30m 44s package-dependency-error
package-dependency-error
December 28, 2024 03:40 30m 44s
windows path tweaks Idris2 and External Libs #1135: Commit 18285dd pushed by mattpolzin
December 28, 2024 03:40 28m 55s package-dependency-error
package-dependency-error
December 28, 2024 03:40 28m 55s
Improve package dependency error Idris2 and External Libs #1134: Pull request #3445 synchronize by mattpolzin
December 28, 2024 02:54 29m 25s package-dependency-error
package-dependency-error
December 28, 2024 02:54 29m 25s
debug windows Idris2 and External Libs #1133: Commit eca14f8 pushed by mattpolzin
December 28, 2024 02:54 29m 31s package-dependency-error
package-dependency-error
December 28, 2024 02:54 29m 31s
Improve package dependency error Idris2 and External Libs #1132: Pull request #3445 synchronize by mattpolzin
December 27, 2024 20:59 31m 1s package-dependency-error
package-dependency-error
December 27, 2024 20:59 31m 1s
fix tests Idris2 and External Libs #1131: Commit cd895e6 pushed by mattpolzin
December 27, 2024 20:59 30m 49s package-dependency-error
package-dependency-error
December 27, 2024 20:59 30m 49s