Skip to content

Actions: convince-project/scan

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 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
Print properties in correct order in final report Docs #91: Commit fd78b4b pushed by EnricoGhiorzi
1m 23s main
main
1m 23s
Version bumps Docs #90: Commit 9668bdf pushed by EnricoGhiorzi
1m 23s main
main
1m 23s
Update actions/checkout version to 6 Docs #89: Commit 30cbd7d pushed by EnricoGhiorzi
1m 23s main
main
1m 23s
Specify upload-pages-artifact version Docs #88: Commit 34d22b9 pushed by EnricoGhiorzi
1m 21s main
main
1m 21s
Update book with new install from crates.io Docs #87: Commit 7cbdfaa pushed by EnricoGhiorzi
6s main
main
6s
Exclude SCAN book and .github from smc_scan package Docs #86: Commit 64db8e6 pushed by EnricoGhiorzi
1m 56s main
main
1m 56s
Add version to scan_core dependency in scan_promela Docs #85: Commit 4eed235 pushed by EnricoGhiorzi
2m 35s main
main
2m 35s
Add README to smc_scan_promela Docs #84: Commit 4e6ee16 pushed by EnricoGhiorzi
1m 59s main
main
1m 59s
Add scan_core dependency version Docs #83: Commit 4203325 pushed by EnricoGhiorzi
1m 47s main
main
1m 47s
Revise packages' descriptions. Docs #82: Commit 0304cad pushed by EnricoGhiorzi
1m 52s main
main
1m 52s
Update deps Docs #81: Commit a90c50b pushed by EnricoGhiorzi
1m 48s main
main
1m 48s
Revert info to println in cli interface Docs #80: Commit 3e8c936 pushed by EnricoGhiorzi
1m 46s main
main
1m 46s
Improve new_var API Docs #79: Commit 191d601 pushed by EnricoGhiorzi
2m 2s main
main
2m 2s
Add Natural numbers with refactored expressions Rust #156: Pull request #46 opened by EnricoGhiorzi
1m 25s natural
natural
1m 25s
Replace failable assertion with error Docs #78: Commit 0c139ef pushed by EnricoGhiorzi
1m 53s main
main
1m 53s
Avoid creating unnecessary channels Rust #155: Pull request #45 opened by EnricoGhiorzi
3m 18s main
main
3m 18s
Avoid creating unnecessary channels Docs #77: Commit 9913929 pushed by EnricoGhiorzi
1m 57s main
main
1m 57s
Correctly handle .csv.gz file extension Docs #76: Commit ef019b0 pushed by EnricoGhiorzi
1m 59s main
main
1m 59s
Merge pull request #44 from convince-project/types Docs #75: Commit 3ceb456 pushed by EnricoGhiorzi
2m 2s main
main
2m 2s
Refactor SCXML typing system to allow for arrays and structs Rust #154: Pull request #44 synchronize by EnricoGhiorzi
3m 19s types
types
3m 19s
Refactor SCXML typing system to allow for arrays and structs Rust #153: Pull request #44 synchronize by EnricoGhiorzi
3m 17s types
types
3m 17s
Refactor SCXML typing system to allow for arrays and structs Rust #152: Pull request #44 synchronize by EnricoGhiorzi
3m 13s types
types
3m 13s
Refactor SCXML typing system to allow for arrays and structs Rust #151: Pull request #44 synchronize by EnricoGhiorzi
3m 15s types
types
3m 15s
Refactor SCXML typing system to allow for arrays and structs Rust #150: Pull request #44 synchronize by EnricoGhiorzi
3m 19s types
types
3m 19s
Refactor SCXML typing system to allow for arrays and structs Rust #149: Pull request #44 synchronize by EnricoGhiorzi
3m 18s types
types
3m 18s