Skip to content

Actions: defi-wonderland/solidity-foundry-boilerplate

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: ci trigger
Coverage check on main push #1: Commit 35351b3 pushed by simon-something
May 18, 2024 13:28 28s feat/invariants
May 18, 2024 13:28 28s
fix: ci trigger
CI #108: Commit 35351b3 pushed by simon-something
May 18, 2024 13:28 36s feat/invariants
May 18, 2024 13:28 36s
feat: coverage check CI
CI #107: Commit 9a51d1f pushed by simon-something
May 18, 2024 13:26 34s feat/invariants
May 18, 2024 13:26 34s
chore: ci test and cov prototype
CI #106: Commit fdc7473 pushed by simon-something
May 17, 2024 15:59 31s feat/invariants
May 17, 2024 15:59 31s
feat: slither CI
CI #105: Commit fcadbe4 pushed by simon-something
May 17, 2024 09:10 34s feat/invariants
May 17, 2024 09:10 34s
chore: dir reorg
CI #104: Commit 1601c6c pushed by simon-something
May 17, 2024 08:23 35s feat/invariants
May 17, 2024 08:23 35s
fix: invariant + optim
CI #103: Commit d9eed8c pushed by simon-something
May 16, 2024 13:02 48s feat/invariants
May 16, 2024 13:02 48s
feat: symb exec halmos
CI #102: Commit ed45d89 pushed by simon-something
May 16, 2024 11:47 47s feat/invariants
May 16, 2024 11:47 47s
fix: adding RPC url to package scripts (#68)
CI #101: Commit 1e9f2a5 pushed by gas1cent
May 14, 2024 13:54 40s main
May 14, 2024 13:54 40s
fix: adding RPC url to package scripts
CI #100: Commit a43cda0 pushed by wei3erHase
May 13, 2024 19:32 1m 41s fix/scripts
May 13, 2024 19:32 1m 41s
feat: update forge-std and rm ds-test dependency (#67)
CI #99: Commit db01acd pushed by gas1cent
May 10, 2024 09:31 52s main
May 10, 2024 09:31 52s
style: quotes
CI #93: Commit 828a559 pushed by gas1cent
May 1, 2024 06:45 33s chore/updating-packages
May 1, 2024 06:45 33s
fix: installing solhint from npm
CI #89: Commit 93cff9e pushed by wei3erHase
April 29, 2024 09:24 49s chore/updating-packages
April 29, 2024 09:24 49s
style: reorder interface to match coding style (#65)
CI #87: Commit eb32993 pushed by gas1cent
April 18, 2024 12:11 1m 44s main
April 18, 2024 12:11 1m 44s
ProTip! You can narrow down the results and go further in time using created:<2024-04-05 or the other filters available.