Skip to content

Actions: lemastero/agda2rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update haskell.yml build #35: Commit b4925e3 pushed by lemastero
December 17, 2023 23:57 1m 3s produce-rust
produce-rust
December 17, 2023 23:57 1m 3s
rename Hello.agda to hello.agda build #34: Commit abee8e4 pushed by lemastero
December 17, 2023 23:55 45s produce-rust
produce-rust
December 17, 2023 23:55 45s
uppercase enums cases to have more idiomatic Rust output build #33: Commit cd6e976 pushed by lemastero
December 17, 2023 23:51 59s produce-rust
produce-rust
December 17, 2023 23:51 59s
ignore Rust compile output, IntelliJ files and MacOS DS_Store build #32: Commit df2598c pushed by lemastero
December 17, 2023 22:56 1m 1s produce-rust
produce-rust
December 17, 2023 22:56 1m 1s
comment out function in Hello build #31: Commit e1d3519 pushed by lemastero
December 17, 2023 22:52 1m 0s produce-rust
produce-rust
December 17, 2023 22:52 1m 0s
drop Test build #30: Commit 0623f54 pushed by lemastero
December 17, 2023 17:30 1m 4s produce-rust
produce-rust
December 17, 2023 17:30 1m 4s
Rust in CI use minimal profile, stable version build #29: Commit 0a2fb85 pushed by lemastero
December 17, 2023 17:05 50s lemastero-patch-1
lemastero-patch-1
December 17, 2023 17:05 50s
Update runing Rust on CI build #28: Commit a7cacaf pushed by lemastero
December 17, 2023 17:00 11s lemastero-patch-1
lemastero-patch-1
December 17, 2023 17:00 11s
compile Rust build #27: Commit 62b5304 pushed by lemastero
December 17, 2023 16:56 Failure lemastero-patch-1
lemastero-patch-1
December 17, 2023 16:56 Failure
Rust examples compiles (#16) build #26: Commit dcdb272 pushed by lemastero
December 17, 2023 13:29 39s master
master
December 17, 2023 13:29 39s
fix Hello.agda after changing Bool to Rgb build #25: Commit 0d95770 pushed by lemastero
December 17, 2023 13:28 55s rust-examples-compiles
rust-examples-compiles
December 17, 2023 13:28 55s
add docs about testing compiled Rust code build #24: Commit 026369f pushed by lemastero
December 17, 2023 13:22 55s rust-examples-compiles
rust-examples-compiles
December 17, 2023 13:22 55s
change Test.rs and Hello.rs to contain real Rust code build #23: Commit 207c50c pushed by lemastero
December 17, 2023 13:16 1m 9s rust-examples-compiles
rust-examples-compiles
December 17, 2023 13:16 1m 9s
Merge pull request #13 from lemastero/tkerber/examples build #22: Commit 5d7e569 pushed by lemastero
December 15, 2023 22:06 59s master
master
December 15, 2023 22:06 59s
Be explicit about where erasure is actually needed. build #21: Commit 1830fbc pushed by tkerber
December 15, 2023 17:16 1m 13s tkerber/examples
tkerber/examples
December 15, 2023 17:16 1m 13s
Some examples of potential outputs. build #20: Commit 2b7edd7 pushed by tkerber
December 15, 2023 17:02 1m 33s tkerber/examples
tkerber/examples
December 15, 2023 17:02 1m 33s
compile singe argument function - add comments for further improvements build #19: Commit 0c04760 pushed by lemastero
December 15, 2023 01:18 1m 0s one-arg-id
one-arg-id
December 15, 2023 01:18 1m 0s
compile singe argument function - update Hello example build #18: Commit 0069f23 pushed by lemastero
December 15, 2023 00:43 1m 0s one-arg-id
one-arg-id
December 15, 2023 00:43 1m 0s
extract PrettyPrintingUtils and ToRustCompiler; common types between … build #17: Commit 5136c29 pushed by lemastero
December 14, 2023 18:49 1m 13s produce-rust
produce-rust
December 14, 2023 18:49 1m 13s
use bracket, rename handleX to compileX - fix unit tests 2 build #16: Commit b372353 pushed by lemastero
December 14, 2023 16:24 1m 7s produce-rust
produce-rust
December 14, 2023 16:24 1m 7s
use bracket, rename handleX to compileX - fix unit tests build #15: Commit 8e651fb pushed by lemastero
December 14, 2023 16:17 51s produce-rust
produce-rust
December 14, 2023 16:17 51s
use bracket, rename handleX to compileX build #14: Commit 7e79c28 pushed by lemastero
December 14, 2023 16:10 1m 6s produce-rust
produce-rust
December 14, 2023 16:10 1m 6s
handle enums build #13: Commit 08fb589 pushed by lemastero
December 14, 2023 14:27 1m 16s produce-rust
produce-rust
December 14, 2023 14:27 1m 16s
extract functions for hande functions, handle data type, handle module build #12: Commit 98afd79 pushed by lemastero
December 14, 2023 13:36 1m 17s produce-rust
produce-rust
December 14, 2023 13:36 1m 17s
update examples Hello and Test with new handling of functions and dat… build #11: Commit bdb2893 pushed by lemastero
December 14, 2023 12:33 2m 11s produce-rust
produce-rust
December 14, 2023 12:33 2m 11s