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 #4764: Commit cd895e6 pushed by mattpolzin
December 27, 2024 20:59 33s package-dependency-error
package-dependency-error
December 27, 2024 20:59 33s
fix tests Lint Code Base #6625: Commit cd895e6 pushed by mattpolzin
December 27, 2024 20:59 1m 48s package-dependency-error
package-dependency-error
December 27, 2024 20:59 1m 48s
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
Improve package dependency error Sphinx #4763: Pull request #3445 synchronize by mattpolzin
December 27, 2024 20:22 35s package-dependency-error
package-dependency-error
December 27, 2024 20:22 35s
Improve package dependency error Lint the sources #6705: Pull request #3445 synchronize by mattpolzin
December 27, 2024 20:22 11s package-dependency-error
package-dependency-error
December 27, 2024 20:22 11s
Improve package dependency error Lint Code Base #6624: Pull request #3445 synchronize by mattpolzin
December 27, 2024 20:22 1m 56s package-dependency-error
package-dependency-error
December 27, 2024 20:22 1m 56s
Improve package dependency error Idris2 and External Libs #1130: Pull request #3445 synchronize by mattpolzin
December 27, 2024 20:22 31m 23s package-dependency-error
package-dependency-error
December 27, 2024 20:22 31m 23s
fix tests Idris2 and External Libs #1129: Commit c9ed4e9 pushed by mattpolzin
December 27, 2024 20:22 31m 41s package-dependency-error
package-dependency-error
December 27, 2024 20:22 31m 41s
fix tests Lint the sources #6704: Commit c9ed4e9 pushed by mattpolzin
December 27, 2024 20:22 15s package-dependency-error
package-dependency-error
December 27, 2024 20:22 15s
fix tests Sphinx #4762: Commit c9ed4e9 pushed by mattpolzin
December 27, 2024 20:22 31s package-dependency-error
package-dependency-error
December 27, 2024 20:22 31s
fix tests Lint Code Base #6623: Commit c9ed4e9 pushed by mattpolzin
December 27, 2024 20:22 2m 1s package-dependency-error
package-dependency-error
December 27, 2024 20:22 2m 1s
Improve package dependency error Sphinx #4761: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:39 29s package-dependency-error
package-dependency-error
December 27, 2024 19:39 29s
Improve package dependency error Lint Code Base #6622: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:39 1m 53s package-dependency-error
package-dependency-error
December 27, 2024 19:39 1m 53s
Improve package dependency error Idris2 and External Libs #1128: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:39 31m 39s package-dependency-error
package-dependency-error
December 27, 2024 19:39 31m 39s
Improve package dependency error Lint the sources #6703: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:39 10s package-dependency-error
package-dependency-error
December 27, 2024 19:39 10s
fix tests Lint the sources #6702: Commit 392ee27 pushed by mattpolzin
December 27, 2024 19:39 10s package-dependency-error
package-dependency-error
December 27, 2024 19:39 10s
fix tests Idris2 and External Libs #1127: Commit 392ee27 pushed by mattpolzin
December 27, 2024 19:39 31m 47s package-dependency-error
package-dependency-error
December 27, 2024 19:39 31m 47s
fix tests Sphinx #4760: Commit 392ee27 pushed by mattpolzin
December 27, 2024 19:39 26s package-dependency-error
package-dependency-error
December 27, 2024 19:39 26s
fix tests Lint Code Base #6621: Commit 392ee27 pushed by mattpolzin
December 27, 2024 19:39 1m 46s package-dependency-error
package-dependency-error
December 27, 2024 19:39 1m 46s
Improve package dependency error Idris2 and External Libs #1126: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:32 6m 59s package-dependency-error
package-dependency-error
December 27, 2024 19:32 6m 59s
Improve package dependency error Sphinx #4759: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:32 32s package-dependency-error
package-dependency-error
December 27, 2024 19:32 32s
Improve package dependency error Lint the sources #6701: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:32 16s package-dependency-error
package-dependency-error
December 27, 2024 19:32 16s
Improve package dependency error Lint Code Base #6620: Pull request #3445 synchronize by mattpolzin
December 27, 2024 19:32 1m 49s package-dependency-error
package-dependency-error
December 27, 2024 19:32 1m 49s
fix tests Lint Code Base #6619: Commit ef06485 pushed by mattpolzin
December 27, 2024 19:32 1m 50s package-dependency-error
package-dependency-error
December 27, 2024 19:32 1m 50s
fix tests Lint the sources #6700: Commit ef06485 pushed by mattpolzin
December 27, 2024 19:32 12s package-dependency-error
package-dependency-error
December 27, 2024 19:32 12s