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

fix tests Sphinx #4758: Commit ef06485 pushed by mattpolzin
December 27, 2024 19:32 33s package-dependency-error
package-dependency-error
December 27, 2024 19:32 33s
fix tests Idris2 and External Libs #1125: Commit ef06485 pushed by mattpolzin
December 27, 2024 19:32 7m 1s package-dependency-error
package-dependency-error
December 27, 2024 19:32 7m 1s
Improve package dependency error Idris2 and External Libs #1124: Pull request #3445 synchronize by mattpolzin
December 27, 2024 18:50 29m 39s package-dependency-error
package-dependency-error
December 27, 2024 18:50 29m 39s
Improve package dependency error Lint the sources #6699: Pull request #3445 synchronize by mattpolzin
December 27, 2024 18:50 11s package-dependency-error
package-dependency-error
December 27, 2024 18:50 11s
Improve package dependency error Lint Code Base #6618: Pull request #3445 synchronize by mattpolzin
December 27, 2024 18:50 1m 53s package-dependency-error
package-dependency-error
December 27, 2024 18:50 1m 53s
Improve package dependency error Sphinx #4757: Pull request #3445 synchronize by mattpolzin
December 27, 2024 18:50 35s package-dependency-error
package-dependency-error
December 27, 2024 18:50 35s
clarify and expound upon package dependency resolution error message Idris2 and External Libs #1123: Commit fa7fc47 pushed by mattpolzin
December 27, 2024 18:50 29m 36s package-dependency-error
package-dependency-error
December 27, 2024 18:50 29m 36s
clarify and expound upon package dependency resolution error message Lint the sources #6698: Commit fa7fc47 pushed by mattpolzin
December 27, 2024 18:50 11s package-dependency-error
package-dependency-error
December 27, 2024 18:50 11s
clarify and expound upon package dependency resolution error message Lint Code Base #6617: Commit fa7fc47 pushed by mattpolzin
December 27, 2024 18:50 1m 43s package-dependency-error
package-dependency-error
December 27, 2024 18:50 1m 43s
clarify and expound upon package dependency resolution error message Sphinx #4756: Commit fa7fc47 pushed by mattpolzin
December 27, 2024 18:50 27s package-dependency-error
package-dependency-error
December 27, 2024 18:50 27s
pages build and deployment pages-build-deployment #492: by github-pages bot
December 27, 2024 15:38 38s gh-pages
gh-pages
December 27, 2024 15:38 38s
When searching for packages, rule out incompatible TTC versions (#3444) Lint Code Base #6616: Commit eff855d pushed by mattpolzin
December 27, 2024 15:15 1m 53s main
main
December 27, 2024 15:15 1m 53s
When searching for packages, rule out incompatible TTC versions (#3444) Lint the sources #6697: Commit eff855d pushed by mattpolzin
December 27, 2024 15:15 12s main
main
December 27, 2024 15:15 12s
When searching for packages, rule out incompatible TTC versions (#3444) Sphinx #4755: Commit eff855d pushed by mattpolzin
December 27, 2024 15:15 36s main
main
December 27, 2024 15:15 36s
When searching for packages, rule out incompatible TTC versions (#3444) Idris2 and External Libs #1122: Commit eff855d pushed by mattpolzin
December 27, 2024 15:15 42m 8s main
main
December 27, 2024 15:15 42m 8s
When searching for packages, rule out incompatible TTC versions Idris2 and External Libs #1121: Pull request #3444 synchronize by mattpolzin
December 26, 2024 21:56 39m 59s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 21:56 39m 59s
When searching for packages, rule out incompatible TTC versions Sphinx #4754: Pull request #3444 synchronize by mattpolzin
December 26, 2024 21:56 30s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 21:56 30s
When searching for packages, rule out incompatible TTC versions Lint the sources #6696: Pull request #3444 synchronize by mattpolzin
December 26, 2024 21:56 14s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 21:56 14s
When searching for packages, rule out incompatible TTC versions Lint Code Base #6615: Pull request #3444 synchronize by mattpolzin
December 26, 2024 21:56 1m 58s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 21:56 1m 58s
When searching for packages, rule out incompatible TTC versions Lint the sources #6695: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:53 11s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:53 11s
When searching for packages, rule out incompatible TTC versions Lint Code Base #6614: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:53 1m 48s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:53 1m 48s
When searching for packages, rule out incompatible TTC versions Sphinx #4753: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:53 29s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:53 29s
When searching for packages, rule out incompatible TTC versions Idris2 and External Libs #1120: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:53 41m 44s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:53 41m 44s
When searching for packages, rule out incompatible TTC versions Lint Code Base #6613: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:46 1m 52s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:46 1m 52s
When searching for packages, rule out incompatible TTC versions Sphinx #4752: Pull request #3444 synchronize by mattpolzin
December 26, 2024 20:46 1m 9s mattpolzin:rule-out-ttc-version
mattpolzin:rule-out-ttc-version
December 26, 2024 20:46 1m 9s