Skip to content

Actions: econia-labs/econia-v5

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
442 workflow runs
442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ECO-2596] Add update invariant specifications
pre-commit #251: Pull request #59 synchronize by alnoki
December 20, 2024 21:22 49s ECO-2596
December 20, 2024 21:22 49s
[ECO-2596] Add update invariant specifications
pre-commit #250: Pull request #59 synchronize by alnoki
December 20, 2024 21:09 44s ECO-2596
December 20, 2024 21:09 44s
[ECO-2596] Add update invariant specifications
pre-commit #249: Pull request #59 synchronize by alnoki
December 20, 2024 21:04 43s ECO-2596
December 20, 2024 21:04 43s
[ECO-2596] Add update invariant specifications
pre-commit #248: Pull request #59 synchronize by alnoki
December 20, 2024 20:59 45s ECO-2596
December 20, 2024 20:59 45s
[ECO-2596] Add update invariant specifications
pre-commit #247: Pull request #59 synchronize by alnoki
December 19, 2024 02:13 45s ECO-2596
December 19, 2024 02:13 45s
[ECO-2596] Add update invariant specifications
pre-commit #246: Pull request #59 synchronize by alnoki
December 19, 2024 01:48 57s ECO-2596
December 19, 2024 01:48 57s
[ECO-2596] Add update invariant specifications
pre-commit #245: Pull request #59 synchronize by alnoki
December 19, 2024 01:44 53s ECO-2596
December 19, 2024 01:44 53s
[ECO-2596] Add update invariant specifications
pre-commit #244: Pull request #59 synchronize by alnoki
December 18, 2024 02:26 57s ECO-2596
December 18, 2024 02:26 57s
[ECO-2596] Add update invariant specifications
pre-commit #243: Pull request #59 synchronize by alnoki
December 18, 2024 01:52 45s ECO-2596
December 18, 2024 01:52 45s
[ECO-2596] Add update invariant specifications
pre-commit #242: Pull request #59 synchronize by alnoki
December 18, 2024 01:46 47s ECO-2596
December 18, 2024 01:46 47s
[ECO-2596] Add update invariant specifications
pre-commit #241: Pull request #59 synchronize by alnoki
December 18, 2024 01:00 57s ECO-2596
December 18, 2024 01:00 57s
[ECO-2596] Add update invariant specifications
pre-commit #240: Pull request #59 synchronize by alnoki
December 17, 2024 19:36 57s ECO-2596
December 17, 2024 19:36 57s
[ECO-2596] Add update invariant specifications
pre-commit #239: Pull request #59 opened by alnoki
December 17, 2024 03:18 5m 57s ECO-2596
December 17, 2024 03:18 5m 57s
[ECO-2590] Add preliminary Move prover example
pre-commit #238: Pull request #58 synchronize by alnoki
December 14, 2024 00:41 42s ECO-2590
December 14, 2024 00:41 42s
[ECO-2590] Add preliminary Move prover example
pre-commit #237: Pull request #58 synchronize by alnoki
December 14, 2024 00:38 50s ECO-2590
December 14, 2024 00:38 50s
[ECO-2590] Add preliminary Move prover example
pre-commit #236: Pull request #58 opened by alnoki
December 14, 2024 00:33 5m 47s ECO-2590
December 14, 2024 00:33 5m 47s
[ECO-2226] Implement red-black map
pre-commit #235: Pull request #57 synchronize by alnoki
November 13, 2024 23:56 52s ECO-2226
November 13, 2024 23:56 52s
[ECO-2226] Implement red-black map
pre-commit #234: Pull request #57 synchronize by alnoki
November 13, 2024 23:50 54s ECO-2226
November 13, 2024 23:50 54s
[ECO-2226] Implement red-black map
pre-commit #233: Pull request #57 synchronize by alnoki
November 13, 2024 23:21 51s ECO-2226
November 13, 2024 23:21 51s
[ECO-2226] Implement red-black map
pre-commit #232: Pull request #57 synchronize by alnoki
November 13, 2024 23:19 42s ECO-2226
November 13, 2024 23:19 42s
[ECO-2226] Implement red-black map
pre-commit #231: Pull request #57 synchronize by alnoki
November 13, 2024 04:39 44s ECO-2226
November 13, 2024 04:39 44s
[ECO-2226] Implement red-black map
pre-commit #230: Pull request #57 synchronize by alnoki
November 13, 2024 04:36 41s ECO-2226
November 13, 2024 04:36 41s
[ECO-2226] Implement red-black map
pre-commit #229: Pull request #57 synchronize by alnoki
November 13, 2024 03:15 51s ECO-2226
November 13, 2024 03:15 51s
[ECO-2226] Implement red-black map
pre-commit #228: Pull request #57 synchronize by alnoki
November 13, 2024 02:56 45s ECO-2226
November 13, 2024 02:56 45s
[ECO-2226] Implement red-black map
pre-commit #227: Pull request #57 synchronize by alnoki
November 13, 2024 01:59 50s ECO-2226
November 13, 2024 01:59 50s