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 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
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
September 2, 2024 12:11 3m 50s
Document address function calls
spell and link check #1355: Pull request #292 synchronize by naftali-g
September 2, 2024 11:57 32s naftali/address_function_calls
September 2, 2024 11:57 32s
Document address function calls
spell and link check #1354: Pull request #292 synchronize by urikirsh
September 2, 2024 11:55 35s naftali/address_function_calls
September 2, 2024 11:55 35s
Document address function calls
spell and link check #1353: Pull request #292 synchronize by urikirsh
September 2, 2024 11:53 37s naftali/address_function_calls
September 2, 2024 11:53 37s
Document address function calls
spell and link check #1352: Pull request #292 synchronize by naftali-g
September 2, 2024 11:45 37s naftali/address_function_calls
September 2, 2024 11:45 37s
bumped patch version from 7.14.1 -> 7.14.2
spell and link check #1351: Pull request #295 synchronize by urikirsh
September 2, 2024 10:39 34s uri/bump_changlog_patch_num
September 2, 2024 10:39 34s
bumped patch version from 7.14.1 -> 7.14.2
spell and link check #1350: Pull request #295 opened by urikirsh
September 2, 2024 10:34 2m 47s uri/bump_changlog_patch_num
September 2, 2024 10:34 2m 47s
added changelog for 7.14.1
spell and link check #1349: Pull request #294 synchronize by urikirsh
September 2, 2024 09:40 2m 55s uri/changelog_7_14_1
September 2, 2024 09:40 2m 55s
added changelog for 7.14.1
spell and link check #1348: Pull request #294 synchronize by urikirsh
September 2, 2024 09:31 35s uri/changelog_7_14_1
September 2, 2024 09:31 35s
added changelog for 7.14.1
spell and link check #1347: Pull request #294 opened by urikirsh
September 2, 2024 09:28 39s uri/changelog_7_14_1
September 2, 2024 09:28 39s
Update report_changelog.md
spell and link check #1346: Pull request #293 synchronize by urikirsh
September 2, 2024 07:52 41s Biced-patch-1
September 2, 2024 07:52 41s
add ASSERT_FALSE summaries
spell and link check #1345: Pull request #290 synchronize by urikirsh
September 2, 2024 07:46 33s christiane/assert_false-summary
September 2, 2024 07:46 33s
document new unresolved call syntax
spell and link check #1344: Pull request #287 synchronize by urikirsh
September 2, 2024 07:42 36s naftali/new_unresolved_summary_syntax
September 2, 2024 07:42 36s
Update report_changelog.md
spell and link check #1341: Pull request #293 opened by Biced
September 2, 2024 07:20 2m 47s Biced-patch-1
September 2, 2024 07:20 2m 47s
Document address function calls
spell and link check #1340: Pull request #292 opened by naftali-g
September 1, 2024 06:14 3m 1s naftali/address_function_calls
September 1, 2024 06:14 3m 1s
add ASSERT_FALSE summaries
spell and link check #1339: Pull request #290 synchronize by christiane-certora
August 30, 2024 15:31 35s christiane/assert_false-summary
August 30, 2024 15:31 35s
add ASSERT_FALSE summaries
spell and link check #1338: Pull request #290 synchronize by christiane-certora
August 30, 2024 14:35 44s christiane/assert_false-summary
August 30, 2024 14:35 44s
General expression summaries
spell and link check #1337: Pull request #291 synchronize by christiane-certora
August 30, 2024 12:17 2m 55s christiane-general-expression-summaries
August 30, 2024 12:17 2m 55s
add ASSERT_FALSE summaries
spell and link check #1335: Pull request #290 opened by christiane-certora
August 30, 2024 12:05 2m 48s christiane/assert_false-summary
August 30, 2024 12:05 2m 48s
document new unresolved call syntax
spell and link check #1333: Pull request #287 synchronize by naftali-g
August 26, 2024 19:42 2m 58s naftali/new_unresolved_summary_syntax
August 26, 2024 19:42 2m 58s