Skip to content

Actions: 0LNetworkCommunity/libra-framework

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,478 workflow runs
5,478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rust ci rust ci #1632: Scheduled
November 22, 2024 02:09 35m 43s main
main
November 22, 2024 02:09 35m 43s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness cleanliness #1511: Pull request #328 synchronize by Jayfromthe13th
November 21, 2024 06:00 2m 31s Jayfromthe13th:main
Jayfromthe13th:main
November 21, 2024 06:00 2m 31s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness formal verification #1116: Pull request #328 synchronize by Jayfromthe13th
November 21, 2024 06:00 4m 57s Jayfromthe13th:main
Jayfromthe13th:main
November 21, 2024 06:00 4m 57s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness rust ci #1631: Pull request #328 synchronize by Jayfromthe13th
November 21, 2024 06:00 1h 5m 36s Jayfromthe13th:main
Jayfromthe13th:main
November 21, 2024 06:00 1h 5m 36s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness move framework tests #1415: Pull request #328 synchronize by Jayfromthe13th
November 21, 2024 06:00 1m 9s Jayfromthe13th:main
Jayfromthe13th:main
November 21, 2024 06:00 1m 9s
rust ci rust ci #1630: Scheduled
November 21, 2024 02:08 37m 59s main
main
November 21, 2024 02:08 37m 59s
rust ci rust ci #1629: Scheduled
November 20, 2024 02:08 38m 17s main
main
November 20, 2024 02:08 38m 17s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness rust ci #1628: Pull request #328 synchronize by Jayfromthe13th
November 20, 2024 02:05 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 20, 2024 02:05 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness cleanliness #1510: Pull request #328 synchronize by Jayfromthe13th
November 20, 2024 02:05 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 20, 2024 02:05 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness formal verification #1115: Pull request #328 synchronize by Jayfromthe13th
November 20, 2024 02:05 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 20, 2024 02:05 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness move framework tests #1414: Pull request #328 synchronize by Jayfromthe13th
November 20, 2024 02:05 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 20, 2024 02:05 Action required
rust ci rust ci #1627: Scheduled
November 19, 2024 02:09 1h 5m 29s main
main
November 19, 2024 02:09 1h 5m 29s
rust ci rust ci #1626: Scheduled
November 18, 2024 02:11 37m 4s main
main
November 18, 2024 02:11 37m 4s
Add Formal Specifications for Vouch & Burn Module Safety and Correctness rust ci #1625: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 21:37 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 21:37 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness move framework tests #1413: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 21:37 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 21:37 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness cleanliness #1509: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 21:37 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 21:37 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness formal verification #1114: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 21:37 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 21:37 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness rust ci #1624: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 20:25 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:25 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness move framework tests #1412: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 20:25 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:25 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness cleanliness #1508: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 20:25 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:25 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness formal verification #1113: Pull request #328 synchronize by Jayfromthe13th
November 17, 2024 20:25 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:25 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness formal verification #1112: Pull request #328 opened by Jayfromthe13th
November 17, 2024 20:22 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:22 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness rust ci #1623: Pull request #328 opened by Jayfromthe13th
November 17, 2024 20:22 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:22 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness move framework tests #1411: Pull request #328 opened by Jayfromthe13th
November 17, 2024 20:22 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:22 Action required
Add Formal Specifications for Vouch & Burn Module Safety and Correctness cleanliness #1507: Pull request #328 opened by Jayfromthe13th
November 17, 2024 20:22 Action required Jayfromthe13th:main
Jayfromthe13th:main
November 17, 2024 20:22 Action required