Skip to content

Actions: asyncswap/async-swap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
482 workflow runs
482 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from asyncswap/main CI #315: Commit 132bc5c pushed by mmsaki
4m 9s v1
v1
4m 9s
Main CI #314: Pull request #23 opened by mmsaki
4m 3s main
main
4m 3s
add conf CI #313: Commit 49eb6db pushed by mmsaki
3m 58s main
main
3m 58s
feat: add Certora CVL specification for V1.1 pricing model CI #312: Commit c2276a0 pushed by mmsaki
4m 2s v1
v1
4m 2s
feat: add Z3 symbolic proof for V1.1 pricing model CI #311: Commit be8c990 pushed by mmsaki
4m 32s v1
v1
4m 32s
test: add token/USD oracle fairness tests for v1.1 CI #310: Commit 8883183 pushed by mmsaki
3m 58s v1.1.0
v1.1.0
3m 58s
test: add token/USD oracle fairness tests for v1.1 CI #309: Commit 8883183 pushed by mmsaki
4m 1s v1
v1
4m 1s
feat: add token/USD fairness model for arbitrary pair surplus detecti… CI #308: Commit 14d0a26 pushed by mmsaki
3m 38s v1
v1
3m 38s
feat: bilateral value protection with user enforcement and filler det… CI #307: Commit a63f7c7 pushed by mmsaki
3m 57s v1.0.0
v1.0.0
3m 57s
feat: bilateral value protection with user enforcement and filler det… CI #306: Commit a63f7c7 pushed by mmsaki
3m 57s v1
v1
3m 57s
refactor: migrate AsyncSwapFill, Governance, Unsupported, and Oracle … CI #305: Commit cdd3891 pushed by mmsaki
4m 9s v1
v1
4m 9s
refactor: migrate AsyncSwap.t.sol to shared SetupHook base CI #304: Commit bf4d691 pushed by mmsaki
3m 50s v1
v1
3m 50s
fix: deploy script test owner assertion now works with explicit const… CI #303: Commit 507c254 pushed by mmsaki
4m 12s v1
v1
4m 12s
feat: protocol starts paused by default, add shared SetupHook test base CI #302: Commit 4129e49 pushed by mmsaki
3m 34s v1
v1
3m 34s
fix: align Solidity with verified TLA+ spec — immediate rebate on eve… CI #301: Commit c9b702e pushed by mmsaki
3m 31s v1
v1
3m 31s
feat: add formally verified TLA+ state machine specification CI #300: Commit 20c801c pushed by mmsaki
3m 21s v1
v1
3m 21s
refactor: align implementation with reviewed V1 spec CI #299: Commit 00eb562 pushed by mmsaki
3m 23s v1
v1
3m 23s
fix: patch 4 findings from focused V1-model audit CI #298: Commit e2aacaa pushed by mmsaki
3m 31s v1
v1
3m 31s
feat: add oracle surplus capture groundwork and Chronicle integration… CI #297: Commit 02181c5 pushed by mmsaki
3m 24s v1
v1
3m 24s
feat: add oracle surplus capture groundwork and Chronicle adapter CI #296: Commit 931528b pushed by mmsaki
3m 38s v1
v1
3m 38s
docs: add OTC-like pricing note to protocol design section CI #295: Commit 06b6bb1 pushed by mmsaki
3m 15s v1
v1
3m 15s
ci: install recursive dependencies and use v4-core bundled solmate CI #294: Commit b3ca0e5 pushed by mmsaki
3m 16s v1
v1
3m 16s
refactor: align repo to Solidity 0.8.26 and remove layout anchor CI #293: Commit f57da26 pushed by mmsaki
17s v1
v1
17s
ci: install Foundry dependencies before build and test CI #292: Commit 236d30f pushed by mmsaki
17s v1
v1
17s
chore: remove other algos keep clvr CI #291: Commit 6c04790 pushed by mmsaki
41s v0.1.0
v0.1.0
41s