Skip to content

Actions: Certora/Documentation

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding transient storage check in Invariant spell and link check #1306: Pull request #268 synchronize by urikirsh
July 25, 2024 08:25 2m 50s johspaeth-patch-7
johspaeth-patch-7
July 25, 2024 08:25 2m 50s
Allow comparison of structs also when they contain bytes or string fields spell and link check #1305: Pull request #266 synchronize by urikirsh
July 25, 2024 08:21 2m 56s johspaeth-patch-5
johspaeth-patch-5
July 25, 2024 08:21 2m 56s
update docs for -destructiveOptimizations spell and link check #1304: Pull request #265 synchronize by urikirsh
July 25, 2024 08:19 2m 59s gereon/rename-calltracefreeopt
gereon/rename-calltracefreeopt
July 25, 2024 08:19 2m 59s
Improving invariant section to state which function are being checked spell and link check #1303: Pull request #264 synchronize by urikirsh
July 25, 2024 08:16 2m 47s johspaeth-patch-4
johspaeth-patch-4
July 25, 2024 08:16 2m 47s
Adding info about vacuousy for DISPATCHER(true) spell and link check #1302: Pull request #263 synchronize by urikirsh
July 25, 2024 08:13 2m 50s johspaeth-patch-3
johspaeth-patch-3
July 25, 2024 08:13 2m 50s
sanity as sub rules DOC-426 spell and link check #1301: Pull request #281 synchronize by urikirsh
July 24, 2024 19:01 43s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 19:01 43s
sanity as sub rules DOC-426 spell and link check #1300: Pull request #281 synchronize by urikirsh
July 24, 2024 18:56 40s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:56 40s
sanity as sub rules DOC-426 spell and link check #1299: Pull request #281 synchronize by urikirsh
July 24, 2024 18:50 48s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:50 48s
sanity as sub rules DOC-426 spell and link check #1298: Pull request #281 synchronize by urikirsh
July 24, 2024 18:42 37s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:42 37s
sanity as sub rules DOC-426 spell and link check #1297: Pull request #281 synchronize by urikirsh
July 24, 2024 18:38 34s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:38 34s
sanity as sub rules DOC-426 spell and link check #1296: Pull request #281 synchronize by urikirsh
July 24, 2024 18:34 44s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:34 44s
sanity as sub rules DOC-426 spell and link check #1295: Pull request #281 synchronize by urikirsh
July 24, 2024 18:18 45s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:18 45s
sanity as sub rules DOC-426 spell and link check #1294: Pull request #281 synchronize by urikirsh
July 24, 2024 18:04 46s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 18:04 46s
sanity as sub rules DOC-426 spell and link check #1293: Pull request #281 synchronize by urikirsh
July 24, 2024 17:57 49s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 17:57 49s
sanity as sub rules DOC-426 spell and link check #1292: Pull request #281 synchronize by urikirsh
July 24, 2024 17:51 34s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 17:51 34s
sanity as sub rules DOC-426 spell and link check #1291: Pull request #281 synchronize by urikirsh
July 24, 2024 17:44 33s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 17:44 33s
sanity as sub rules DOC-426 spell and link check #1290: Pull request #281 synchronize by urikirsh
July 24, 2024 17:41 42s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 17:41 42s
sanity as sub rules DOC-426 spell and link check #1289: Pull request #281 synchronize by urikirsh
July 24, 2024 17:35 41s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 24, 2024 17:35 41s
Switch back to docsinfra-master spell and link check #1288: Pull request #282 opened by shoham-certora
July 24, 2024 14:52 2m 57s shoham/docsinfra-master
shoham/docsinfra-master
July 24, 2024 14:52 2m 57s
2.1.7 report update spell and link check #1287: Pull request #275 synchronize by johspaeth
July 24, 2024 08:10 47s Biced-patch-1
Biced-patch-1
July 24, 2024 08:10 47s
2.1.7 report update spell and link check #1286: Pull request #275 synchronize by johspaeth
July 24, 2024 07:57 2m 51s Biced-patch-1
Biced-patch-1
July 24, 2024 07:57 2m 51s
sanity as sub rules DOC-426 spell and link check #1285: Pull request #281 synchronize by urikirsh
July 22, 2024 14:25 37s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 22, 2024 14:25 37s
sanity as sub rules DOC-426 spell and link check #1284: Pull request #281 synchronize by urikirsh
July 22, 2024 14:22 44s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 22, 2024 14:22 44s
sanity as sub rules DOC-426 spell and link check #1283: Pull request #281 synchronize by urikirsh
July 21, 2024 09:57 34s uri/sanity_seperate_rule
uri/sanity_seperate_rule
July 21, 2024 09:57 34s
Documentation for Strong Invariants spell and link check #1282: Pull request #278 synchronize by johspaeth
July 19, 2024 10:58 42s johannes/stronginvariants
johannes/stronginvariants
July 19, 2024 10:58 42s