Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,687 workflow run results
3,687 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add an option that dumps package details to JSON Idris2 and External Libs #669: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 41m 39s package-json
package-json
June 2, 2024 23:38 41m 39s
Add an option that dumps package details to JSON Lint the sources #6224: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 11s package-json
package-json
June 2, 2024 23:38 11s
Add an option that dumps package details to JSON Sphinx #4282: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 33s package-json
package-json
June 2, 2024 23:38 33s
Add an option that dumps package details to JSON Lint Code Base #6143: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 2m 6s package-json
package-json
June 2, 2024 23:38 2m 6s
Add note to CHANGELOG_NEXT Sphinx #4281: Commit be72fdb pushed by mattpolzin
June 2, 2024 23:38 29s package-json
package-json
June 2, 2024 23:38 29s
Add note to CHANGELOG_NEXT Lint the sources #6223: Commit be72fdb pushed by mattpolzin
June 2, 2024 23:38 16s package-json
package-json
June 2, 2024 23:38 16s
Add note to CHANGELOG_NEXT Lint Code Base #6142: Commit be72fdb pushed by mattpolzin
June 2, 2024 23:38 2m 5s package-json
package-json
June 2, 2024 23:38 2m 5s
Add an option that dumps package details to JSON Idris2 and External Libs #668: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 31m 57s package-json
package-json
June 2, 2024 23:07 31m 57s
Add an option that dumps package details to JSON Sphinx #4280: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 28s package-json
package-json
June 2, 2024 23:07 28s
Add an option that dumps package details to JSON Lint the sources #6222: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 11s package-json
package-json
June 2, 2024 23:07 11s
Add an option that dumps package details to JSON Lint Code Base #6141: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 2m 12s package-json
package-json
June 2, 2024 23:07 2m 12s
Add new module to api ipkg file Lint the sources #6221: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 12s package-json
package-json
June 2, 2024 23:07 12s
Add new module to api ipkg file Idris2 and External Libs #667: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 41m 3s package-json
package-json
June 2, 2024 23:07 41m 3s
Add new module to api ipkg file Sphinx #4279: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 33s package-json
package-json
June 2, 2024 23:07 33s
Add new module to api ipkg file Lint Code Base #6140: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 1m 56s package-json
package-json
June 2, 2024 23:07 1m 56s
Add an option that dumps package details to JSON Lint Code Base #6139: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 2m 9s package-json
package-json
June 2, 2024 22:45 2m 9s
Add an option that dumps package details to JSON Lint the sources #6220: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 12s package-json
package-json
June 2, 2024 22:45 12s
Add an option that dumps package details to JSON Sphinx #4278: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 30s package-json
package-json
June 2, 2024 22:45 30s
Add an option that dumps package details to JSON Idris2 and External Libs #666: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 21m 55s package-json
package-json
June 2, 2024 22:45 21m 55s
make new operator private Lint Code Base #6138: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 2m 8s package-json
package-json
June 2, 2024 22:45 2m 8s
make new operator private Sphinx #4277: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 29s package-json
package-json
June 2, 2024 22:45 29s
make new operator private Lint the sources #6219: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 11s package-json
package-json
June 2, 2024 22:45 11s
make new operator private Idris2 and External Libs #665: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 21m 55s package-json
package-json
June 2, 2024 22:45 21m 55s
Add an option that dumps package details to JSON Lint the sources #6218: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 12s package-json
package-json
June 2, 2024 22:25 12s
Add an option that dumps package details to JSON Sphinx #4276: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 37s package-json
package-json
June 2, 2024 22:25 37s