Skip to content

Actions: agglayer/vault-bridge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
717 workflow runs
717 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[DO NOT MERGE] Test Certora formal verification 2 (main) test #12: Pull request #33 synchronize by JDawg287
July 25, 2025 14:09 3m 54s temp/certora-verification-2
temp/certora-verification-2
July 25, 2025 14:09 3m 54s
fix: apply certora patch CI #591: Commit 3684605 pushed by JDawg287
July 25, 2025 14:09 3m 12s temp/certora-verification-2
temp/certora-verification-2
July 25, 2025 14:09 3m 12s
PR #33 CodeQL #79: by JDawg287
July 25, 2025 14:09 1m 5s refs/pull/33/head
refs/pull/33/head
July 25, 2025 14:09 1m 5s
Scheduled CodeQL #78: by github-advanced-security bot
July 23, 2025 13:54 1m 16s main
main
July 23, 2025 13:54 1m 16s
Certora formal verification 2 CI #590: Pull request #31 synchronize by otakar-trunda
July 17, 2025 07:29 Action required Certora:certora_toMain
Certora:certora_toMain
July 17, 2025 07:29 Action required
Certora formal verification 2 test #11: Pull request #31 synchronize by otakar-trunda
July 17, 2025 07:29 Action required Certora:certora_toMain
Certora:certora_toMain
July 17, 2025 07:29 Action required
[DO NOT MERGE] Test Certora formal verification 2 (main) test #10: Pull request #33 opened by JDawg287
July 16, 2025 18:30 3m 32s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:30 3m 32s
[DO NOT MERGE] Test Certora formal verification 2 (main) CI #589: Pull request #33 opened by JDawg287
July 16, 2025 18:30 3m 3s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:30 3m 3s
PR #33 CodeQL #77: by JDawg287
July 16, 2025 18:30 1m 18s refs/pull/33/head
refs/pull/33/head
July 16, 2025 18:30 1m 18s
Merge remote-tracking branch 'certora-fork/certora_toMain' into temp/… CI #588: Commit c3708f7 pushed by JDawg287
July 16, 2025 18:29 3m 14s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:29 3m 14s
Merge pull request #30 from agglayer/docs/formal-verification-report CI #587: Commit 2aa71d9 pushed by JDawg287
July 16, 2025 18:28 3m 15s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:28 3m 15s
PR #32 CodeQL #76: by JDawg287
July 16, 2025 18:28 1m 10s refs/pull/32/head
refs/pull/32/head
July 16, 2025 18:28 1m 10s
[DO NOT MERGE] Test Certora formal verification 2 (main) CI #586: Pull request #32 opened by JDawg287
July 16, 2025 18:09 3m 2s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:09 3m 2s
[DO NOT MERGE] Test Certora formal verification 2 (main) test #9: Pull request #32 opened by JDawg287
July 16, 2025 18:09 3m 31s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:09 3m 31s
PR #32 CodeQL #75: by JDawg287
July 16, 2025 18:09 1m 9s refs/pull/32/head
refs/pull/32/head
July 16, 2025 18:09 1m 9s
Merge remote-tracking branch 'certora-fork/certora_toMain' into temp/… CI #585: Commit feff64a pushed by JDawg287
July 16, 2025 18:08 3m 8s temp/certora-verification-2
temp/certora-verification-2
July 16, 2025 18:08 3m 8s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) test #8: Pull request #29 synchronize by JDawg287
July 16, 2025 16:49 6m 25s temp/certora-verification
temp/certora-verification
July 16, 2025 16:49 6m 25s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) CI #584: Pull request #29 synchronize by JDawg287
July 16, 2025 16:49 3m 34s temp/certora-verification
temp/certora-verification
July 16, 2025 16:49 3m 34s
Merge remote-tracking branch 'certora-fork/certora' into temp/certora… CI #583: Commit e8fa9c4 pushed by JDawg287
July 16, 2025 16:49 3m 30s temp/certora-verification
temp/certora-verification
July 16, 2025 16:49 3m 30s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) test #7: Pull request #29 synchronize by JDawg287
July 16, 2025 15:50 6m 47s temp/certora-verification
temp/certora-verification
July 16, 2025 15:50 6m 47s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) CI #582: Pull request #29 synchronize by JDawg287
July 16, 2025 15:50 3m 23s temp/certora-verification
temp/certora-verification
July 16, 2025 15:50 3m 23s
Permission updated CI #581: Commit df10b68 pushed by JDawg287
July 16, 2025 15:50 13s temp/certora-verification
temp/certora-verification
July 16, 2025 15:50 13s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) CI #580: Pull request #29 synchronize by JDawg287
July 16, 2025 15:49 3m 17s temp/certora-verification
temp/certora-verification
July 16, 2025 15:49 3m 17s
[DO NOT MERGE] Test Certora formal verification 1 (feat/v1) test #6: Pull request #29 synchronize by JDawg287
July 16, 2025 15:49 1m 40s temp/certora-verification
temp/certora-verification
July 16, 2025 15:49 1m 40s
remappings removed CI #579: Commit 89e6566 pushed by JDawg287
July 16, 2025 15:49 3m 11s temp/certora-verification
temp/certora-verification
July 16, 2025 15:49 3m 11s