Skip to content

Actions: AdaptLab-CS/spec-trait

Actions

PULL REQUEST CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
43 workflow runs
43 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
Add evaluation PULL REQUEST CI #43: Pull request #23 opened by FedericoBruzzone
10s
10s
Add Aaron Turon example PULL REQUEST CI #42: Pull request #22 opened by FedericoBruzzone
3s
3s
Update README PULL REQUEST CI #41: Pull request #21 opened by FedericoBruzzone
2m 30s
2m 30s
fix: method call allowed formats PULL REQUEST CI #40: Pull request #20 opened by Ceratosenzaf
2m 29s
2m 29s
fix: handle types with repeating generics PULL REQUEST CI #39: Pull request #19 opened by Ceratosenzaf
1m 42s
1m 42s
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
refactor: spec trait bin PULL REQUEST CI #36: Pull request #17 opened by Ceratosenzaf
2m 51s
2m 51s
feat: accept fn trait bounds PULL REQUEST CI #35: Pull request #16 opened by Ceratosenzaf
2m 9s
2m 9s
chore: added comments to improve code readability PULL REQUEST CI #34: Pull request #15 opened by Ceratosenzaf
2m 13s
2m 13s
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
fix: specialization with types with multiple generics PULL REQUEST CI #31: Pull request #13 opened by Ceratosenzaf
2m 12s
2m 12s
feat: support function types and fix blanket impl types PULL REQUEST CI #30: Pull request #12 synchronize by FedericoBruzzone
1m 37s
1m 37s
feat: support function types and fix blanket impl types PULL REQUEST CI #29: Pull request #12 synchronize by FedericoBruzzone
1m 36s
1m 36s
feat: support function types and fix blanket impl types PULL REQUEST CI #28: Pull request #12 synchronize by FedericoBruzzone
1m 36s
1m 36s
feat: support function types and fix blanket impl types PULL REQUEST CI #27: Pull request #12 synchronize by FedericoBruzzone
1m 32s
1m 32s
feat: support function types and fix blanket impl types PULL REQUEST CI #26: Pull request #12 opened by Ceratosenzaf
1m 34s
1m 34s
Remove rustc_hash PULL REQUEST CI #25: Pull request #11 opened by FedericoBruzzone
1m 7s
1m 7s
Update CI PULL REQUEST CI #24: Pull request #10 opened by FedericoBruzzone
1m 14s
1m 14s
Remove .DS_Store PULL REQUEST CI #23: Pull request #9 opened by FedericoBruzzone
1m 17s
1m 17s
feat: check possible specializations between fns PULL REQUEST CI #22: Pull request #5 synchronize by Ceratosenzaf
1m 59s fn-body-similarity-calculation
fn-body-similarity-calculation
1m 59s
feat: check possible specializations between fns PULL REQUEST CI #21: Pull request #5 synchronize by Ceratosenzaf
2m 12s fn-body-similarity-calculation
fn-body-similarity-calculation
2m 12s
feat: check possible specializations between fns PULL REQUEST CI #20: Pull request #5 synchronize by Ceratosenzaf
1m 19s fn-body-similarity-calculation
fn-body-similarity-calculation
1m 19s
feat: check possible specializations between fns PULL REQUEST CI #19: Pull request #5 synchronize by Ceratosenzaf
1m 8s fn-body-similarity-calculation
fn-body-similarity-calculation
1m 8s