Skip to content

Actions: mmhelloworld/idris-jvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce boxing by using Idris function types pre-release #102: Commit 11fec8f pushed by mmhelloworld
November 1, 2024 22:03 17m 46s main
main
November 1, 2024 22:03 17m 46s
Reduce boxing by using Idris function types Sphinx #17: Commit 11fec8f pushed by mmhelloworld
November 1, 2024 22:03 28s main
main
November 1, 2024 22:03 28s
Reduce boxing by using Idris function types Install #240: Commit 11fec8f pushed by mmhelloworld
November 1, 2024 22:03 39m 37s main
main
November 1, 2024 22:03 39m 37s
Reduce boxing by using Idris function types Lint Code Base #108: Commit 11fec8f pushed by mmhelloworld
November 1, 2024 22:03 1m 49s main
main
November 1, 2024 22:03 1m 49s
Reduce boxing by using Idris function types Install #239: Pull request #185 synchronize by mmhelloworld
November 1, 2024 20:25 37m 11s feature/use-core
feature/use-core
November 1, 2024 20:25 37m 11s
Reduce boxing by using Idris function types Lint Code Base #107: Pull request #185 synchronize by mmhelloworld
November 1, 2024 20:25 1m 56s feature/use-core
feature/use-core
November 1, 2024 20:25 1m 56s
Reduce boxing by using Idris function types Sphinx #16: Pull request #185 synchronize by mmhelloworld
November 1, 2024 20:25 30s feature/use-core
feature/use-core
November 1, 2024 20:25 30s
Reduce boxing by using Idris function types Lint Code Base #106: Pull request #185 opened by mmhelloworld
November 1, 2024 03:06 1m 52s feature/use-core
feature/use-core
November 1, 2024 03:06 1m 52s
Reduce boxing by using Idris function types Install #238: Pull request #185 opened by mmhelloworld
November 1, 2024 03:06 39m 24s feature/use-core
feature/use-core
November 1, 2024 03:06 39m 24s
Reduce boxing by using Idris function types Sphinx #15: Pull request #185 opened by mmhelloworld
November 1, 2024 03:06 29s feature/use-core
feature/use-core
November 1, 2024 03:06 29s
release release #47: Manually run by mmhelloworld
August 12, 2024 21:46 30m 19s main
main
August 12, 2024 21:46 30m 19s
Use Core to get types and improve performance Sphinx #14: Commit b661fed pushed by mmhelloworld
August 12, 2024 19:34 26s main
main
August 12, 2024 19:34 26s
Use Core to get types and improve performance Install #237: Commit b661fed pushed by mmhelloworld
August 12, 2024 19:34 40m 15s main
main
August 12, 2024 19:34 40m 15s
Use Core to get types and improve performance Lint Code Base #105: Commit b661fed pushed by mmhelloworld
August 12, 2024 19:34 1m 47s main
main
August 12, 2024 19:34 1m 47s
Use Core to get types and improve performance pre-release #101: Commit b661fed pushed by mmhelloworld
August 12, 2024 19:34 16m 53s main
main
August 12, 2024 19:34 16m 53s
Use Core to get types and improve performance Install #236: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:54 37m 18s feature/use-core
feature/use-core
August 12, 2024 18:54 37m 18s
Use Core to get types and improve performance Sphinx #13: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:54 37s feature/use-core
feature/use-core
August 12, 2024 18:54 37s
Use Core to get types and improve performance Lint Code Base #104: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:54 1m 44s feature/use-core
feature/use-core
August 12, 2024 18:54 1m 44s
Use Core to get types and improve performance Sphinx #12: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:43 24s feature/use-core
feature/use-core
August 12, 2024 18:43 24s
Use Core to get types and improve performance Install #235: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:43 37m 3s feature/use-core
feature/use-core
August 12, 2024 18:43 37m 3s
Use Core to get types and improve performance Lint Code Base #103: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:43 1m 47s feature/use-core
feature/use-core
August 12, 2024 18:43 1m 47s
Use Core to get types and improve performance Lint Code Base #102: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:37 1m 50s feature/use-core
feature/use-core
August 12, 2024 18:37 1m 50s
Use Core to get types and improve performance Sphinx #11: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:37 46s feature/use-core
feature/use-core
August 12, 2024 18:37 46s
Use Core to get types and improve performance Install #234: Pull request #183 synchronize by mmhelloworld
August 12, 2024 18:37 37m 34s feature/use-core
feature/use-core
August 12, 2024 18:37 37m 34s
Use Core to get types and improve performance Sphinx #10: Pull request #183 synchronize by mmhelloworld
August 12, 2024 17:30 27s feature/use-core
feature/use-core
August 12, 2024 17:30 27s