Skip to content

Merge branch 'main' of github.com:GRAAL-Research/MeaningBERT #18

Merge branch 'main' of github.com:GRAAL-Research/MeaningBERT

Merge branch 'main' of github.com:GRAAL-Research/MeaningBERT #18

Triggered via push November 22, 2023 23:28
Status Success
Total duration 13s
Artifacts

formatting.yml

on: push
Matrix: formatting
Fit to window
Zoom out
Zoom in