Skip to content

Actions: lurk-lang/arecibo

Test `solidity-verifier` compatibility

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Refactor benchmarks for feature handling
Test `solidity-verifier` compatibility #25: Pull request #365 synchronize by huitseeker
March 17, 2024 17:18 3m 8s huitseeker:improve_justfile
March 17, 2024 17:18 3m 8s
chore: Refactor benchmarks for feature handling
Test `solidity-verifier` compatibility #24: Pull request #365 opened by huitseeker
March 17, 2024 16:19 3m 29s huitseeker:improve_justfile
March 17, 2024 16:19 3m 29s
feat: Implement Clone trait for various structs
Test `solidity-verifier` compatibility #23: Pull request #364 opened by huitseeker
March 16, 2024 16:28 2m 51s huitseeker:cloneable_proofs
March 16, 2024 16:28 2m 51s
Test solidity-verifier compatibility
Test `solidity-verifier` compatibility #22: Merge group checks requested
March 14, 2024 19:58 2m 51s
March 14, 2024 19:58 2m 51s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #21: Pull request #363 synchronize by samuelburnham
March 14, 2024 17:55 3m 31s ci-solidity-compat
March 14, 2024 17:55 3m 31s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #20: Pull request #363 synchronize by samuelburnham
March 14, 2024 17:49 2m 43s ci-solidity-compat
March 14, 2024 17:49 2m 43s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #19: Pull request #363 synchronize by samuelburnham
March 14, 2024 17:41 3m 32s ci-solidity-compat
March 14, 2024 17:41 3m 32s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #18: Pull request #363 synchronize by samuelburnham
March 14, 2024 07:26 2m 38s ci-solidity-compat
March 14, 2024 07:26 2m 38s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #17: Pull request #363 synchronize by samuelburnham
March 14, 2024 07:22 3m 8s ci-solidity-compat
March 14, 2024 07:22 3m 8s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #16: Pull request #363 synchronize by samuelburnham
March 14, 2024 07:15 2m 28s ci-solidity-compat
March 14, 2024 07:15 2m 28s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #15: Pull request #363 synchronize by samuelburnham
March 14, 2024 07:04 2m 46s ci-solidity-compat
March 14, 2024 07:04 2m 46s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #14: Pull request #363 synchronize by samuelburnham
March 14, 2024 06:47 3m 14s ci-solidity-compat
March 14, 2024 06:47 3m 14s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #13: Pull request #363 synchronize by samuelburnham
March 14, 2024 06:44 2m 39s ci-solidity-compat
March 14, 2024 06:44 2m 39s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #12: Pull request #363 synchronize by samuelburnham
March 14, 2024 06:39 2m 33s ci-solidity-compat
March 14, 2024 06:39 2m 33s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #11: Pull request #363 synchronize by samuelburnham
March 14, 2024 06:19 3m 27s ci-solidity-compat
March 14, 2024 06:19 3m 27s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #10: Pull request #363 synchronize by samuelburnham
March 14, 2024 05:49 3m 16s ci-solidity-compat
March 14, 2024 05:49 3m 16s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #9: Pull request #363 synchronize by samuelburnham
March 14, 2024 05:41 2m 35s ci-solidity-compat
March 14, 2024 05:41 2m 35s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #8: Pull request #363 synchronize by samuelburnham
March 14, 2024 05:23 2m 35s ci-solidity-compat
March 14, 2024 05:23 2m 35s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #7: Pull request #363 synchronize by samuelburnham
March 13, 2024 03:07 2m 49s ci-solidity-compat
March 13, 2024 03:07 2m 49s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #6: Pull request #363 ready_for_review by samuelburnham
March 13, 2024 03:06 1m 22s ci-solidity-compat
March 13, 2024 03:06 1m 22s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #5: Pull request #363 synchronize by samuelburnham
March 13, 2024 03:03 2m 49s ci-solidity-compat
March 13, 2024 03:03 2m 49s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #4: Pull request #363 synchronize by samuelburnham
March 13, 2024 02:51 2m 58s ci-solidity-compat
March 13, 2024 02:51 2m 58s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #3: Pull request #363 synchronize by samuelburnham
March 13, 2024 02:46 2m 14s ci-solidity-compat
March 13, 2024 02:46 2m 14s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #2: Pull request #363 synchronize by samuelburnham
March 13, 2024 02:34 2m 57s ci-solidity-compat
March 13, 2024 02:34 2m 57s
ci: Add Solidity compatibility check
Test `solidity-verifier` compatibility #1: Pull request #363 opened by samuelburnham
March 13, 2024 02:12 2m 59s ci-solidity-compat
March 13, 2024 02:12 2m 59s