Skip to content

Actions: crytic/properties

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add SPDX license identifiers for files missing them Test examples using Medusa #29: Pull request #59 opened by 0xteddybear
August 1, 2024 14:52 6m 13s 0xteddybear:chore/set-spdx-license-identifiers
0xteddybear:chore/set-spdx-license-identifiers
August 1, 2024 14:52 6m 13s
chore: add SPDX license identifiers for files missing them Lint #95: Pull request #59 opened by 0xteddybear
August 1, 2024 14:52 43s 0xteddybear:chore/set-spdx-license-identifiers
0xteddybear:chore/set-spdx-license-identifiers
August 1, 2024 14:52 43s
chore: add SPDX license identifiers for files missing them Test examples using Echidna #29: Pull request #59 opened by 0xteddybear
August 1, 2024 14:52 1m 35s 0xteddybear:chore/set-spdx-license-identifiers
0xteddybear:chore/set-spdx-license-identifiers
August 1, 2024 14:52 1m 35s
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
Merge pull request #36 from crytic/dev-medusa Test examples using Echidna #28: Commit f1ff61b pushed by ggrieco-tob
May 29, 2024 11:35 2m 3s main
main
May 29, 2024 11:35 2m 3s
Merge pull request #36 from crytic/dev-medusa Test examples using Medusa #28: Commit f1ff61b pushed by ggrieco-tob
May 29, 2024 11:35 5m 25s main
main
May 29, 2024 11:35 5m 25s
Initial medusa support for the CI Test examples using Medusa #27: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 11:10 5m 13s dev-medusa
dev-medusa
May 29, 2024 11:10 5m 13s
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 Test examples using Echidna #27: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 11:10 1m 59s dev-medusa
dev-medusa
May 29, 2024 11:10 1m 59s
Initial medusa support for the CI Test examples using Echidna #26: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:48 2m 6s dev-medusa
dev-medusa
May 29, 2024 09:48 2m 6s
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 Test examples using Medusa #26: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:48 5m 49s dev-medusa
dev-medusa
May 29, 2024 09:48 5m 49s
Initial medusa support for the CI Test examples using Medusa #25: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:41 5m 51s dev-medusa
dev-medusa
May 29, 2024 09:41 5m 51s
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 Test examples using Echidna #25: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:41 2m 6s dev-medusa
dev-medusa
May 29, 2024 09:41 2m 6s
Initial medusa support for the CI Test examples using Medusa #24: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:37 5m 35s dev-medusa
dev-medusa
May 29, 2024 09:37 5m 35s
Initial medusa support for the CI Test examples using Echidna #24: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:37 2m 9s dev-medusa
dev-medusa
May 29, 2024 09:37 2m 9s
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 Test examples using Medusa #23: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:17 5m 34s dev-medusa
dev-medusa
May 29, 2024 09:17 5m 34s
Initial medusa support for the CI Test examples using Echidna #23: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:17 2m 5s dev-medusa
dev-medusa
May 29, 2024 09:17 2m 5s
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 Test examples using Echidna #22: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:10 1m 59s dev-medusa
dev-medusa
May 29, 2024 09:10 1m 59s
Initial medusa support for the CI Test examples using Medusa #22: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:10 5m 54s dev-medusa
dev-medusa
May 29, 2024 09:10 5m 54s
Initial medusa support for the CI Test examples using Medusa #21: Pull request #36 synchronize by ggrieco-tob
May 29, 2024 09:05 5m 50s dev-medusa
dev-medusa
May 29, 2024 09:05 5m 50s