Skip to content

Actions: farcasterxyz/contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
375 workflow runs
375 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #729: Pull request #275 synchronize by daejunpark
July 26, 2023 09:14 19m 17s test/halmos
July 26, 2023 09:14 19m 17s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #728: Pull request #275 synchronize by daejunpark
July 26, 2023 06:27 16m 10s test/halmos
July 26, 2023 06:27 16m 10s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #727: Pull request #275 synchronize by daejunpark
July 26, 2023 06:27 1m 30s test/halmos
July 26, 2023 06:27 1m 30s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #726: Pull request #275 synchronize by daejunpark
July 26, 2023 04:48 3m 0s test/halmos
July 26, 2023 04:48 3m 0s
fix(StorageRent): add price feed max age (#277)
CI #724: Commit 692acb0 pushed by horsefacts
July 26, 2023 04:23 2m 43s main
July 26, 2023 04:23 2m 43s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #723: Pull request #275 synchronize by varunsrin
July 26, 2023 04:04 3m 10s test/halmos
July 26, 2023 04:04 3m 10s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #722: Pull request #275 synchronize by varunsrin
July 26, 2023 03:54 2m 37s test/halmos
July 26, 2023 03:54 2m 37s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #721: Pull request #275 synchronize by varunsrin
July 26, 2023 03:37 3m 27s test/halmos
July 26, 2023 03:37 3m 27s
July 25, 2023 15:57 3m 30s
fix(StorageRent): remove noop revokeRole (#281)
CI #717: Commit 6d3c2aa pushed by varunsrin
July 25, 2023 05:35 3m 22s main
July 25, 2023 05:35 3m 22s
fix: update FnameResolver deploy script (#283)
CI #716: Commit 4ffc790 pushed by varunsrin
July 25, 2023 05:34 3m 1s main
July 25, 2023 05:34 3m 1s
chore(FnameResolver): add deploy script (#260)
CI #713: Commit 4f76604 pushed by horsefacts
July 24, 2023 23:58 27s main
July 24, 2023 23:58 27s
fix: use explicit owner address everywhere (#278)
CI #711: Commit 8c96cd6 pushed by varunsrin
July 24, 2023 21:36 2m 40s main
July 24, 2023 21:36 2m 40s
test: add symbolic tests for IdRegistry and KeyRegistry invariants
CI #706: Pull request #275 synchronize by daejunpark
July 18, 2023 13:42 20m 40s test/halmos
July 18, 2023 13:42 20m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.