Skip to content

Actions: mmhelloworld/idris-jvm

Actions

Install

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update server id to fix maven publish error Install #257: Commit d59d70e pushed by mmhelloworld
July 27, 2025 04:11 36m 44s main
main
July 27, 2025 04:11 36m 44s
Update server id to fix maven publish error Install #256: Pull request #192 opened by mmhelloworld
July 27, 2025 04:11 36m 57s feature/ossrh-to-central
feature/ossrh-to-central
July 27, 2025 04:11 36m 57s
Update gpg plugin version, enable debug mode to debug Maven publish Install #255: Commit 0829a4f pushed by mmhelloworld
July 27, 2025 03:24 37m 47s main
main
July 27, 2025 03:24 37m 47s
Update gpg plugin version, enable debug mode to debug Maven publish Install #254: Pull request #191 opened by mmhelloworld
July 27, 2025 03:24 36m 51s feature/ossrh-to-central
feature/ossrh-to-central
July 27, 2025 03:24 36m 51s
Migrate to Maven central as OSSRH reached end-of-life Install #253: Commit 18bcdf2 pushed by mmhelloworld
July 27, 2025 01:49 37m 37s main
main
July 27, 2025 01:49 37m 37s
Migrate to Maven central as OSSRH reached end-of-life Install #252: Pull request #190 synchronize by mmhelloworld
July 27, 2025 00:36 36m 33s feature/ossrh-to-central
feature/ossrh-to-central
July 27, 2025 00:36 36m 33s
Migrate to Maven central as OSSRH reached end-of-life Install #251: Pull request #190 opened by mmhelloworld
July 26, 2025 23:58 19s feature/ossrh-to-central
feature/ossrh-to-central
July 26, 2025 23:58 19s
Add repobeats Install #250: Commit fdd546c pushed by mmhelloworld
January 25, 2025 01:42 39m 40s main
main
January 25, 2025 01:42 39m 40s
Use tableswitch to improve performance Install #249: Commit d3719dd pushed by mmhelloworld
December 11, 2024 02:55 38m 41s main
main
December 11, 2024 02:55 38m 41s
Use tableswitch to improve performance Install #248: Pull request #188 opened by mmhelloworld
December 11, 2024 02:14 39m 40s feature/optimize-switch
feature/optimize-switch
December 11, 2024 02:14 39m 40s
Use LazyList to improve performance Install #247: Commit f31c027 pushed by mmhelloworld
December 2, 2024 02:51 36m 4s main
main
December 2, 2024 02:51 36m 4s
Use LazyList to improve performance Install #246: Pull request #187 opened by mmhelloworld
December 2, 2024 02:08 37m 1s feature/use-core
feature/use-core
December 2, 2024 02:08 37m 1s
Remove module prefix Install #245: Commit e91ff69 pushed by mmhelloworld
November 30, 2024 22:00 38m 52s main
main
November 30, 2024 22:00 38m 52s
Improve data type conversion, clean up Install #244: Pull request #186 synchronize by mmhelloworld
November 30, 2024 20:59 36m 17s feature/use-core
feature/use-core
November 30, 2024 20:59 36m 17s
Improve data type conversion, clean up Install #243: Pull request #186 synchronize by mmhelloworld
November 30, 2024 19:55 21m 29s feature/use-core
feature/use-core
November 30, 2024 19:55 21m 29s
Improve data type conversion, clean up Install #242: Pull request #186 synchronize by mmhelloworld
November 30, 2024 17:04 37m 1s feature/use-core
feature/use-core
November 30, 2024 17:04 37m 1s
Improve data type conversion, clean up Install #241: Pull request #186 opened by mmhelloworld
November 29, 2024 04:18 38m 41s feature/use-core
feature/use-core
November 29, 2024 04:18 38m 41s
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 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 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
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 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 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 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 Install #233: Pull request #183 synchronize by mmhelloworld
August 12, 2024 17:30 36m 46s feature/use-core
feature/use-core
August 12, 2024 17:30 36m 46s