Skip to content

Actions: crytic/properties

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yaml
79 workflow runs
79 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #36 from crytic/dev-medusa Lint #94: Commit f1ff61b pushed by ggrieco-tob
May 29, 2024 11:35 42s main
main
May 29, 2024 11:35 42s
Initial medusa support for the CI Lint #93: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 11:10 46s dev-medusa
dev-medusa
May 29, 2024 11:10 46s
Initial medusa support for the CI Lint #92: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:48 40s dev-medusa
dev-medusa
May 29, 2024 09:48 40s
Initial medusa support for the CI Lint #91: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:41 59s dev-medusa
dev-medusa
May 29, 2024 09:41 59s
Initial medusa support for the CI Lint #90: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:37 46s dev-medusa
dev-medusa
May 29, 2024 09:37 46s
Initial medusa support for the CI Lint #89: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:17 46s dev-medusa
dev-medusa
May 29, 2024 09:17 46s
Initial medusa support for the CI Lint #88: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:10 40s dev-medusa
dev-medusa
May 29, 2024 09:10 40s
Initial medusa support for the CI Lint #87: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:05 49s dev-medusa
dev-medusa
May 29, 2024 09:05 49s
Initial medusa support for the CI Lint #86: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:00 41s dev-medusa
dev-medusa
May 29, 2024 09:00 41s
Initial medusa support for the CI Lint #85: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 08:55 41s dev-medusa
dev-medusa
May 29, 2024 08:55 41s
Initial medusa support for the CI Lint #84: Pull request #36 synchronize by ggrieco-tob
May 28, 2024 15:55 1m 3s dev-medusa
dev-medusa
May 28, 2024 15:55 1m 3s
Initial medusa support for the CI Lint #83: Pull request #36 synchronize by ggrieco-tob
May 28, 2024 15:44 44s dev-medusa
dev-medusa
May 28, 2024 15:44 44s
Initial medusa support for the CI Lint #82: Pull request #36 synchronize by ggrieco-tob
May 28, 2024 15:13 44s dev-medusa
dev-medusa
May 28, 2024 15:13 44s
Merge pull request #46 from aviggiano/patch-2 Lint #81: Commit 61133a7 pushed by ggrieco-tob
May 28, 2024 14:31 42s main
main
May 28, 2024 14:31 42s
Initial medusa support for the CI Lint #80: Pull request #36 synchronize by ggrieco-tob
May 28, 2024 14:31 43s dev-medusa
dev-medusa
May 28, 2024 14:31 43s
Initial medusa support for the CI Lint #79: Pull request #36 synchronize by ggrieco-tob
May 28, 2024 14:21 1m 7s dev-medusa
dev-medusa
May 28, 2024 14:21 1m 7s
Fixed hevm cheatcode link Lint #78: Commit 987c7db pushed by ggrieco-tob
May 28, 2024 13:46 40s main
main
May 28, 2024 13:46 40s
Merge pull request #55 from GianfrancoBazzani/patch-1 Lint #77: Commit 58fcb6f pushed by bsamuels453
April 5, 2024 20:47 37s main
main
April 5, 2024 20:47 37s
🔨 fix typo in Hevm.sol Lint #76: Pull request #55 opened by GianfrancoBazzani
April 5, 2024 05:09 1m 5s GianfrancoBazzani:patch-1
GianfrancoBazzani:patch-1
April 5, 2024 05:09 1m 5s
Merge pull request #54 from aviggiano/patch-3 Lint #75: Commit 4a328b8 pushed by glarregay-tob
March 25, 2024 21:04 1m 3s main
main
March 25, 2024 21:04 1m 3s
Fix typo in deal Hevm cheatcode Lint #74: Pull request #54 opened by aviggiano
March 25, 2024 20:18 52s aviggiano:patch-3
aviggiano:patch-3
March 25, 2024 20:18 52s
Merge pull request #53 from crytic/update-cheatcode Lint #73: Commit 2526765 pushed by montyly
March 14, 2024 12:18 59s main
main
March 14, 2024 12:18 59s
Update hevm cheatcodes Lint #72: Pull request #53 opened by smonicas
March 14, 2024 11:43 47s update-cheatcode
update-cheatcode
March 14, 2024 11:43 47s
Merge pull request #48 from aviggiano/decimals Lint #71: Commit 13a8724 pushed by bsamuels453
November 5, 2023 16:45 1m 3s main
main
November 5, 2023 16:45 1m 3s
Fix TestERC20Token decimals type (uint256->uint8) Lint #70: Pull request #48 opened by aviggiano
November 4, 2023 21:51 1m 6s aviggiano:decimals
aviggiano:decimals
November 4, 2023 21:51 1m 6s