Skip to content

Actions: AdaptLab-CS/spec-trait

Actions

MAIN CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
26 workflow runs
26 workflow runs

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
Cleanup benchmark examples and refresh evaluation artifacts MAIN CI #26: Commit 06ca9f9 pushed by FedericoBruzzone
1m 0s main
main
1m 0s
Update README MAIN CI #25: Commit c3a1ccd pushed by FedericoBruzzone
3s main
main
3s
Add Aaron Turon example MAIN CI #24: Commit c0c7e2a pushed by FedericoBruzzone
5s main
main
5s
Update README MAIN CI #23: Commit 3bf2714 pushed by FedericoBruzzone
2m 29s main
main
2m 29s
Merge pull request #20 from Ceratosenzaf/main MAIN CI #22: Commit c913b6c pushed by Ceratosenzaf
2m 29s main
main
2m 29s
fix: repeating generics with higher order spec MAIN CI #21: Commit f72e47a pushed by FedericoBruzzone
2m 41s main
main
2m 41s
Merge pull request #18 from Ceratosenzaf/main MAIN CI #20: Commit 139350c pushed by Ceratosenzaf
2m 12s main
main
2m 12s
Merge pull request #17 from Ceratosenzaf/main MAIN CI #19: Commit 8980c46 pushed by Ceratosenzaf
2m 28s main
main
2m 28s
Merge pull request #16 from Ceratosenzaf/main MAIN CI #18: Commit d4aade9 pushed by Ceratosenzaf
2m 12s main
main
2m 12s
Merge pull request #15 from Ceratosenzaf/main MAIN CI #17: Commit 922bcdc pushed by Ceratosenzaf
2m 18s main
main
2m 18s
Merge pull request #14 from Ceratosenzaf/main MAIN CI #16: Commit 4901d8f pushed by Ceratosenzaf
2m 18s main
main
2m 18s
Merge pull request #13 from Ceratosenzaf/main MAIN CI #15: Commit a118d60 pushed by Ceratosenzaf
2m 12s main
main
2m 12s
Clippy happy and rust-toolchain 2026-01-01 MAIN CI #14: Commit d57e9cb pushed by FedericoBruzzone
2m 10s main
main
2m 10s
Remove rustc_hash MAIN CI #13: Commit 821a3bd pushed by FedericoBruzzone
2m 13s main
main
2m 13s
Update CI MAIN CI #12: Commit 050ad42 pushed by FedericoBruzzone
1m 3s main
main
1m 3s
Remove .DS_Store MAIN CI #11: Commit 5653e19 pushed by FedericoBruzzone
1m 5s main
main
1m 5s
Merge pull request #8 from Ceratosenzaf/main MAIN CI #10: Commit 8591036 pushed by Ceratosenzaf
2m 7s main
main
2m 7s
Merge pull request #7 from Ceratosenzaf/main MAIN CI #9: Commit 608bc5f pushed by Ceratosenzaf
1m 17s main
main
1m 17s
Merge pull request #6 from Ceratosenzaf/improve-analysis MAIN CI #8: Commit 156eab5 pushed by Ceratosenzaf
1m 18s main
main
1m 18s
Merge pull request #5 from Ceratosenzaf/fn-body-similarity-calculation MAIN CI #7: Commit d5dc829 pushed by Ceratosenzaf
1m 44s main
main
1m 44s
fix: clean up unused imports and format code in analysis modules MAIN CI #6: Commit 6a220bf pushed by FedericoBruzzone
1m 50s main
main
1m 50s
fix: enhance STI analysis by adding missing imports and initializing … MAIN CI #5: Commit 41f5e84 pushed by FedericoBruzzone
1m 1s main
main
1m 1s
fix: remove debug print statements and add VSCode settings MAIN CI #4: Commit dfbe092 pushed by FedericoBruzzone
1m 42s main
main
1m 42s
Merge pull request #4 from Ceratosenzaf/fix-constraints-ordering MAIN CI #3: Commit 96f9d72 pushed by Ceratosenzaf
1m 29s main
main
1m 29s
Merge pull request #3 from Ceratosenzaf/fix-specialization-with-multi… MAIN CI #2: Commit ee7a568 pushed by Ceratosenzaf
1m 44s main
main
1m 44s