Skip to content

Actions: moleike/evidence

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Continuous Integration #25: Commit 2bdbfdd pushed by moleike
November 28, 2024 14:34 6m 5s main
main
November 28, 2024 14:34 6m 5s
Update README.md Clean #25: Commit 2bdbfdd pushed by moleike
November 28, 2024 14:34 14s main
main
November 28, 2024 14:34 14s
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 Clean #24: Commit f4e2c42 pushed by moleike
January 9, 2024 12:43 11s main
main
January 9, 2024 12:43 11s
rename effect to internal, to avoid misuse Clean #23: Commit 8feaadd pushed by moleike
January 9, 2024 12:27 14s main
main
January 9, 2024 12:27 14s
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 Clean #22: Commit ccdd21b pushed by moleike
January 8, 2024 14:03 15s main
main
January 8, 2024 14:03 15s
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
minor syntax update Clean #21: Commit f2f6185 pushed by moleike
January 7, 2024 20:22 12s main
main
January 7, 2024 20:22 12s
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
organize imports Clean #20: Commit c7f22e1 pushed by moleike
January 7, 2024 18:49 14s main
main
January 7, 2024 18:49 14s
scalafmt changes Clean #19: Commit 154e6bc pushed by moleike
January 7, 2024 18:40 11s main
main
January 7, 2024 18:40 11s
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 Clean #18: Commit c09b40b pushed by moleike
January 7, 2024 15:22 11s main
main
January 7, 2024 15:22 11s
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
remove type lambdas from non-parametric effects Clean #17: Commit b391720 pushed by moleike
January 7, 2024 14:24 10s main
main
January 7, 2024 14:24 10s
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 Clean #16: Commit bd1be19 pushed by moleike
January 7, 2024 09:56 10s main
main
January 7, 2024 09:56 10s
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
improve type inference of NonDet handlers Clean #15: Commit 44f1056 pushed by moleike
January 7, 2024 09:16 11s main
main
January 7, 2024 09:16 11s
Parser is now a PartialFunction Clean #14: Commit 0dd5c04 pushed by moleike
January 6, 2024 18:09 11s main
main
January 6, 2024 18:09 11s
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