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 Sphinx #4276: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 37s package-json
package-json
June 2, 2024 22:25 37s
Add an option that dumps package details to JSON Lint Code Base #6137: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 1m 58s package-json
package-json
June 2, 2024 22:25 1m 58s
maybe just don't collide with existing equally good fixity Lint Code Base #6136: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 1m 57s package-json
package-json
June 2, 2024 22:25 1m 57s
maybe just don't collide with existing equally good fixity Idris2 and External Libs #663: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 20m 34s package-json
package-json
June 2, 2024 22:25 20m 34s
maybe just don't collide with existing equally good fixity Lint the sources #6217: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 11s package-json
package-json
June 2, 2024 22:25 11s
maybe just don't collide with existing equally good fixity Sphinx #4275: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 31s package-json
package-json
June 2, 2024 22:25 31s
Add an option that dumps package details to JSON Idris2 and External Libs #662: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 39m 17s package-json
package-json
June 2, 2024 21:39 39m 17s
Add an option that dumps package details to JSON Lint the sources #6216: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 15s package-json
package-json
June 2, 2024 21:39 15s
Add an option that dumps package details to JSON Sphinx #4274: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 47s package-json
package-json
June 2, 2024 21:39 47s
Add an option that dumps package details to JSON Lint Code Base #6135: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 2m 1s package-json
package-json
June 2, 2024 21:39 2m 1s
cleanup Idris2 and External Libs #661: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 40m 20s package-json
package-json
June 2, 2024 21:31 40m 20s
cleanup Lint the sources #6215: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 15s package-json
package-json
June 2, 2024 21:31 15s
cleanup Sphinx #4273: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 30s package-json
package-json
June 2, 2024 21:31 30s
cleanup Lint Code Base #6134: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 1m 58s package-json
package-json
June 2, 2024 21:31 1m 58s
Add a test for ipkg json dump Idris2 and External Libs #660: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 11m 28s package-json
package-json
June 2, 2024 21:20 11m 28s
Add a test for ipkg json dump Lint Code Base #6133: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 1m 59s package-json
package-json
June 2, 2024 21:20 1m 59s
Add a test for ipkg json dump Sphinx #4272: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 28s package-json
package-json
June 2, 2024 21:20 28s
Add a test for ipkg json dump Lint the sources #6214: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 11s package-json
package-json
June 2, 2024 21:20 11s
make dependency output easier to ingest by another tool Idris2 and External Libs #659: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 17m 5s package-json
package-json
June 2, 2024 21:03 17m 5s
make dependency output easier to ingest by another tool Lint Code Base #6132: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 1m 56s package-json
package-json
June 2, 2024 21:03 1m 56s
make dependency output easier to ingest by another tool Lint the sources #6213: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 11s package-json
package-json
June 2, 2024 21:03 11s
make dependency output easier to ingest by another tool Sphinx #4271: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 39s package-json
package-json
June 2, 2024 21:03 39s
expose ipkg json dump as new option Lint the sources #6212: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 12s package-json
package-json
June 2, 2024 20:40 12s
expose ipkg json dump as new option Sphinx #4270: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 32s package-json
package-json
June 2, 2024 20:40 32s
expose ipkg json dump as new option Idris2 and External Libs #658: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 24m 2s package-json
package-json
June 2, 2024 20:40 24m 2s