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

compile record elements - cleanup imports build #60: Commit 3c0f18d pushed by lemastero
May 4, 2024 15:05 2m 56s record-types
record-types
May 4, 2024 15:05 2m 56s
compile record elements build #59: Commit 87fa0c7 pushed by lemastero
May 4, 2024 11:09 16m 38s record-types
record-types
May 4, 2024 11:09 16m 38s
compile record name build #58: Commit f42ebab pushed by lemastero
December 19, 2023 01:24 1m 11s record-types
record-types
December 19, 2023 01:24 1m 11s
Fix gen files (#21) build #57: Commit 6c45d5b pushed by lemastero
December 19, 2023 01:06 1m 1s master
master
December 19, 2023 01:06 1m 1s
update hello.agda build #56: Commit d112ac7 pushed by lemastero
December 19, 2023 01:05 1m 12s fix-gen-files
fix-gen-files
December 19, 2023 01:05 1m 12s
delete example file on CI build #55: Commit 9cc794a pushed by lemastero
December 19, 2023 01:01 1m 3s fix-gen-files
fix-gen-files
December 19, 2023 01:01 1m 3s
Add RustExpr to split prettyprint and parse (#20) build #54: Commit 481aac5 pushed by lemastero
December 18, 2023 15:08 1m 11s master
master
December 18, 2023 15:08 1m 11s
rename back to PrettyPrintingUtils for easier review build #53: Commit 9fce154 pushed by lemastero
December 18, 2023 15:05 1m 6s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 15:05 1m 6s
Compile one argument identity function (#10) build #52: Commit 2e60ae8 pushed by lemastero
December 18, 2023 15:01 1m 7s master
master
December 18, 2023 15:01 1m 7s
swap unless to when build #51: Commit 807561c pushed by lemastero
December 18, 2023 14:59 1m 1s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 14:59 1m 1s
Revert "RustExpr to separate pretty printing from traverse Agda inter… build #50: Commit 5853726 pushed by lemastero
December 18, 2023 14:59 1m 14s one-arg-id
one-arg-id
December 18, 2023 14:59 1m 14s
Revert "RustExpr to separate pretty printing from traverse Agda inter… build #49: Commit 2c6f6f4 pushed by lemastero
December 18, 2023 14:59 1m 13s revert-18-rustexpr-split-prettyprint-parse
revert-18-rustexpr-split-prettyprint-parse
December 18, 2023 14:59 1m 13s
RustExpr to separate pretty printing from traverse Agda internals (#18) build #48: Commit 2f56f9a pushed by lemastero
December 18, 2023 14:57 1m 1s one-arg-id
one-arg-id
December 18, 2023 14:57 1m 1s
swap unless to when build #47: Commit 807561c pushed by lemastero
December 18, 2023 14:56 1m 3s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 14:56 1m 3s
rename after refactor to RustExpr - fix build #46: Commit fa7e834 pushed by lemastero
December 18, 2023 14:47 1m 28s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 14:47 1m 28s
rename after refactor to RustExpr build #45: Commit 6a8ae2d pushed by lemastero
December 18, 2023 14:43 1m 0s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 14:43 1m 0s
add RustExpr to separate pretty printing and creating expression from… build #44: Commit 0829634 pushed by lemastero
December 18, 2023 14:35 1m 9s rustexpr-split-prettyprint-parse
rustexpr-split-prettyprint-parse
December 18, 2023 14:35 1m 9s
fix use module name instead of first directory build #43: Commit 4db314b pushed by lemastero
December 18, 2023 02:45 1m 3s one-arg-id
one-arg-id
December 18, 2023 02:45 1m 3s
change to lowercase names build #42: Commit fad17ff pushed by lemastero
December 18, 2023 02:03 1m 19s one-arg-id
one-arg-id
December 18, 2023 02:03 1m 19s
fix function return types (broke during rebase) build #41: Commit aa6d090 pushed by lemastero
December 18, 2023 01:39 1m 48s one-arg-id
one-arg-id
December 18, 2023 01:39 1m 48s
proper function return type; rename to be more in-line with Rust nami… build #40: Commit e8885b0 pushed by lemastero
December 18, 2023 01:11 1m 5s one-arg-id
one-arg-id
December 18, 2023 01:11 1m 5s
Clean up description in README.md build #39: Commit 776efb3 pushed by lemastero
December 18, 2023 00:16 1m 21s master
master
December 18, 2023 00:16 1m 21s
Compile Rust files on CI (#17) build #38: Commit 28f2967 pushed by lemastero
December 18, 2023 00:03 1m 4s master
master
December 18, 2023 00:03 1m 4s
Rust in CI use minimal profile, stable version build #37: Commit 66e7489 pushed by lemastero
December 18, 2023 00:00 1m 2s lemastero-patch-1
lemastero-patch-1
December 18, 2023 00:00 1m 2s
Handle Rust enums and modules (#4) build #36: Commit 3cfd8a8 pushed by lemastero
December 17, 2023 23:58 1m 1s master
master
December 17, 2023 23:58 1m 1s