Skip to content

Actions: mmhelloworld/idris-jvm

Actions

pre-release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-release.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use tableswitch to improve performance pre-release #105: Commit d3719dd pushed by mmhelloworld
December 11, 2024 02:55 16m 34s main
main
December 11, 2024 02:55 16m 34s
Use LazyList to improve performance pre-release #104: Commit f31c027 pushed by mmhelloworld
December 2, 2024 02:51 14m 15s main
main
December 2, 2024 02:51 14m 15s
Remove module prefix pre-release #103: Commit e91ff69 pushed by mmhelloworld
November 30, 2024 22:00 17m 21s main
main
November 30, 2024 22:00 17m 21s
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
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
Fix indentation, add output in documentation pre-release #100: Commit 4da5129 pushed by mmhelloworld
July 17, 2024 03:40 14m 40s main
main
July 17, 2024 03:40 14m 40s
#173 Fix docs build pre-release #99: Commit 5fcd60f pushed by mmhelloworld
July 15, 2024 03:31 14m 29s main
main
July 15, 2024 03:31 14m 29s
Support exporting Idris types to Java pre-release #98: Commit a770bcd pushed by mmhelloworld
July 14, 2024 23:35 14m 43s main
main
July 14, 2024 23:35 14m 43s
Support parameter annotations for generated constructors, simplify ne… pre-release #97: Commit a5b3bf5 pushed by mmhelloworld
June 3, 2024 01:18 19m 56s main
main
June 3, 2024 01:18 19m 56s
Fix static field accessors, support annotations in generated construc… pre-release #96: Commit e49feac pushed by mmhelloworld
June 1, 2024 14:53 14m 56s main
main
June 1, 2024 14:53 14m 56s
Fix ubuntu self host build, linter errors pre-release #95: Commit 3ebd6fb pushed by mmhelloworld
April 3, 2024 01:07 15m 33s main
main
April 3, 2024 01:07 15m 33s
Fix Ubuntu self host build pre-release #94: Commit a165e85 pushed by mmhelloworld
March 21, 2024 22:38 14m 56s main
main
March 21, 2024 22:38 14m 56s
Fix 0.7.0 build pre-release #93: Commit 20f2cc3 pushed by mmhelloworld
March 21, 2024 13:18 16m 7s main
main
March 21, 2024 13:18 16m 7s
Fix 0.7.0 build pre-release #92: Commit 27b1453 pushed by mmhelloworld
March 21, 2024 13:18 16m 36s main
main
March 21, 2024 13:18 16m 36s
Add placeholder class to fix missing javadoc error during release pre-release #91: Commit dd0d370 pushed by mmhelloworld
March 21, 2024 12:50 10m 10s main
main
March 21, 2024 12:50 10m 10s
Add placeholder class to fix missing javadoc error during release pre-release #90: Commit 4e2ab28 pushed by mmhelloworld
March 20, 2024 23:54 14m 2s main
main
March 20, 2024 23:54 14m 2s
Skip javadoc for release pre-release #89: Commit 467bdf8 pushed by mmhelloworld
March 20, 2024 21:39 13m 31s main
main
March 20, 2024 21:39 13m 31s
Update nexus-staging-maven-plugin version to fix release error pre-release #88: Commit 9fd7a2c pushed by mmhelloworld
March 20, 2024 03:41 13m 29s main
main
March 20, 2024 03:41 13m 29s
Enable Maven debug logging for release pre-release #87: Commit 3292f29 pushed by mmhelloworld
March 20, 2024 02:55 14m 4s main
main
March 20, 2024 02:55 14m 4s
Copy runtime classes instead of jar pre-release #86: Commit c2b1ad0 pushed by mmhelloworld
March 14, 2024 12:41 18m 8s main
main
March 14, 2024 12:41 18m 8s
#159 Create runtime classes instead of jar in the output directory pre-release #85: Commit cfaf2df pushed by mmhelloworld
February 11, 2024 13:16 13m 36s main
main
February 11, 2024 13:16 13m 36s
#168 Fix windows build pre-release #84: Commit e26ec4b pushed by mmhelloworld
February 9, 2024 03:51 13m 50s main
main
February 9, 2024 03:51 13m 50s
Generate executable for windows and posix, don't print stacktrace pre-release #83: Commit b179d1e pushed by mmhelloworld
February 9, 2024 00:33 19m 6s main
main
February 9, 2024 00:33 19m 6s
Update windows executable name in Makefile pre-release #82: Commit d25a8c5 pushed by mmhelloworld
February 6, 2024 04:15 19m 9s main
main
February 6, 2024 04:15 19m 9s
#168 Generate only required executable based on OS pre-release #81: Commit 8ee6ffd pushed by mmhelloworld
February 1, 2024 23:17 19m 19s main
main
February 1, 2024 23:17 19m 19s