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

Solana documentation spell and link check #1594: Pull request #327 synchronize by urikirsh
February 17, 2025 14:25 34s solana/docs_template
solana/docs_template
February 17, 2025 14:25 34s
Solana documentation spell and link check #1593: Pull request #327 synchronize by urikirsh
February 17, 2025 14:18 2m 48s solana/docs_template
solana/docs_template
February 17, 2025 14:18 2m 48s
Document sum and usum spell and link check #1592: Pull request #352 synchronize by naftali-g
February 17, 2025 09:49 38s naftali/sum_and_usum
naftali/sum_and_usum
February 17, 2025 09:49 38s
CERT-8241: revert in cvl spell and link check #1591: Pull request #354 synchronize by christiane-certora
February 14, 2025 09:42 41s christiane/cvl-reverts
christiane/cvl-reverts
February 14, 2025 09:42 41s
Uri/add GitHub syntax highlighting instructions spell and link check #1590: Pull request #355 synchronize by urikirsh
February 13, 2025 20:47 36s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 20:47 36s
Uri/add GitHub syntax highlighting instructions spell and link check #1589: Pull request #355 synchronize by urikirsh
February 13, 2025 20:40 34s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 20:40 34s
Uri/add GitHub syntax highlighting instructions spell and link check #1588: Pull request #355 synchronize by urikirsh
February 13, 2025 20:31 36s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 20:31 36s
Uri/add GitHub syntax highlighting instructions spell and link check #1587: Pull request #355 synchronize by urikirsh
February 13, 2025 20:25 35s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 20:25 35s
Uri/add GitHub syntax highlighting instructions spell and link check #1586: Pull request #355 synchronize by urikirsh
February 13, 2025 18:50 33s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 18:50 33s
Uri/add GitHub syntax highlighting instructions spell and link check #1585: Pull request #355 synchronize by urikirsh
February 13, 2025 18:29 2m 47s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 18:29 2m 47s
Uri/add GitHub syntax highlighting instructions spell and link check #1584: Pull request #355 synchronize by urikirsh
February 13, 2025 18:26 37s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 18:26 37s
Uri/add GitHub syntax highlighting instructions spell and link check #1583: Pull request #355 opened by urikirsh
February 13, 2025 18:23 33s uri/add_github_syntax_highlighting_instructions
uri/add_github_syntax_highlighting_instructions
February 13, 2025 18:23 33s
CERT-8241: revert in cvl spell and link check #1582: Pull request #354 synchronize by christiane-certora
February 13, 2025 08:51 44s christiane/cvl-reverts
christiane/cvl-reverts
February 13, 2025 08:51 44s
CERT-8241: revert in cvl spell and link check #1581: Pull request #354 synchronize by christiane-certora
February 13, 2025 07:59 2m 49s christiane/cvl-reverts
christiane/cvl-reverts
February 13, 2025 07:59 2m 49s
CERT-8241: revert in cvl spell and link check #1580: Pull request #354 opened by christiane-certora
February 12, 2025 16:12 42s christiane/cvl-reverts
christiane/cvl-reverts
February 12, 2025 16:12 42s
Draft docs for Sunbeam spell and link check #1579: Pull request #353 synchronize by teryanarmen
February 11, 2025 22:54 42s teryanarmen:master
teryanarmen:master
February 11, 2025 22:54 42s
Draft docs for Sunbeam spell and link check #1578: Pull request #353 synchronize by teryanarmen
February 11, 2025 22:50 40s teryanarmen:master
teryanarmen:master
February 11, 2025 22:50 40s
Draft docs for Sunbeam spell and link check #1577: Pull request #353 synchronize by teryanarmen
February 11, 2025 22:45 2m 56s teryanarmen:master
teryanarmen:master
February 11, 2025 22:45 2m 56s
Draft docs for Sunbeam spell and link check #1576: Pull request #353 synchronize by teryanarmen
February 11, 2025 22:37 44s teryanarmen:master
teryanarmen:master
February 11, 2025 22:37 44s
Draft docs for Sunbeam spell and link check #1575: Pull request #353 synchronize by teryanarmen
February 11, 2025 22:35 43s teryanarmen:master
teryanarmen:master
February 11, 2025 22:35 43s
Draft docs for Sunbeam spell and link check #1574: Pull request #353 opened by teryanarmen
February 11, 2025 22:08 44s teryanarmen:master
teryanarmen:master
February 11, 2025 22:08 44s
Document sum and usum spell and link check #1573: Pull request #352 synchronize by naftali-g
February 11, 2025 11:03 42s naftali/sum_and_usum
naftali/sum_and_usum
February 11, 2025 11:03 42s
Document sum and usum spell and link check #1572: Pull request #352 opened by naftali-g
February 11, 2025 10:55 2m 53s naftali/sum_and_usum
naftali/sum_and_usum
February 11, 2025 10:55 2m 53s
Solana documentation spell and link check #1571: Pull request #327 synchronize by urikirsh
February 9, 2025 15:21 33s solana/docs_template
solana/docs_template
February 9, 2025 15:21 33s
Uri/solana docs review spell and link check #1570: Pull request #351 synchronize by urikirsh
February 6, 2025 19:11 33s uri/solana_docs_review
uri/solana_docs_review
February 6, 2025 19:11 33s