Skip to content

Actions: parcio/partdiff_tester

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Edit pyproject.toml Soundness Check #38: Commit 3406667 pushed by felsenhower
2m 13s v0.1.0
v0.1.0
2m 13s
Edit pyproject.toml Soundness Check #37: Commit 3406667 pushed by felsenhower
2m 26s main
main
2m 26s
Add GitHub action for partdiff_tester Soundness Check #36: Commit 3c9ba8d pushed by felsenhower
2m 5s main
main
2m 5s
README: Give better examples for strictness parameter Soundness Check #35: Commit 2ce5c8c pushed by felsenhower
2m 3s main
main
2m 3s
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