Skip to content

Actions: AdaptLab-CS/spec-trait

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 evaluation PULL REQUEST CI #43: Pull request #23 opened by FedericoBruzzone
10s
10s
Add Aaron Turon example MAIN CI #24: Commit c0c7e2a pushed by FedericoBruzzone
5s main
main
5s
Add Aaron Turon example PULL REQUEST CI #42: Pull request #22 opened by FedericoBruzzone
3s
3s
Update README MAIN CI #23: Commit 3bf2714 pushed by FedericoBruzzone
2m 29s main
main
2m 29s
Update README PULL REQUEST CI #41: Pull request #21 opened by FedericoBruzzone
2m 30s
2m 30s
Merge pull request #20 from Ceratosenzaf/main MAIN CI #22: Commit c913b6c pushed by Ceratosenzaf
2m 29s main
main
2m 29s
fix: method call allowed formats PULL REQUEST CI #40: Pull request #20 opened by Ceratosenzaf
2m 29s
2m 29s
fix: repeating generics with higher order spec MAIN CI #21: Commit f72e47a pushed by FedericoBruzzone
2m 41s main
main
2m 41s
fix: handle types with repeating generics PULL REQUEST CI #39: Pull request #19 opened by Ceratosenzaf
1m 42s
1m 42s
Merge pull request #18 from Ceratosenzaf/main MAIN CI #20: Commit 139350c pushed by Ceratosenzaf
2m 12s main
main
2m 12s
fix: higher order specialization PULL REQUEST CI #38: Pull request #18 synchronize by Ceratosenzaf
2m 23s
2m 23s
fix: higher order specialization PULL REQUEST CI #37: Pull request #18 opened by Ceratosenzaf
2m 20s
2m 20s
Merge pull request #17 from Ceratosenzaf/main MAIN CI #19: Commit 8980c46 pushed by Ceratosenzaf
2m 28s main
main
2m 28s
refactor: spec trait bin PULL REQUEST CI #36: Pull request #17 opened by Ceratosenzaf
2m 51s
2m 51s
Merge pull request #16 from Ceratosenzaf/main MAIN CI #18: Commit d4aade9 pushed by Ceratosenzaf
2m 12s main
main
2m 12s
feat: accept fn trait bounds PULL REQUEST CI #35: Pull request #16 opened by Ceratosenzaf
2m 9s
2m 9s
Merge pull request #15 from Ceratosenzaf/main MAIN CI #17: Commit 922bcdc pushed by Ceratosenzaf
2m 18s main
main
2m 18s
chore: added comments to improve code readability PULL REQUEST CI #34: Pull request #15 opened by Ceratosenzaf
2m 13s
2m 13s
Merge pull request #14 from Ceratosenzaf/main MAIN CI #16: Commit 4901d8f pushed by Ceratosenzaf
2m 18s main
main
2m 18s
refactor: refactored tool for better readability and maintainability PULL REQUEST CI #33: Pull request #14 synchronize by Ceratosenzaf
2m 25s
2m 25s
refactor: refactored tool for better readability and maintainability PULL REQUEST CI #32: Pull request #14 opened by Ceratosenzaf
2m 17s
2m 17s
Merge pull request #13 from Ceratosenzaf/main MAIN CI #15: Commit a118d60 pushed by Ceratosenzaf
2m 12s main
main
2m 12s
fix: specialization with types with multiple generics PULL REQUEST CI #31: Pull request #13 opened by Ceratosenzaf
2m 12s
2m 12s