Skip to content

Actions: anodized-rs/anodized

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
855 workflow runs
855 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
feat: expose Contract data type CI #30: Pull request #6 opened by mkovaxx
29s mate_expose_contract_type
mate_expose_contract_type
29s
Initial release CI #29: Commit e07c8d5 pushed by mkovaxx
20s main
main
20s
fix failing doc tests CI #28: Commit 1867057 pushed by mkovaxx
22s main
main
22s
ensure docs are not empty CI #27: Commit a6424c7 pushed by mkovaxx
23s main
main
23s
rename CI flow CI #26: Commit 48a76ec pushed by mkovaxx
30s main
main
30s
polish the README CI #25: Commit 103588b pushed by mkovaxx
26s main
main
26s
polish the README CI #24: Commit fc72d2e pushed by mkovaxx
22s main
main
22s
extend README CI #23: Commit 094df2e pushed by mkovaxx
21s main
main
21s
extend README a bit CI #22: Commit 3230cd5 pushed by mkovaxx
21s main
main
21s
mention languages with first-class contracts CI #21: Commit cd6efdf pushed by mkovaxx
20s main
main
20s
extend README with section on Prior Art and Motivation CI #20: Commit 38d5f6a pushed by mkovaxx
36s main
main
36s
rename setting to to better reflect capabilities CI #19: Commit 6b9ef3a pushed by mkovaxx
32s main
main
32s
clean up tests CI #18: Commit 8688b3b pushed by mkovaxx
21s main
main
21s
allow a pattern when binding the output globally CI #17: Commit 1b5942e pushed by mkovaxx
21s main
main
21s
small usability improvement: distinguish invariants in errors CI #16: Commit 2d3f0f4 pushed by mkovaxx
21s main
main
21s
make binding the return value hygienic CI #15: Commit 3da5f53 pushed by mkovaxx
26s main
main
26s
streamline code generation by disregarding whether a function does or… CI #14: Commit 5e18a06 pushed by mkovaxx
25s main
main
25s
always treat ensures clauses as closures CI #13: Commit 51492f9 pushed by mkovaxx
20s main
main
20s
add test to demonstrate problem with current approach to parsing clos… CI #12: Commit 9b625bb pushed by mkovaxx
19s main
main
19s
fmt CI #11: Commit fc16198 pushed by mkovaxx
22s main
main
22s
expand tests CI #10: Commit f9c61f5 pushed by mkovaxx
24s main
main
24s
revise README CI #9: Commit 7d6b642 pushed by mkovaxx
22s main
main
22s
improve terminology: predicate -> condition, plus minor example tweaks CI #8: Commit 0421dbb pushed by mkovaxx
23s main
main
23s
polish README CI #7: Commit cf33958 pushed by mkovaxx
42s main
main
42s
small fixes to the README CI #6: Commit 64f4fca pushed by mkovaxx
32s main
main
32s
ProTip! You can narrow down the results and go further in time using created:<2025-08-19 or the other filters available.