Skip to content

Actions: vacp2p/minime

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add certora specs and audit CI #111: Commit 1f6820c pushed by 0x-r4bbit
November 23, 2023 07:52 7m 39s master
master
November 23, 2023 07:52 7m 39s
feat: add certora specs and audit CI #110: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 12:16 8m 38s gad-minime-spec
gad-minime-spec
November 22, 2023 12:16 8m 38s
feat: add certora specs and audit CI #109: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 12:15 11m 0s gad-minime-spec
gad-minime-spec
November 22, 2023 12:15 11m 0s
feat: add certora specs and audit CI #108: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:55 7m 15s gad-minime-spec
gad-minime-spec
November 22, 2023 10:55 7m 15s
feat: add certora specs and audit CI #107: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:40 7m 12s gad-minime-spec
gad-minime-spec
November 22, 2023 10:40 7m 12s
feat: add certora specs and audit CI #106: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:20 4m 17s gad-minime-spec
gad-minime-spec
November 22, 2023 10:20 4m 17s
feat: add certora specs and audit CI #105: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:17 40s gad-minime-spec
gad-minime-spec
November 22, 2023 10:17 40s
feat: add certora specs and audit CI #104: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:15 34s gad-minime-spec
gad-minime-spec
November 22, 2023 10:15 34s
feat: add certora specs and audit CI #103: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:13 1s gad-minime-spec
gad-minime-spec
November 22, 2023 10:13 1s
feat: add certora specs and audit CI #102: Pull request #43 synchronize by 0x-r4bbit
November 22, 2023 10:06 5m 36s gad-minime-spec
gad-minime-spec
November 22, 2023 10:06 5m 36s
feat: add certora specs and audit CI #101: Pull request #43 synchronize by 0x-r4bbit
November 21, 2023 15:44 1m 4s gad-minime-spec
gad-minime-spec
November 21, 2023 15:44 1m 4s
feat: add certora specs and audit CI #100: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:40 1m 16s gad-minime-spec
gad-minime-spec
November 20, 2023 08:40 1m 16s
feat: add certora specs and audit CI #99: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:38 1m 14s gad-minime-spec
gad-minime-spec
November 20, 2023 08:38 1m 14s
feat: add certora specs and audit CI #98: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:37 1m 12s gad-minime-spec
gad-minime-spec
November 20, 2023 08:37 1m 12s
feat: add certora specs and audit CI #97: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:36 1m 5s gad-minime-spec
gad-minime-spec
November 20, 2023 08:36 1m 5s
feat: add certora specs and audit CI #96: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:34 1m 8s gad-minime-spec
gad-minime-spec
November 20, 2023 08:34 1m 8s
feat: add certora specs and audit CI #95: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:30 1m 20s gad-minime-spec
gad-minime-spec
November 20, 2023 08:30 1m 20s
feat: add certora specs and audit CI #94: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:26 1m 17s gad-minime-spec
gad-minime-spec
November 20, 2023 08:26 1m 17s
feat: add certora specs and audit CI #93: Pull request #43 synchronize by 0x-r4bbit
November 20, 2023 08:18 1m 5s gad-minime-spec
gad-minime-spec
November 20, 2023 08:18 1m 5s
feat: add certora specs and audit CI #92: Pull request #43 opened by 0x-r4bbit
November 20, 2023 08:08 1m 9s gad-minime-spec
gad-minime-spec
November 20, 2023 08:08 1m 9s
Certora minime verification CI #91: Pull request #42 opened by GadElbazCertora
October 26, 2023 14:07 45s Certora:gad-minime-spec
Certora:gad-minime-spec
October 26, 2023 14:07 45s
CI CI #90: Manually run by 0x-r4bbit
September 27, 2023 14:47 1m 29s master
master
September 27, 2023 14:47 1m 29s
improve code, use less gas CI #89: Pull request #39 synchronize by 3esmit
September 26, 2023 16:01 1m 21s 3esmit/issue6
3esmit/issue6
September 26, 2023 16:01 1m 21s
improve code, use less gas CI #88: Pull request #39 synchronize by 3esmit
September 26, 2023 15:55 1m 24s 3esmit/issue6
3esmit/issue6
September 26, 2023 15:55 1m 24s
improve code, use less gas CI #87: Pull request #39 synchronize by 3esmit
September 26, 2023 15:53 1m 18s 3esmit/issue6
3esmit/issue6
September 26, 2023 15:53 1m 18s