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

module header is proper Rust comment build #10: Commit c933d1b pushed by lemastero
December 14, 2023 10:45 1m 47s produce-rust
produce-rust
December 14, 2023 10:45 1m 47s
Configure unit tests (#3) build #9: Commit 90d4188 pushed by lemastero
December 14, 2023 10:42 2m 13s master
master
December 14, 2023 10:42 2m 13s
module header is proper Rust comment build #8: Commit 0ad0019 pushed by lemastero
December 14, 2023 10:42 2m 23s produce-rust
produce-rust
December 14, 2023 10:42 2m 23s
add missing newline in Main.hs build #7: Commit 8cf6802 pushed by lemastero
December 14, 2023 09:53 1m 9s tests
tests
December 14, 2023 09:53 1m 9s
changelog for 0.1.0.2 build #6: Commit 37d587a pushed by lemastero
December 14, 2023 09:50 1m 10s tests
tests
December 14, 2023 09:50 1m 10s
Create LICENSE (#2) build #5: Commit c98b0b8 pushed by lemastero
December 14, 2023 00:12 53s master
master
December 14, 2023 00:12 53s
Create LICENSE build #4: Commit ff36584 pushed by lemastero
December 14, 2023 00:10 49s add-license
add-license
December 14, 2023 00:10 49s
agda2rust with CI (#1) build #3: Commit 4065281 pushed by lemastero
December 13, 2023 23:26 12m 32s master
master
December 13, 2023 23:26 12m 32s
add CHANGELOG.md build #2: Commit e3bd19c pushed by lemastero
December 13, 2023 23:06 12m 44s brand-agda2rust
brand-agda2rust
December 13, 2023 23:06 12m 44s
add CI build #1: Commit 74d5f4a pushed by lemastero
December 13, 2023 23:01 43s brand-agda2rust
brand-agda2rust
December 13, 2023 23:01 43s