Skip to content

Actions: parcio/partdiff_tester

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add link to partdiff to README Soundness Check #34: Commit a8378ae pushed by felsenhower
2m 4s main
main
2m 4s
Make assertion messages a bit more helpful Soundness Check #33: Commit 81f3f4c pushed by felsenhower
2m 4s main
main
2m 4s
Add timeout parameter Soundness Check #32: Commit c1f0df0 pushed by felsenhower
2m 9s main
main
2m 9s
Simplify output masks Soundness Check #31: Commit c87b796 pushed by felsenhower
2m 8s main
main
2m 8s
Update reference implementation Soundness Check #30: Commit 0d6486e pushed by felsenhower
1m 34s main
main
1m 34s
Update reference implementation. Soundness Check #29: Commit fe639d1 pushed by felsenhower
1m 39s main
main
1m 39s
Add shell script to update reference output Soundness Check #28: Commit 9d5fb11 pushed by felsenhower
3m 4s main
main
3m 4s
CI: Decrease valgrind checks to 5 again Soundness Check #27: Commit f43faa1 pushed by felsenhower
3m 39s main
main
3m 39s
CI: Use --shuffle and run 10 valgrind checks Soundness Check #26: Commit f8af255 pushed by felsenhower
1m 40s main
main
1m 40s
Github Workflow: Launch pytest with -n auto Soundness Check #25: Commit 8412a3f pushed by felsenhower
54s main
main
54s
Update README Soundness Check #24: Commit 773d6b6 pushed by felsenhower
1m 9s main
main
1m 9s
Update README Soundness Check #23: Commit e6125f8 pushed by felsenhower
1m 21s main
main
1m 21s
Allow passing of optional seed to --shuffle Soundness Check #22: Commit 72fe98f pushed by felsenhower
1m 9s main
main
1m 9s
Add parameter --allow-extra-iterations Soundness Check #21: Commit e9f3e2f pushed by felsenhower
1m 30s main
main
1m 30s
Allow extra iterations Soundness Check #20: Pull request #1 opened by felsenhower
1m 24s allow-extra-iterations
allow-extra-iterations
1m 24s
Add parameter --allow-extra-iterations Soundness Check #19: Commit 1f1d48c pushed by felsenhower
1m 15s allow-extra-iterations
allow-extra-iterations
1m 15s
Add case distinction for termination condition Soundness Check #18: Commit c6c24a0 pushed by felsenhower
2m 4s allow-extra-iterations
allow-extra-iterations
2m 4s
Add soundness check for test cases Soundness Check #17: Commit ac48821 pushed by felsenhower
1m 6s allow-extra-iterations
allow-extra-iterations
1m 6s
Fix some linter complaints Soundness Check #16: Commit 4c958fc pushed by felsenhower
2m 8s allow-extra-iterations
allow-extra-iterations
2m 8s
Add some soundness checks to startup Soundness Check #15: Commit 8dc2d1e pushed by felsenhower
1m 23s allow-extra-iterations
allow-extra-iterations
1m 23s
Add some soundness checks to startup Soundness Check #14: Commit 8dc2d1e pushed by felsenhower
1m 23s main
main
1m 23s
Update README Soundness Check #13: Commit 6af6b05 pushed by felsenhower
1m 28s main
main
1m 28s
Add check if valgrind is installed Soundness Check #12: Commit f3f9f7b pushed by felsenhower
1m 29s main
main
1m 29s
Implement argument --cwd Soundness Check #11: Commit 4c63b49 pushed by felsenhower
1m 8s main
main
1m 8s
Add docstrings and fix linter complaints Soundness Check #10: Commit fa031e9 pushed by felsenhower
1m 19s main
main
1m 19s