Skip to content

Actions: lurk-lab/solidity-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Fail e2e tests when PR base is main Run unit tests #43: Pull request #45 opened by samuelburnham
December 13, 2023 17:36 1m 13s samuelburnham:cleanup-main
samuelburnham:cleanup-main
December 13, 2023 17:36 1m 13s
Reorganisation of main branch End to end integration tests #12: Issue comment #42 (comment) created by storojs72
December 13, 2023 15:31 3s
December 13, 2023 15:31 3s
Reorganisation of main branch End to end integration tests #11: Issue comment #42 (comment) created by huitseeker
December 13, 2023 15:26 3s
December 13, 2023 15:26 3s
Reorganisation of main branch Run unit tests #42: Pull request #42 synchronize by storojs72
December 13, 2023 15:20 2m 43s cleanup-main
cleanup-main
December 13, 2023 15:20 2m 43s
Requested changes and adjustments Run unit tests #41: Commit 52b17a3 pushed by storojs72
December 13, 2023 15:20 1m 37s cleanup-main
cleanup-main
December 13, 2023 15:20 1m 37s
Reorganisation of main branch Run unit tests #40: Pull request #42 synchronize by storojs72
December 13, 2023 15:18 2m 12s cleanup-main
cleanup-main
December 13, 2023 15:18 2m 12s
update README Run unit tests #39: Commit eb74e10 pushed by storojs72
December 13, 2023 15:18 1m 6s cleanup-main
cleanup-main
December 13, 2023 15:18 1m 6s
Reorganisation of main branch End to end integration tests #10: Issue comment #42 (comment) created by storojs72
December 13, 2023 15:17 20s
December 13, 2023 15:17 20s
README update & Solidity NatSpec comments Run unit tests #38: Pull request #44 synchronize by tchataigner
December 13, 2023 14:57 1m 5s tchataigner:feature/readme-doc-cleanup
tchataigner:feature/readme-doc-cleanup
December 13, 2023 14:57 1m 5s
Reorganisation of main branch End to end integration tests #9: Issue comment #42 (comment) created by storojs72
December 13, 2023 14:56 1s
December 13, 2023 14:56 1s
README update & Solidity NatSpec comments Run unit tests #37: Pull request #44 synchronize by tchataigner
December 13, 2023 14:54 12s tchataigner:feature/readme-doc-cleanup
tchataigner:feature/readme-doc-cleanup
December 13, 2023 14:54 12s
Reorganisation of main branch Run unit tests #36: Pull request #42 synchronize by storojs72
December 13, 2023 14:50 2m 14s cleanup-main
cleanup-main
December 13, 2023 14:50 2m 14s
Skip execution of e2e integration testing on main branch Run unit tests #35: Commit 135c917 pushed by storojs72
December 13, 2023 14:50 1m 10s cleanup-main
cleanup-main
December 13, 2023 14:50 1m 10s
README update & Solidity NatSpec comments Run unit tests #34: Pull request #44 opened by tchataigner
December 13, 2023 14:33 14s tchataigner:feature/readme-doc-cleanup
tchataigner:feature/readme-doc-cleanup
December 13, 2023 14:33 14s
CI adaptation End to end integration tests #8: Issue comment #43 (comment) created by storojs72
December 13, 2023 14:27 1m 15s
December 13, 2023 14:27 1m 15s
CI adaptation Run unit tests #33: Pull request #43 opened by storojs72
December 13, 2023 14:26 45s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:26 45s
Exclude 'main' branch from e2e integration testing Run unit tests #32: Commit a014c72 pushed by storojs72
December 13, 2023 14:22 44s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:22 44s
Exclude 'main' branch from e2e integration testing Run unit tests #31: Commit bdbe530 pushed by storojs72
December 13, 2023 14:14 18s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:14 18s
Exclude 'main' branch from e2e integration testing Run unit tests #30: Commit 6940183 pushed by storojs72
December 13, 2023 14:11 16s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:11 16s
Exclude 'main' branch from e2e integration testing Run unit tests #29: Commit 1d5b1c2 pushed by storojs72
December 13, 2023 14:09 17s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:09 17s
Exclude 'main' branch from e2e integration testing Run unit tests #28: Commit d0851c4 pushed by storojs72
December 13, 2023 14:07 17s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:07 17s
Exclude 'main' branch from e2e integration testing Run unit tests #27: Commit 80155cc pushed by storojs72
December 13, 2023 14:05 15s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:05 15s
Exclude 'main' branch from e2e integration testing Run unit tests #26: Commit f6363c0 pushed by storojs72
December 13, 2023 14:00 17s cleanup-main-ci
cleanup-main-ci
December 13, 2023 14:00 17s
Reorganisation of main branch End to end integration tests #7: Issue comment #42 (comment) created by storojs72
December 11, 2023 18:09 1m 18s
December 11, 2023 18:09 1m 18s
Reorganisation of main branch Run unit tests #25: Pull request #42 synchronize by storojs72
December 11, 2023 18:08 2m 22s cleanup-main
cleanup-main
December 11, 2023 18:08 2m 22s