Skip to content

Actions: convince-project/scan

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #43 from convince-project/oracle Docs #72: Commit 59ca581 pushed by EnricoGhiorzi
2m 8s main
main
2m 8s
Improve type inference and error reporting Docs #71: Commit 5e30629 pushed by EnricoGhiorzi
2m 0s main
main
2m 0s
Uodate mdbook Docs #70: Commit 38c6758 pushed by EnricoGhiorzi
1m 58s main
main
1m 58s
Update deps Docs #69: Commit 69fdbb5 pushed by EnricoGhiorzi
2m 1s main
main
2m 1s
Update dependencies Docs #68: Commit f71ecae pushed by EnricoGhiorzi
2m 35s main
main
2m 35s
Update indicatif to 0.18.2 Docs #67: Commit 6c29036 pushed by EnricoGhiorzi
2m 21s main
main
2m 21s
Upgrade flate-rs dependency Docs #66: Commit ffa1171 pushed by EnricoGhiorzi
2m 18s main
main
2m 18s
Upgrade grmtools dependencies to 0.14 Docs #65: Commit 9895f8f pushed by EnricoGhiorzi
2m 17s main
main
2m 17s
Upgrade boa to 0.21 Docs #64: Commit 0859500 pushed by EnricoGhiorzi
2m 19s main
main
2m 19s
Merge pull request #42 from convince-project/oracle Docs #63: Commit 8a6ee7a pushed by EnricoGhiorzi
2m 4s main
main
2m 4s
Merge pull request #41 from convince-project/integration Docs #62: Commit 8047406 pushed by EnricoGhiorzi
2m 46s main
main
2m 46s
Fix: trace header could be shuffled, now ordered by channel Docs #61: Commit 1b44d1d pushed by EnricoGhiorzi
1m 50s main
main
1m 50s
Fix some typos in code Docs #60: Commit 42a9173 pushed by EnricoGhiorzi
2m 42s main
main
2m 42s
Fix typos in docs Docs #59: Commit 5392e51 pushed by EnricoGhiorzi
2m 5s main
main
2m 5s
Merge pull request #37 from convince-project/cli Docs #58: Commit 5f4381c pushed by EnricoGhiorzi
2m 42s main
main
2m 42s
Update clap dependency Docs #57: Commit de78b14 pushed by EnricoGhiorzi
1m 55s main
main
1m 55s
Fine-tune CS performances based on flamegraph Docs #56: Commit e67727a pushed by EnricoGhiorzi
2m 5s main
main
2m 5s
Tweak Cargo.toml and .gitignore to use cargo flamegraph Docs #55: Commit 7a4d335 pushed by EnricoGhiorzi
1m 52s main
main
1m 52s
Fix a let-return lint Docs #54: Commit 05dc0eb pushed by EnricoGhiorzi
1m 51s main
main
1m 51s
Remove default target path, so that help message is printed Docs #53: Commit 62dcfbf pushed by EnricoGhiorzi
1m 51s main
main
1m 51s
Fix property violations report Docs #52: Commit 985f487 pushed by EnricoGhiorzi
1m 51s main
main
1m 51s
JSON report output Docs #51: Commit 3bb531f pushed by EnricoGhiorzi
1m 47s main
main
1m 47s
Implement Math.random() call in SCXML/ECMAScript Docs #50: Commit 13ce3f1 pushed by EnricoGhiorzi
1m 46s main
main
1m 46s
(Re)implement JANI parser and builder crate Docs #49: Commit 3c2dd2d pushed by EnricoGhiorzi
1m 52s main
main
1m 52s
Update grammar.rs Docs #48: Commit 16c7862 pushed by EnricoGhiorzi
2m 16s main
main
2m 16s