Skip to content

Actions: Certora/Documentation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,001 workflow runs
1,001 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changelog spell and link check #1380: Pull request #304 opened by urikirsh
October 7, 2024 21:22 35s uri/release_notes_7.17.2
uri/release_notes_7.17.2
October 7, 2024 21:22 35s
Update report_changelog.md spell and link check #1379: Pull request #302 synchronize by urikirsh
October 7, 2024 20:50 37s johspaeth/rule_report_release2.4.1
johspaeth/rule_report_release2.4.1
October 7, 2024 20:50 37s
DOC-343: Unsat Cores Visualisation spell and link check #1378: Pull request #153 synchronize by jar-ben
October 7, 2024 12:48 2m 53s jaroslav/UnsatCores
jaroslav/UnsatCores
October 7, 2024 12:48 2m 53s
Document contract_extensions spell and link check #1377: Pull request #300 synchronize by urikirsh
October 7, 2024 12:47 3m 0s naftali/contract_extensions
naftali/contract_extensions
October 7, 2024 12:47 3m 0s
Document address function calls spell and link check #1376: Pull request #299 synchronize by urikirsh
October 7, 2024 12:13 2m 48s naftali/address_function_calls
naftali/address_function_calls
October 7, 2024 12:13 2m 48s
General expression summaries spell and link check #1375: Pull request #291 synchronize by urikirsh
October 6, 2024 10:10 35s christiane-general-expression-summaries
christiane-general-expression-summaries
October 6, 2024 10:10 35s
General expression summaries spell and link check #1374: Pull request #291 synchronize by urikirsh
October 6, 2024 10:04 44s christiane-general-expression-summaries
christiane-general-expression-summaries
October 6, 2024 10:04 44s
General expression summaries spell and link check #1373: Pull request #291 synchronize by urikirsh
October 6, 2024 09:56 2m 58s christiane-general-expression-summaries
christiane-general-expression-summaries
October 6, 2024 09:56 2m 58s
CERT-7220: add documentation for solc_evm_version_map spell and link check #1372: Pull request #301 synchronize by urikirsh
October 2, 2024 09:21 3m 3s rahav/CERT-7220_solc_evm_version_map
rahav/CERT-7220_solc_evm_version_map
October 2, 2024 09:21 3m 3s
added correct syntax for smt_groundQuantifiers after Jeffery Sholtz c… spell and link check #1371: Pull request #303 synchronize by urikirsh
October 2, 2024 09:17 44s uri/fix_smt_ground_quantifiers
uri/fix_smt_ground_quantifiers
October 2, 2024 09:17 44s
added correct syntax for smt_groundQuantifiers after Jeffery Sholtz c… spell and link check #1370: Pull request #303 opened by urikirsh
October 2, 2024 09:01 2m 48s uri/fix_smt_ground_quantifiers
uri/fix_smt_ground_quantifiers
October 2, 2024 09:01 2m 48s
Update report_changelog.md spell and link check #1369: Pull request #302 opened by johspaeth
October 1, 2024 07:28 2m 56s johspaeth/rule_report_release2.4.1
johspaeth/rule_report_release2.4.1
October 1, 2024 07:28 2m 56s
Document contract_extensions spell and link check #1368: Pull request #300 synchronize by liav-certora
September 30, 2024 06:44 2m 57s naftali/contract_extensions
naftali/contract_extensions
September 30, 2024 06:44 2m 57s
Document address function calls spell and link check #1367: Pull request #299 synchronize by naftali-g
September 19, 2024 09:29 2m 52s naftali/address_function_calls
naftali/address_function_calls
September 19, 2024 09:29 2m 52s
CERT-7220: add documentation for solc_evm_version_map spell and link check #1366: Pull request #301 synchronize by rahav-certora
September 17, 2024 20:46 2m 55s rahav/CERT-7220_solc_evm_version_map
rahav/CERT-7220_solc_evm_version_map
September 17, 2024 20:46 2m 55s
CERT-7220: add documentation for solc_evm_version_map spell and link check #1365: Pull request #301 synchronize by rahav-certora
September 17, 2024 20:43 35s rahav/CERT-7220_solc_evm_version_map
rahav/CERT-7220_solc_evm_version_map
September 17, 2024 20:43 35s
CERT-7220: add documentation for solc_evm_version_map spell and link check #1364: Pull request #301 opened by rahav-certora
September 17, 2024 20:00 36s rahav/CERT-7220_solc_evm_version_map
rahav/CERT-7220_solc_evm_version_map
September 17, 2024 20:00 36s
Document contract_extensions spell and link check #1363: Pull request #300 synchronize by naftali-g
September 17, 2024 12:50 2m 46s naftali/contract_extensions
naftali/contract_extensions
September 17, 2024 12:50 2m 46s
Document contract_extensions spell and link check #1362: Pull request #300 opened by naftali-g
September 17, 2024 08:04 37s naftali/contract_extensions
naftali/contract_extensions
September 17, 2024 08:04 37s
Document address function calls spell and link check #1361: Pull request #299 opened by naftali-g
September 17, 2024 07:18 2m 58s naftali/address_function_calls
naftali/address_function_calls
September 17, 2024 07:18 2m 58s
invoke_ syntax removed from the doc spell and link check #1360: Pull request #298 opened by RedLikeRosesss
September 14, 2024 22:00 2m 49s sasha/fixingOldSyntaxInLatestDoc
sasha/fixingOldSyntaxInLatestDoc
September 14, 2024 22:00 2m 49s
Basic vyper installation instructions spell and link check #1359: Pull request #202 synchronize by urikirsh
September 4, 2024 09:27 38s shelly/vyper
shelly/vyper
September 4, 2024 09:27 38s
Basic vyper installation instructions spell and link check #1358: Pull request #202 synchronize by urikirsh
September 4, 2024 09:19 2m 47s shelly/vyper
shelly/vyper
September 4, 2024 09:19 2m 47s
Adding Rule Report changes to the release notes spell and link check #1357: Pull request #297 opened by johspaeth
September 2, 2024 13:10 2m 58s johspaeth-patch-1
johspaeth-patch-1
September 2, 2024 13:10 2m 58s
Revert "Document address function calls" spell and link check #1356: Pull request #296 opened by naftali-g
September 2, 2024 12:11 3m 50s revert-292-naftali/address_function_calls
revert-292-naftali/address_function_calls
September 2, 2024 12:11 3m 50s