Skip to content

Actions: Certora/Documentation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
896 workflow runs
896 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Uri/solana docs review spell and link check #1569: Pull request #351 opened by urikirsh
February 6, 2025 19:05 2m 50s uri/solana_docs_review
uri/solana_docs_review
February 6, 2025 19:05 2m 50s
Solana documentation spell and link check #1568: Pull request #327 synchronize by johspaeth
February 6, 2025 14:13 35s solana/docs_template
solana/docs_template
February 6, 2025 14:13 35s
Review of Solana docs spell and link check #1567: Pull request #350 synchronize by johspaeth
February 6, 2025 13:46 2m 57s johannes/solana_docs_review
johannes/solana_docs_review
February 6, 2025 13:46 2m 57s
Review of Solana docs spell and link check #1566: Pull request #350 opened by johspaeth
February 6, 2025 13:43 2m 51s johannes/solana_docs_review
johannes/solana_docs_review
February 6, 2025 13:43 2m 51s
Solana documentation spell and link check #1565: Pull request #327 synchronize by phreppo
February 6, 2025 11:18 36s solana/docs_template
solana/docs_template
February 6, 2025 11:18 36s
Fixes to Solana documentation spell and link check #1564: Pull request #349 opened by phreppo
February 5, 2025 15:14 2m 51s phreppo/fixes
phreppo/fixes
February 5, 2025 15:14 2m 51s
Fix unsupported --build_script flag spell and link check #1563: Pull request #348 synchronize by phreppo
February 5, 2025 09:32 34s phreppo/fix-unsupported-flag
phreppo/fix-unsupported-flag
February 5, 2025 09:32 34s
Fix unsupported --build_script flag spell and link check #1562: Pull request #348 opened by phreppo
February 4, 2025 16:36 2m 52s phreppo/fix-unsupported-flag
phreppo/fix-unsupported-flag
February 4, 2025 16:36 2m 52s
Solana documentation spell and link check #1561: Pull request #327 synchronize by phreppo
February 4, 2025 12:09 45s solana/docs_template
solana/docs_template
February 4, 2025 12:09 45s
Solana documentation spell and link check #1560: Pull request #327 synchronize by phreppo
February 4, 2025 12:05 40s solana/docs_template
solana/docs_template
February 4, 2025 12:05 40s
Solana documentation spell and link check #1559: Pull request #327 synchronize by phreppo
February 4, 2025 12:04 36s solana/docs_template
solana/docs_template
February 4, 2025 12:04 36s
Solana documentation spell and link check #1558: Pull request #327 synchronize by phreppo
February 4, 2025 08:41 31s solana/docs_template
solana/docs_template
February 4, 2025 08:41 31s
Solana documentation spell and link check #1557: Pull request #327 synchronize by phreppo
February 4, 2025 08:40 41s solana/docs_template
solana/docs_template
February 4, 2025 08:40 41s
document --auto_dispatcher, --project_sanity, and --foundry spell and link check #1556: Pull request #344 synchronize by naftali-g
February 2, 2025 06:56 40s naftali/auto_dispatcher
naftali/auto_dispatcher
February 2, 2025 06:56 40s
document --project_sanity and --foundry spell and link check #1555: Pull request #347 synchronize by naftali-g
February 2, 2025 06:31 42s naftali/sanity_mode
naftali/sanity_mode
February 2, 2025 06:31 42s
CERT-8156: split_rules documentation spell and link check #1554: Pull request #345 synchronize by rahav-certora
January 30, 2025 10:46 35s rahav/CERT-8156_split_rules_documentation
rahav/CERT-8156_split_rules_documentation
January 30, 2025 10:46 35s
Solana documentation spell and link check #1553: Pull request #327 synchronize by phreppo
January 30, 2025 09:53 44s solana/docs_template
solana/docs_template
January 30, 2025 09:53 44s
document --project_sanity and --foundry spell and link check #1552: Pull request #347 synchronize by naftali-g
January 30, 2025 09:25 2m 51s naftali/sanity_mode
naftali/sanity_mode
January 30, 2025 09:25 2m 51s
document --project_sanity and --foundry spell and link check #1551: Pull request #347 opened by naftali-g
January 30, 2025 09:22 37s naftali/sanity_mode
naftali/sanity_mode
January 30, 2025 09:22 37s
branching out the evm compilers installation info spell and link check #1550: Pull request #346 synchronize by urikirsh
January 29, 2025 20:38 39s uri/shared_installation
uri/shared_installation
January 29, 2025 20:38 39s
branching out the evm compilers installation info spell and link check #1549: Pull request #346 synchronize by urikirsh
January 29, 2025 20:33 32s uri/shared_installation
uri/shared_installation
January 29, 2025 20:33 32s
branching out the evm compilers installation info spell and link check #1548: Pull request #346 synchronize by urikirsh
January 29, 2025 20:24 46s uri/shared_installation
uri/shared_installation
January 29, 2025 20:24 46s
branching out the evm compilers installation info spell and link check #1547: Pull request #346 synchronize by urikirsh
January 29, 2025 20:20 35s uri/shared_installation
uri/shared_installation
January 29, 2025 20:20 35s
branching out the evm compilers installation info spell and link check #1546: Pull request #346 synchronize by urikirsh
January 29, 2025 20:12 37s uri/shared_installation
uri/shared_installation
January 29, 2025 20:12 37s
branching out the evm compilers installation info spell and link check #1545: Pull request #346 synchronize by urikirsh
January 29, 2025 20:05 46s uri/shared_installation
uri/shared_installation
January 29, 2025 20:05 46s