Skip to content

Actions: vikramnitin9/rust_verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Adding documentation section history vars in loop contracts Test #2721: Commit f118016 pushed by jyoo980
3m 56s main
main
3m 56s
Adding documentation section history vars in loop contracts Check style #2763: Commit f118016 pushed by jyoo980
1m 21s main
main
1m 21s
Whitespace: remove trailing spaces, ensure end-of-file newline Test #2720: Pull request #188 synchronize by mernst
3m 51s whitespace
whitespace
3m 51s
Remove old style checking Test #2719: Commit ff505c5 pushed by mernst
3m 55s whitespace
whitespace
3m 55s
Run the ruff formatter Test #2718: Commit 2ac481c pushed by mernst
3m 44s python-formatting
python-formatting
3m 44s
Run the ruff formatter Check style #2762: Commit 2ac481c pushed by mernst
1m 9s python-formatting
python-formatting
1m 9s
Whitespace: remove trailing spaces, ensure end-of-file newline Check style #2761: Pull request #188 opened by mernst
1m 15s whitespace
whitespace
1m 15s
Whitespace: remove trailing spaces, ensure end-of-file newline Test #2717: Pull request #188 opened by mernst
4m 0s whitespace
whitespace
4m 0s
Whitespace: remove trailing spaces, ensure end-of-file newline Check style #2760: Commit 85b0f72 pushed by mernst
1m 5s whitespace
whitespace
1m 5s
Whitespace: remove trailing spaces, ensure end-of-file newline Test #2716: Commit 85b0f72 pushed by mernst
3m 53s whitespace
whitespace
3m 53s
Updating verification-algorithm.md Check style #2759: Commit 8b4c7f7 pushed by mernst
1m 4s linting
linting
1m 4s
Updating verification-algorithm.md Test #2715: Commit 8b4c7f7 pushed by mernst
3m 42s linting
linting
3m 42s
Code review improvements Check style #2758: Pull request #175 synchronize by mernst
1m 13s review
review
1m 13s
Code review improvements Test #2714: Pull request #175 synchronize by mernst
4m 5s review
review
4m 5s
Merge ../rust_verification-branch-review-pre into review Test #2713: Commit 19c3b08 pushed by mernst
3m 55s review
review
3m 55s
Merge ../rust_verification-branch-review-pre into review Check style #2757: Commit 19c3b08 pushed by mernst
1m 13s review
review
1m 13s
Merge ../rust_verification into review-pre Check style #2756: Commit 2aeed9e pushed by mernst
1m 14s review-pre
review-pre
1m 14s
Merge ../rust_verification into review-pre Test #2712: Commit 2aeed9e pushed by mernst
3m 52s review-pre
review-pre
3m 52s
Updating verification-algorithm.md Check style #2755: Commit 8b4c7f7 pushed by mernst
1m 9s main
main
1m 9s
Updating verification-algorithm.md Test #2711: Commit 8b4c7f7 pushed by mernst
20m 28s main
main
20m 28s
Defaulting to using claude-sonnet-4-6 for specification generation … Test #2710: Commit 75b67af pushed by jyoo980
4m 57s main
main
4m 57s
Defaulting to using claude-sonnet-4-6 for specification generation … Check style #2754: Commit 75b67af pushed by jyoo980
1m 10s main
main
1m 10s
Updating verification-algorithm.md Check style #2753: Pull request #172 synchronize by mernst
1m 14s yoo/sync-algorithm-doc
yoo/sync-algorithm-doc
1m 14s
Updating verification-algorithm.md Test #2709: Pull request #172 synchronize by mernst
4m 24s yoo/sync-algorithm-doc
yoo/sync-algorithm-doc
4m 24s
Merge ../rust_verification into yoo/sync-algorithm-doc Test #2708: Commit 2dbaad4 pushed by mernst
3m 18s yoo/sync-algorithm-doc
yoo/sync-algorithm-doc
3m 18s