Skip to content

Actions: aiken-lang/marlowe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fmt Tests #27: Commit d9462a3 pushed by rvcas
April 9, 2024 18:32 20s main
main
April 9, 2024 18:32 20s
Fix build script. Tests #26: Commit 9e171c8 pushed by KtorZ
April 4, 2024 11:06 14s main
main
April 4, 2024 11:06 14s
chore: move script Tests #25: Commit e06d35d pushed by rvcas
April 3, 2024 14:30 14s main
main
April 3, 2024 14:30 14s
chore: update aiken in CI Tests #24: Commit 482b28f pushed by rvcas
March 24, 2024 00:08 11s main
main
March 24, 2024 00:08 11s
chore: update build script location Tests #23: Commit 6b29f40 pushed by rvcas
March 24, 2024 00:06 15s main
main
March 24, 2024 00:06 15s
chore: add back trace levels Tests #22: Commit d5c4dc5 pushed by rvcas
February 5, 2024 20:55 19s main
main
February 5, 2024 20:55 19s
chore: clean up Tests #21: Commit 6af526b pushed by rvcas
January 31, 2024 21:40 18s main
main
January 31, 2024 21:40 18s
feat: many more tests passing Tests #20: Commit 77214b1 pushed by rvcas
January 31, 2024 21:01 13s main
main
January 31, 2024 21:01 13s
add geq for value Tests #19: Commit 3178a2e pushed by MicroProofs
January 31, 2024 20:53 13s main
main
January 31, 2024 20:53 13s
chore: some traces Tests #18: Commit 45f4fbd pushed by rvcas
January 31, 2024 20:29 18s main
main
January 31, 2024 20:29 18s
fix: ValueId is marked explicitly as having Constr 0 Tests #17: Commit 1089caf pushed by rvcas
November 16, 2023 16:19 20s main
main
November 16, 2023 16:19 20s
fix: environment should be a two field record Tests #16: Commit 205c161 pushed by rvcas
November 16, 2023 01:46 13s main
main
November 16, 2023 01:46 13s