• Freeman's avatar
    Feature/rv compute (#11015) · eaed52d1
    Freeman authored
    * Add dummy tests for passing and failing
    
    * Updating passing along return errors and a duplicate call to clean_docker
    
    * Fixing logging
    
    * Update to latest kontrol version supporting error codes
    
    * Remove trap for testing
    
    * Add install-kontrol and run local with enforced version requiresments
    
    * Drop on failure trap and test
    
    * The cleanup steps may be altering the return results. We're not running docker, not needed here
    
    * Test with traps re-added after finding issue was with using find
    
    * Formatting, now test with passing test
    
    * Update run-kontrol.sh
    
    Revert debug set to original header
    
    * Increase CPU workers to 16 for kaas runners
    
    * Update config.yml
    
    * Remove dummy proofs
    
    * run-kontrol.sh: set `max_workers` to 16
    
    * run-kontrol.sh: execute all tests with `script` option
    
    * run-kontrol.sh: match tests more precisely
    
    * run-kontrol.sh: add back `break_every_step` variable
    
    * versions.json: bump Kontrol from 0.1.247 to 0.1.258
    
    * IGnore vscode configuration files
    
    * Move on regardless of docker removal, container is started with automatic removal on stop, we just want to make sure it happens for redundancy
    
    * Extract content of Results to upload to kaas
    
    * Call into RV Workflow to run symbolic tests
    
    * Updating circleCI to latest credentials setup/secret references. Set context to proper env. Remove unused inputs
    
    * Reverting unecessary change
    
    * Add RV context
    
    * Removing comma from end of json block
    
    * Set the specific branch name to run on, do not assume develop.
    
    * Temporary when conditional to always run
    
    * Revert test when conditional
    
    * Supress extraction of outputs
    
    * Accept Suggestion for comment line in packages/contracts-bedrock/test/kontrol/scripts/run-kontrol.sh
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * Supress tar file creation output
    
    * Dropping -verbose in tar command. Reduce output on exeutions
    
    * run-kontrol.sh: Update Temporarily unexecuted tests list
    
    * run-kontrol.sh: Update Temporarily unexecuted tests list v2
    
    * Update documentation noting changes / usage / flow / secrets for utilizing kaas
    
    * run-kontrol.sh: Fetch the xml file if it exists from the build env and make available for posting to summary
    
    * Update packages/contracts-bedrock/test/kontrol/README.md
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * Update packages/contracts-bedrock/test/kontrol/README.md
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * Update packages/contracts-bedrock/test/kontrol/README.md
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * Update packages/contracts-bedrock/test/kontrol/README.md
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * Update packages/contracts-bedrock/test/kontrol/README.md
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    
    * kontrol/README.md: Update instructions for clarity and usage
    
    * .github/workflows: Adding a new workflow to trigger on updates to depoloyment_status from third party
    
    * Force push to test
    
    * Remove if check for environment.
    
    * status-test: This looks like the wrong trigger
    
    * Update slack notification workflow with template
    
    * proof-runner-notification.yml: Slack notifications on failure, and webhook URL
    
    * Replace Link with provided target_url from commit status
    
    * Update payload variables per slack workflow variable requirements.
    
    ---------
    Co-authored-by: default avatarJuan C <juanconrod@protonmail.com>
    Co-authored-by: default avatarMatt Solomon <matt@mattsolomon.dev>
    eaed52d1
Name
Last commit
Last update
..
L1 Loading commit data...
L2 Loading commit data...
Safe Loading commit data...
actors Loading commit data...
cannon Loading commit data...
dispute Loading commit data...
governance Loading commit data...
invariants Loading commit data...
kontrol Loading commit data...
legacy Loading commit data...
libraries Loading commit data...
mocks Loading commit data...
periphery Loading commit data...
safe-tools Loading commit data...
setup Loading commit data...
universal Loading commit data...
vendor Loading commit data...
BenchmarkTest.t.sol Loading commit data...
ExtendedPause.t.sol Loading commit data...
L2Genesis.t.sol Loading commit data...
Predeploys.t.sol Loading commit data...
Preinstalls.t.sol Loading commit data...
Specs.t.sol Loading commit data...