Skip to content

Actions: formal-land/coq-of-solidity

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check stale issues and pull requests Check stale issues and pull requests #3: Scheduled
October 24, 2024 12:43 16s develop
develop
October 24, 2024 12:43 16s
Merge pull request #13 from formal-land/clarus-patch-1 Coq #49: Commit 053e242 pushed by clarus
October 23, 2024 18:27 3m 45s develop
develop
October 23, 2024 18:27 3m 45s
Update README.md Coq #48: Pull request #13 opened by clarus
October 23, 2024 18:27 3m 43s clarus-patch-1
clarus-patch-1
October 23, 2024 18:27 3m 43s
Update README.md External contributor greeter #6: Pull request #13 opened by clarus
October 23, 2024 18:27 17s
October 23, 2024 18:27 17s
Draft: improve the Smoo.th proofs Coq #47: Pull request #12 opened by clarus
October 23, 2024 18:26 3m 28s guillaume-claret@translate-smooth-without-optimizations
guillaume-claret@translate-smooth-without-optimizations
October 23, 2024 18:26 3m 28s
Draft: improve the Smoo.th proofs External contributor greeter #5: Pull request #12 opened by clarus
October 23, 2024 18:26 11s
October 23, 2024 18:26 11s
Check stale issues and pull requests Check stale issues and pull requests #2: Scheduled
October 23, 2024 12:43 12s develop
develop
October 23, 2024 12:43 12s
Check stale issues and pull requests Check stale issues and pull requests #1: Scheduled
October 22, 2024 12:43 17s develop
develop
October 22, 2024 12:43 17s
Merge pull request #11 from formal-land/guillaume-claret@small-readme… Coq #46: Commit 81dd625 pushed by clarus
October 22, 2024 08:17 3m 47s develop
develop
October 22, 2024 08:17 3m 47s
Update README.md Coq #45: Pull request #11 opened by clarus
October 22, 2024 08:17 3m 49s guillaume-claret@small-readme-update
guillaume-claret@small-readme-update
October 22, 2024 08:17 3m 49s
Update README.md External contributor greeter #4: Pull request #11 opened by clarus
October 22, 2024 08:17 12s
October 22, 2024 08:17 12s
Merge pull request #10 from formal-land/guillaume-claret@fix-ci-wrong… Coq #44: Commit 52ea0ac pushed by clarus
October 21, 2024 18:34 3m 52s develop
develop
October 21, 2024 18:34 3m 52s
ci: fix typo Coq #43: Pull request #10 opened by clarus
October 21, 2024 18:34 3m 38s guillaume-claret@fix-ci-wrong-import
guillaume-claret@fix-ci-wrong-import
October 21, 2024 18:34 3m 38s
ci: fix typo External contributor greeter #3: Pull request #10 opened by clarus
October 21, 2024 18:34 12s
October 21, 2024 18:34 12s
Merge pull request #9 from formal-land/guillaume-claret@add-documenta… Coq #42: Commit ba1b48c pushed by clarus
October 21, 2024 18:07 2m 59s develop
develop
October 21, 2024 18:07 2m 59s
Add documentation for the verification of the Smoo.th project Coq #41: Pull request #9 synchronize by clarus
October 21, 2024 18:06 3m 12s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:06 3m 12s
Add documentation for the verification of the Smoo.th project Coq #40: Pull request #9 synchronize by clarus
October 21, 2024 18:01 3m 7s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:01 3m 7s
Add documentation for the verification of the Smoo.th project Coq #39: Pull request #9 synchronize by clarus
October 21, 2024 18:00 3m 12s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 18:00 3m 12s
Add documentation for the verification of the Smoo.th project Coq #38: Pull request #9 opened by clarus
October 21, 2024 16:27 3m 41s guillaume-claret@add-documentation-smooth
guillaume-claret@add-documentation-smooth
October 21, 2024 16:27 3m 41s
Add documentation for the verification of the Smoo.th project External contributor greeter #2: Pull request #9 opened by clarus
October 21, 2024 16:27 12s
October 21, 2024 16:27 12s
Merge pull request #8 from formal-land/guillaume-claret@verification-… Coq #37: Commit f118e86 pushed by clarus
October 21, 2024 15:55 3m 45s develop
develop
October 21, 2024 15:55 3m 45s
Beginning of verification of ECC in Yul Coq #36: Pull request #8 synchronize by clarus
October 21, 2024 15:52 3m 42s guillaume-claret@verification-of-yul-ecc-for-merge
guillaume-claret@verification-of-yul-ecc-for-merge
October 21, 2024 15:52 3m 42s
Beginning of verification of ECC in Yul Coq #35: Pull request #8 synchronize by clarus
October 21, 2024 15:49 3m 51s guillaume-claret@verification-of-yul-ecc-for-merge
guillaume-claret@verification-of-yul-ecc-for-merge
October 21, 2024 15:49 3m 51s
Beginning of verification of ECC in Yul Coq #34: Pull request #8 opened by clarus
October 21, 2024 15:02 3m 3s guillaume-claret@verification-of-yul-ecc-for-merge
guillaume-claret@verification-of-yul-ecc-for-merge
October 21, 2024 15:02 3m 3s
Beginning of verification of ECC in Yul External contributor greeter #1: Pull request #8 opened by clarus
October 21, 2024 15:02 11s
October 21, 2024 15:02 11s