Skip to content

Actions: liquid-collective/liquid-collective-protocol

Mythril

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
312 workflow runs
312 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added certora CI workflow [PE-11] (#304)
Mythril #1331: Commit 968a3a3 pushed by iamsahu
November 25, 2024 13:28 1m 1s main
November 25, 2024 13:28 1m 1s
Add Redeem Manager test to increase coverage PE-1432 (#305)
Mythril #1328: Commit a419ced pushed by juliaaschmidt
October 31, 2024 15:17 1m 2s main
October 31, 2024 15:17 1m 2s
TLC migration to the new schedule (#296)
Mythril #1320: Commit 76d9173 pushed by iamsahu
October 29, 2024 16:57 1m 1s main
October 29, 2024 16:57 1m 1s
chore: fixed the certora github action
Mythril #1318: Commit 2d248e8 pushed by iamsahu
October 22, 2024 13:05 59s chore/certora-ci-integration
October 22, 2024 13:05 59s
chore: fixed the certora github action
Mythril #1316: Commit f22bbbc pushed by iamsahu
October 22, 2024 13:04 1m 12s chore/certora-ci-integration
October 22, 2024 13:04 1m 12s
chore: Added certora CI workflow
Mythril #1315: Commit 358cc59 pushed by iamsahu
October 21, 2024 12:09 1m 1s chore/certora-ci-integration
October 21, 2024 12:09 1m 1s
Feat: RedeemManager Migration - Assumes initiator equals recipient (…
Mythril #1314: Commit 53d70ab pushed by mischat
October 10, 2024 13:03 1m 20s v1.2.1
October 10, 2024 13:03 1m 20s