Skip to content

Actions: ClementWalter/cairo-vm-df

Actions

Trunk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
trunk-check.yaml
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip constraints Trunk #125: Pull request #73 opened by ClementWalter
February 10, 2025 23:31 50s cw/wip
cw/wip
February 10, 2025 23:31 50s
scaffolding and casm_polars setup Trunk #124: Pull request #72 synchronize by AntoineFONDEUR
February 10, 2025 13:09 25s AntoineFONDEUR:scaffolding
AntoineFONDEUR:scaffolding
February 10, 2025 13:09 25s
scaffolding and casm_polars setup Trunk #123: Pull request #72 synchronize by AntoineFONDEUR
February 10, 2025 13:08 27s AntoineFONDEUR:scaffolding
AntoineFONDEUR:scaffolding
February 10, 2025 13:08 27s
scaffolding and casm_polars setup Trunk #122: Pull request #72 synchronize by AntoineFONDEUR
February 10, 2025 11:26 22s AntoineFONDEUR:scaffolding
AntoineFONDEUR:scaffolding
February 10, 2025 11:26 22s
scaffolding and casm_polars setup Trunk #121: Pull request #72 opened by AntoineFONDEUR
February 10, 2025 11:24 31s AntoineFONDEUR:scaffolding
AntoineFONDEUR:scaffolding
February 10, 2025 11:24 31s
feat: added framework for annotations and tutorials Trunk #120: Pull request #70 synchronize by AntoineFONDEUR
January 5, 2025 17:12 33s AntoineFONDEUR:tutorial
AntoineFONDEUR:tutorial
January 5, 2025 17:12 33s
feat: added framework for annotations and tutorials Trunk #119: Pull request #70 synchronize by AntoineFONDEUR
January 5, 2025 17:09 22s AntoineFONDEUR:tutorial
AntoineFONDEUR:tutorial
January 5, 2025 17:09 22s
feat: added framework for annotations and tutorials Trunk #118: Pull request #70 synchronize by AntoineFONDEUR
January 5, 2025 17:05 33s AntoineFONDEUR:tutorial
AntoineFONDEUR:tutorial
January 5, 2025 17:05 33s
feat: added framework for annotations and tutorials Trunk #117: Pull request #70 synchronize by AntoineFONDEUR
January 5, 2025 17:00 36s AntoineFONDEUR:tutorial
AntoineFONDEUR:tutorial
January 5, 2025 17:00 36s
feat: added framework for annotations and tutorials Trunk #116: Pull request #70 opened by AntoineFONDEUR
January 5, 2025 16:53 36s AntoineFONDEUR:tutorial
AntoineFONDEUR:tutorial
January 5, 2025 16:53 36s
bug: fixes on indexing of relocation Trunk #115: Pull request #68 opened by AntoineFONDEUR
December 16, 2024 16:07 1m 4s AntoineFONDEUR:relocation-bug
AntoineFONDEUR:relocation-bug
December 16, 2024 16:07 1m 4s
converted registers to relocatable cells and bug fixes Trunk #114: Pull request #66 synchronize by AntoineFONDEUR
December 16, 2024 14:12 1m 6s AntoineFONDEUR:cell-registers
AntoineFONDEUR:cell-registers
December 16, 2024 14:12 1m 6s
converted registers to relocatable cells and bug fixes Trunk #113: Pull request #66 opened by AntoineFONDEUR
December 13, 2024 03:13 27s AntoineFONDEUR:cell-registers
AntoineFONDEUR:cell-registers
December 13, 2024 03:13 27s
made builtins usable and added tests Trunk #112: Pull request #63 synchronize by AntoineFONDEUR
December 12, 2024 03:07 31s AntoineFONDEUR:all-builtins
AntoineFONDEUR:all-builtins
December 12, 2024 03:07 31s
fixed bug making it impossible to load programs with no builtins Trunk #111: Pull request #65 opened by AntoineFONDEUR
December 10, 2024 03:21 30s AntoineFONDEUR:no-builtin-bugs
AntoineFONDEUR:no-builtin-bugs
December 10, 2024 03:21 30s
added loading information and css to menu Trunk #110: Pull request #64 opened by AntoineFONDEUR
December 8, 2024 22:34 26s AntoineFONDEUR:menu-enhance
AntoineFONDEUR:menu-enhance
December 8, 2024 22:34 26s
made builtins usable and added tests Trunk #109: Pull request #63 synchronize by AntoineFONDEUR
December 8, 2024 19:52 39s AntoineFONDEUR:all-builtins
AntoineFONDEUR:all-builtins
December 8, 2024 19:52 39s
made builtins usable and added tests Trunk #108: Pull request #63 opened by AntoineFONDEUR
December 8, 2024 19:50 1m 5s AntoineFONDEUR:all-builtins
AntoineFONDEUR:all-builtins
December 8, 2024 19:50 1m 5s
add proof mode Trunk #107: Pull request #61 synchronize by AntoineFONDEUR
October 13, 2024 17:36 1m 1s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
October 13, 2024 17:36 1m 1s
add proof mode Trunk #106: Pull request #61 synchronize by AntoineFONDEUR
October 13, 2024 17:35 56s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
October 13, 2024 17:35 56s
add proof mode Trunk #105: Pull request #61 synchronize by AntoineFONDEUR
October 5, 2024 15:18 37s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
October 5, 2024 15:18 37s
add proof mode Trunk #104: Pull request #61 synchronize by AntoineFONDEUR
October 5, 2024 14:38 28s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
October 5, 2024 14:38 28s
add proof mode Trunk #103: Pull request #61 synchronize by AntoineFONDEUR
October 5, 2024 14:36 2m 6s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
October 5, 2024 14:36 2m 6s
add proof mode Trunk #102: Pull request #61 opened by AntoineFONDEUR
September 21, 2024 16:29 2m 36s AntoineFONDEUR:prover-trace
AntoineFONDEUR:prover-trace
September 21, 2024 16:29 2m 36s
feat: relocation Trunk #101: Pull request #59 synchronize by ClementWalter
September 12, 2024 10:29 1m 0s AntoineFONDEUR:relocation
AntoineFONDEUR:relocation
September 12, 2024 10:29 1m 0s