Skip to content

Actions: moleike/evidence

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename effect to internal, to avoid misuse Continuous Integration #24: Commit f4e2c42 pushed by moleike
January 9, 2024 12:43 1m 32s main
main
January 9, 2024 12:43 1m 32s
rename effect to internal, to avoid misuse Continuous Integration #23: Commit 8feaadd pushed by moleike
January 9, 2024 12:27 55s main
main
January 9, 2024 12:27 55s
change effect definitions to package private Continuous Integration #22: Commit ccdd21b pushed by moleike
January 8, 2024 14:03 1m 19s main
main
January 8, 2024 14:03 1m 19s
minor syntax update Continuous Integration #21: Commit f2f6185 pushed by moleike
January 7, 2024 20:22 1m 16s main
main
January 7, 2024 20:22 1m 16s
organize imports Continuous Integration #20: Commit c7f22e1 pushed by moleike
January 7, 2024 18:49 1m 20s main
main
January 7, 2024 18:49 1m 20s
scalafmt changes Continuous Integration #19: Commit 154e6bc pushed by moleike
January 7, 2024 18:40 1m 21s main
main
January 7, 2024 18:40 1m 21s
move type lambdas to Aliases Continuous Integration #18: Commit c09b40b pushed by moleike
January 7, 2024 15:22 1m 17s main
main
January 7, 2024 15:22 1m 17s
remove type lambdas from non-parametric effects Continuous Integration #17: Commit b391720 pushed by moleike
January 7, 2024 14:24 1m 15s main
main
January 7, 2024 14:24 1m 15s
improve type inference of NonDet handlers Continuous Integration #16: Commit bd1be19 pushed by moleike
January 7, 2024 09:56 1m 21s main
main
January 7, 2024 09:56 1m 21s
improve type inference of NonDet handlers Continuous Integration #15: Commit 44f1056 pushed by moleike
January 7, 2024 09:16 1m 16s main
main
January 7, 2024 09:16 1m 16s
Parser is now a PartialFunction Continuous Integration #14: Commit 0dd5c04 pushed by moleike
January 6, 2024 18:09 1m 22s main
main
January 6, 2024 18:09 1m 22s
replace broken Local with State effect Continuous Integration #13: Commit 3e53903 pushed by moleike
January 6, 2024 17:49 1m 27s main
main
January 6, 2024 17:49 1m 27s
replace broken Local with State effect Continuous Integration #12: Commit 9732e1c pushed by moleike
January 6, 2024 15:30 1m 23s main
main
January 6, 2024 15:30 1m 23s
make Parse effect non-parametric Continuous Integration #11: Commit 2d65945 pushed by moleike
January 6, 2024 09:38 1m 14s main
main
January 6, 2024 09:38 1m 14s
add parser combinator example using NonDet Continuous Integration #10: Commit 9c024fd pushed by moleike
January 5, 2024 12:39 1m 16s main
main
January 5, 2024 12:39 1m 16s
add parser combinator example using NonDet Continuous Integration #9: Commit 13dd3d3 pushed by moleike
January 5, 2024 12:27 1m 20s main
main
January 5, 2024 12:27 1m 20s
add parser combinator example using NonDet Continuous Integration #8: Commit 5349759 pushed by moleike
January 5, 2024 11:46 1m 18s main
main
January 5, 2024 11:46 1m 18s
add some constructs for local state (untested) Continuous Integration #7: Commit 42365e5 pushed by moleike
January 4, 2024 15:30 1m 18s main
main
January 4, 2024 15:30 1m 18s
add some constructs for local state (untested) Continuous Integration #6: Commit 5553e21 pushed by moleike
January 4, 2024 15:24 1m 16s main
main
January 4, 2024 15:24 1m 16s
add another example to NonDet Continuous Integration #5: Commit ac6c968 pushed by moleike
January 4, 2024 10:36 1m 22s main
main
January 4, 2024 10:36 1m 22s
generalize NonDet handler Continuous Integration #4: Commit d74734e pushed by moleike
January 3, 2024 19:20 1m 19s main
main
January 3, 2024 19:20 1m 19s
delete scala.yml Continuous Integration #3: Commit 7deaa7d pushed by moleike
January 1, 2024 10:12 1m 22s main
main
January 1, 2024 10:12 1m 22s
Update build.sbt Continuous Integration #2: Commit 2cc6892 pushed by moleike
January 1, 2024 09:59 1m 29s main
main
January 1, 2024 09:59 1m 29s
add sbt-typelevel plugins Continuous Integration #1: Commit 08692f7 pushed by moleike
January 1, 2024 09:50 1m 23s main
main
January 1, 2024 09:50 1m 23s