Skip to content

Actions: runtimeverification/ercx-tests

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add maxAssets and maxShares functions to limit fuzzer input bounds ERCx Regression Tests #17: Pull request #16 opened by aviggiano
26s aviggiano:fix-issue-10
aviggiano:fix-issue-10
26s
Fix formatting, add forge fmt check to CI (#12) ERCx Regression Tests #16: Commit ca65eb9 pushed by palinatolmach
1m 14s main
main
1m 14s
Fix formatting, add forge fmt check to CI ERCx Regression Tests #15: Pull request #12 synchronize by palinatolmach
1m 8s forge-fmt
forge-fmt
1m 8s
Fix formatting, add forge fmt check to CI ERCx Regression Tests #14: Pull request #12 synchronize by palinatolmach
1m 8s forge-fmt
forge-fmt
1m 8s
Add virtual to ERC4626 light tests (#11) ERCx Regression Tests #13: Commit 3d31f03 pushed by palinatolmach
1m 13s main
main
1m 13s
Add virtual to ERC4626 light tests ERCx Regression Tests #12: Pull request #11 synchronize by palinatolmach
1m 43s aviggiano:main
aviggiano:main
1m 43s
Update test-pr-golden.yml workflow file to run on PRs (#13) ERCx Regression Tests #11: Commit 6f31b0d pushed by palinatolmach
1m 52s main
main
1m 52s
Update test-pr-golden.yml workflow file to run on PRs ERCx Regression Tests #10: Pull request #13 synchronize by asavienko
1m 59s adjust-worflow-to-work-with-prs
adjust-worflow-to-work-with-prs
1m 59s
Update test-pr-golden.yml workflow file to run on PRs ERCx Regression Tests #9: Pull request #13 opened by asavienko
1m 42s adjust-worflow-to-work-with-prs
adjust-worflow-to-work-with-prs
1m 42s
Update test-pr-golden.yml ERCx Regression Tests #8: Commit 67631bc pushed by asavienko
2m 2s adjust-worflow-to-work-with-prs
adjust-worflow-to-work-with-prs
2m 2s
Update test-pr-golden.yml ERCx Regression Tests #7: Commit bea232f pushed by asavienko
2m 0s adjust-workflow
adjust-workflow
2m 0s
Adjust formatting w/ forge fmt, add it to the test-pr CI workflow ERCx Regression Tests #6: Commit 04ab0c6 pushed by palinatolmach
1m 36s forge-fmt
forge-fmt
1m 36s
Create funding.json (#5) ERCx Regression Tests #5: Commit cdc430d pushed by palinatolmach
2m 52s forge-fmt
forge-fmt
2m 52s
Create funding.json (#5) ERCx Regression Tests #4: Commit cdc430d pushed by F-WRunTime
1m 10s main
main
1m 10s
Update README description, add Contributors, reorganize tests (#4) ERCx Regression Tests #3: Commit a8254d9 pushed by palinatolmach
2m 8s main
main
2m 8s
Unpin solc version in tests ERCx Regression Tests #2: Commit 726200f pushed by palinatolmach
2m 15s readme-update
readme-update
2m 15s
Minor tweaks in test PR workflow ERCx Regression Tests #1: Commit 3f7167d pushed by palinatolmach
2m 2s readme-update
readme-update
2m 2s
Update README description, add Contributors, test script and CI workflow test #13: Commit 3ca9700 pushed by palinatolmach
2m 8s readme-update
readme-update
2m 8s
Adding BSD3 License test #12: Commit 720fe45 pushed by palinatolmach
1m 52s readme-update
readme-update
1m 52s
Adjust CI job name test #11: Commit 32c9638 pushed by palinatolmach
14s readme-update
readme-update
14s
Adjust expected output path test #10: Commit d1c4444 pushed by palinatolmach
2m 6s readme-update
readme-update
2m 6s
Another typo fix test #9: Commit 8f6a5c5 pushed by palinatolmach
2m 7s readme-update
readme-update
2m 7s
Remove JS actions, update PR workflow and test structure, README test #8: Commit cabc883 pushed by palinatolmach
2m 1s readme-update
readme-update
2m 1s
Update script, expected output file test #7: Commit ba63901 pushed by palinatolmach
2m 2s readme-update
readme-update
2m 2s
Allow failures in forge test test #6: Commit 1a63433 pushed by palinatolmach
2m 10s readme-update
readme-update
2m 10s