Skip to content

Actions: valida-xyz/valida

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Loading ELF files CI #130: Pull request #138 synchronize by morganthomas
April 8, 2024 15:41 1m 32s morgan/issue/135
morgan/issue/135
April 8, 2024 15:41 1m 32s
Loading ELF files CI #129: Pull request #138 synchronize by morganthomas
April 8, 2024 15:41 1m 32s morgan/issue/135
morgan/issue/135
April 8, 2024 15:41 1m 32s
De-macroified basic machine CI #128: Pull request #144 synchronize by morganthomas
April 6, 2024 23:53 56s morgan/issue/143
morgan/issue/143
April 6, 2024 23:53 56s
De-macroified basic machine CI #127: Pull request #144 synchronize by morganthomas
April 6, 2024 23:49 50s morgan/issue/143
morgan/issue/143
April 6, 2024 23:49 50s
De-macroified basic machine CI #126: Pull request #144 synchronize by morganthomas
April 6, 2024 23:42 51s morgan/issue/143
morgan/issue/143
April 6, 2024 23:42 51s
De-macroified basic machine CI #125: Pull request #144 opened by morganthomas
April 6, 2024 20:36 50s morgan/issue/143
morgan/issue/143
April 6, 2024 20:36 50s
Merge pull request #139 from lialan/ali/repl CI #124: Commit 898d5ce pushed by morganthomas
April 6, 2024 19:58 1m 31s main
main
April 6, 2024 19:58 1m 31s
Static chip preprocessed trace CI #123: Pull request #142 opened by morganthomas
April 6, 2024 17:59 41s morgan/issue/140
morgan/issue/140
April 6, 2024 17:59 41s
32-in 64-out unsigned multiplication chip CI #122: Pull request #141 opened by morganthomas
April 6, 2024 17:57 1m 23s morgan/issue/137
morgan/issue/137
April 6, 2024 17:57 1m 23s
Debugger REPL CI #121: Pull request #139 synchronize by lialan
April 5, 2024 18:37 1m 36s lialan:ali/repl
lialan:ali/repl
April 5, 2024 18:37 1m 36s
Loading ELF files CI #120: Pull request #138 synchronize by morganthomas
April 5, 2024 17:30 1m 33s morgan/issue/135
morgan/issue/135
April 5, 2024 17:30 1m 33s
Loading ELF files CI #118: Pull request #138 synchronize by morganthomas
April 4, 2024 03:18 1m 21s morgan/issue/135
morgan/issue/135
April 4, 2024 03:18 1m 21s
Loading ELF files CI #117: Pull request #138 opened by morganthomas
April 4, 2024 00:50 1m 51s morgan/issue/135
morgan/issue/135
April 4, 2024 00:50 1m 51s
Merge pull request #134 from valida-xyz/morgan/issue/133 CI #116: Commit bdb53de pushed by morganthomas
April 4, 2024 00:44 1m 42s main
main
April 4, 2024 00:44 1m 42s
Static data chip CI #115: Pull request #134 synchronize by morganthomas
April 2, 2024 17:23 1m 34s morgan/issue/133
morgan/issue/133
April 2, 2024 17:23 1m 34s
Static data chip CI #114: Pull request #134 synchronize by morganthomas
April 2, 2024 06:55 1m 21s morgan/issue/133
morgan/issue/133
April 2, 2024 06:55 1m 21s
Static data chip CI #113: Pull request #134 synchronize by morganthomas
April 2, 2024 03:34 1m 23s morgan/issue/133
morgan/issue/133
April 2, 2024 03:34 1m 23s
Static data chip CI #112: Pull request #134 synchronize by morganthomas
April 2, 2024 03:20 1m 24s morgan/issue/133
morgan/issue/133
April 2, 2024 03:20 1m 24s
Static data chip CI #111: Pull request #134 synchronize by morganthomas
April 2, 2024 03:17 1m 17s morgan/issue/133
morgan/issue/133
April 2, 2024 03:17 1m 17s
Static data chip CI #110: Pull request #134 opened by morganthomas
April 2, 2024 03:11 1m 23s morgan/issue/133
morgan/issue/133
April 2, 2024 03:11 1m 23s
Merge pull request #127 from valida-xyz/add-type-signatures CI #109: Commit 7bbbaf6 pushed by thealmarty
March 22, 2024 17:28 1m 28s main
main
March 22, 2024 17:28 1m 28s
add type signatures to LT / LTE comparisons CI #108: Pull request #127 opened by morganthomas
March 22, 2024 17:11 1m 20s add-type-signatures
add-type-signatures
March 22, 2024 17:11 1m 20s
Merge pull request #118 from valida-xyz/morgan/issue/117b CI #107: Commit 8c2244d pushed by morganthomas
March 19, 2024 18:45 1m 29s main
main
March 19, 2024 18:45 1m 29s
Entry point for prover / verifier CI #106: Pull request #118 synchronize by morganthomas
March 18, 2024 19:17 1m 18s morgan/issue/117b
morgan/issue/117b
March 18, 2024 19:17 1m 18s
Entry point for prover / verifier CI #105: Pull request #118 synchronize by morganthomas
March 18, 2024 19:16 1m 26s morgan/issue/117b
morgan/issue/117b
March 18, 2024 19:16 1m 26s