Skip to content

Actions: rise-lang/shine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Eqsat node substitution for DataType draft
Build and deploy documentation #578: Pull request #244 opened by user-simon
March 2, 2025 18:01 Action required user-simon:float-safe-opt
March 2, 2025 18:01 Action required
Eqsat node substitution for DataType draft
Scala CI #531: Pull request #244 opened by user-simon
March 2, 2025 18:01 Action required user-simon:float-safe-opt
March 2, 2025 18:01 Action required
Fat JAR executable that generates C code from Rise programs
Build and deploy documentation #577: Pull request #240 synchronize by Bastacyclop
May 14, 2024 10:49 3m 48s float-safe-opt
May 14, 2024 10:49 3m 48s
Fat JAR executable that generates C code from Rise programs
Scala CI #530: Pull request #240 synchronize by Bastacyclop
May 14, 2024 10:49 11m 58s float-safe-opt
May 14, 2024 10:49 11m 58s
Fat JAR executable that generates C code from Rise programs
Build and deploy documentation #576: Pull request #240 synchronize by Bastacyclop
March 24, 2024 12:51 3m 43s float-safe-opt
March 24, 2024 12:51 3m 43s
Fat JAR executable that generates C code from Rise programs
Scala CI #529: Pull request #240 synchronize by Bastacyclop
March 24, 2024 12:51 11m 40s float-safe-opt
March 24, 2024 12:51 11m 40s
Fat JAR executable that generates C code from Rise programs
Scala CI #528: Pull request #240 opened by Bastacyclop
March 22, 2024 10:49 11m 25s float-safe-opt
March 22, 2024 10:49 11m 25s
Fat JAR executable that generates C code from Rise programs
Build and deploy documentation #575: Pull request #240 opened by Bastacyclop
March 22, 2024 10:49 3m 34s float-safe-opt
March 22, 2024 10:49 3m 34s