Skip to content

Actions: lemastero/agda2scala

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

handle Records as sum types build #51: Commit c5abcb6 pushed by lemastero
May 3, 2024 23:52 3m 7s id-function
id-function
May 3, 2024 23:52 3m 7s
handle identity function build #50: Commit bb7d895 pushed by lemastero
May 3, 2024 19:44 3m 7s id-function
id-function
May 3, 2024 19:44 3m 7s
Merge pull request #12 from lemastero/fix-excessive-newlines build #49: Commit 245c5ce pushed by lemastero
May 3, 2024 13:46 3m 13s main
main
May 3, 2024 13:46 3m 13s
add generated Scala code build #48: Commit 4c8c7de pushed by lemastero
May 3, 2024 13:42 3m 8s fix-excessive-newlines
fix-excessive-newlines
May 3, 2024 13:42 3m 8s
Merge pull request #11 from lemastero/more-modular-tested build #47: Commit 93523db pushed by lemastero
May 3, 2024 12:58 3m 12s main
main
May 3, 2024 12:58 3m 12s
add tests to printing Scala code - fix extra space after package decl… build #46: Commit 4b76a54 pushed by lemastero
May 3, 2024 12:39 3m 12s more-modular-tested
more-modular-tested
May 3, 2024 12:39 3m 12s
Merge pull request #10 from lemastero/CI-compile-scala build #45: Commit 520d17f pushed by lemastero
May 3, 2024 10:25 3m 10s main
main
May 3, 2024 10:25 3m 10s
Compile generated Scala code build #44: Commit 8608b6c pushed by lemastero
May 3, 2024 10:21 2m 58s CI-compile-scala
CI-compile-scala
May 3, 2024 10:21 2m 58s
Merge pull request #4 from lemastero/hello-world build #43: Commit e54cb9f pushed by lemastero
May 1, 2024 22:51 14m 26s main
main
May 1, 2024 22:51 14m 26s
update README build #42: Commit 51e2d45 pushed by lemastero
May 1, 2024 22:43 2m 49s hello-world
hello-world
May 1, 2024 22:43 2m 49s
rename hello.agda build #41: Commit adb17e2 pushed by lemastero
May 1, 2024 22:40 2m 43s hello-world
hello-world
May 1, 2024 22:40 2m 43s
fix CI 3 build #40: Commit 33858a3 pushed by lemastero
May 1, 2024 22:15 2m 41s hello-world
hello-world
May 1, 2024 22:15 2m 41s
fix CI 2 build #39: Commit 1439c12 pushed by lemastero
May 1, 2024 22:12 3m 7s hello-world
hello-world
May 1, 2024 22:12 3m 7s
parse simple ADT containing only case objects build #38: Commit cc76bd1 pushed by lemastero
May 1, 2024 21:35 14m 55s hello-world
hello-world
May 1, 2024 21:35 14m 55s
Update README.md build #37: Commit 0f7ef6b pushed by lemastero
December 20, 2023 22:36 12m 45s main
main
December 20, 2023 22:36 12m 45s
explicit definition for compileDef, add description how compiler phas… build #36: Commit 9d32c00 pushed by lemastero
November 22, 2023 14:40 1m 18s hello-world
hello-world
November 22, 2023 14:40 1m 18s
expand backend definitions: commandLineFlags, scalaPostModule, scalaC… build #35: Commit f99f6a2 pushed by lemastero
November 22, 2023 13:02 1m 8s hello-world
hello-world
November 22, 2023 13:02 1m 8s
Merge pull request #9 from lemastero/add-badge build #34: Commit f2c58a7 pushed by lemastero
November 22, 2023 12:20 57s main
main
November 22, 2023 12:20 57s
Add CI badge to README.md build #33: Commit 8346190 pushed by lemastero
November 22, 2023 12:18 1m 26s add-badge
add-badge
November 22, 2023 12:18 1m 26s
Merge pull request #8 from lemastero/add-agda2rust build #32: Commit 3577783 pushed by lemastero
November 21, 2023 22:20 9m 35s main
main
November 21, 2023 22:20 9m 35s
Add agda2rust to README build #31: Commit 3521130 pushed by lemastero
November 21, 2023 11:52 9m 36s add-agda2rust
add-agda2rust
November 21, 2023 11:52 9m 36s
Merge pull request #7 from lemastero/catche-CI-2 build #30: Commit 3e70588 pushed by lemastero
November 21, 2023 02:55 1m 7s main
main
November 21, 2023 02:55 1m 7s
CI cache improvements build #29: Commit 00e5585 pushed by lemastero
November 21, 2023 02:50 1m 12s catche-CI-2
catche-CI-2
November 21, 2023 02:50 1m 12s
add pragma and comment in Hello example build #28: Commit 474889b pushed by lemastero
November 21, 2023 02:05 12m 44s hello-world
hello-world
November 21, 2023 02:05 12m 44s
Merge pull request #6 from lemastero/CI-cache build #27: Commit 45dd2e1 pushed by lemastero
November 21, 2023 02:00 12m 56s main
main
November 21, 2023 02:00 12m 56s