Skip to content

Actions: anoma/juvix-arm-specs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: exports Test juvix-arm-specs #111: Commit 0292c46 pushed by heueristik
October 18, 2024 14:40 23s main
main
October 18, 2024 14:40 23s
refactor: improve reference trait naming Test juvix-arm-specs #110: Commit 2c91d31 pushed by heueristik
October 18, 2024 14:25 24s main
main
October 18, 2024 14:25 24s
feat: add ord instance Test juvix-arm-specs #109: Commit fd171a8 pushed by heueristik
October 18, 2024 12:09 24s main
main
October 18, 2024 12:09 24s
style: formatting Test juvix-arm-specs #108: Commit 345e676 pushed by heueristik
October 17, 2024 09:35 22s main
main
October 17, 2024 09:35 22s
ci: add format check workflow Test juvix-arm-specs #107: Commit d80712b pushed by heueristik
October 17, 2024 09:34 27s main
main
October 17, 2024 09:34 27s
fix: replace generic proof record type (#14) Test juvix-arm-specs #106: Commit 1f74cf7 pushed by heueristik
October 17, 2024 09:24 21s main
main
October 17, 2024 09:24 21s
chore: update deps and remove containers lib Test juvix-arm-specs #105: Commit 7d93a3b pushed by heueristik
October 17, 2024 09:08 20s main
main
October 17, 2024 09:08 20s
fix: replace generic proof record type Test juvix-arm-specs #104: Pull request #14 synchronize by heueristik
October 16, 2024 18:26 27s feature/defs-and-names
feature/defs-and-names
October 16, 2024 18:26 27s
fix: replace generic proof record type Test juvix-arm-specs #103: Pull request #14 synchronize by heueristik
October 16, 2024 09:49 31s feature/defs-and-names
feature/defs-and-names
October 16, 2024 09:49 31s
refactor: rename deltaProof to deltaProofRecord Test juvix-arm-specs #102: Commit 474ba7f pushed by heueristik
October 16, 2024 09:49 19s main
main
October 16, 2024 09:49 19s
refactor: clean imports Test juvix-arm-specs #101: Commit bb8dcc2 pushed by heueristik
October 16, 2024 09:44 20s main
main
October 16, 2024 09:44 20s
fix: replace generic proof record type Test juvix-arm-specs #100: Pull request #14 synchronize by heueristik
October 16, 2024 09:43 19s feature/defs-and-names
feature/defs-and-names
October 16, 2024 09:43 19s
fix: replace generic proof record type Test juvix-arm-specs #99: Pull request #14 opened by heueristik
October 16, 2024 09:40 26s feature/defs-and-names
feature/defs-and-names
October 16, 2024 09:40 26s
refactor: rename proofs to proof records Test juvix-arm-specs #98: Commit 311f737 pushed by heueristik
October 16, 2024 09:34 24s main
main
October 16, 2024 09:34 24s
refactor: naming Test juvix-arm-specs #97: Commit cee4b9a pushed by heueristik
October 15, 2024 18:04 24s main
main
October 15, 2024 18:04 24s
Revert "refactor: naming" Test juvix-arm-specs #96: Commit e11b076 pushed by heueristik
October 15, 2024 17:59 18s main
main
October 15, 2024 17:59 18s
refactor: naming Test juvix-arm-specs #95: Commit cee4b9a pushed by heueristik
October 15, 2024 17:57 19s main
main
October 15, 2024 17:57 19s
refactor: naming Test juvix-arm-specs #94: Commit 39764a2 pushed by heueristik
October 15, 2024 17:54 24s main
main
October 15, 2024 17:54 24s
feat: improve naming Test juvix-arm-specs #93: Commit 30414a0 pushed by heueristik
October 15, 2024 16:52 22s main
main
October 15, 2024 16:52 22s
refactor: rename resource logic proof to logic proof Test juvix-arm-specs #92: Commit 9eb1b28 pushed by heueristik
October 15, 2024 15:32 25s main
main
October 15, 2024 15:32 25s
fix: make imports public Test juvix-arm-specs #91: Commit fbc75fc pushed by heueristik
October 15, 2024 15:29 20s main
main
October 15, 2024 15:29 20s
refactor: exports Test juvix-arm-specs #90: Commit e07bd46 pushed by heueristik
October 15, 2024 15:27 26s main
main
October 15, 2024 15:27 26s
refactor: rename resource logic proof to logic proof Test juvix-arm-specs #89: Commit 9eb1b28 pushed by heueristik
October 15, 2024 14:23 26s main
main
October 15, 2024 14:23 26s
docs: correct comment Test juvix-arm-specs #88: Commit d3e38f2 pushed by heueristik
October 14, 2024 13:58 18s main
main
October 14, 2024 13:58 18s
fix: wrong proof record definition (#13) Test juvix-arm-specs #87: Commit 0e61dfa pushed by heueristik
October 14, 2024 13:54 20s main
main
October 14, 2024 13:54 20s