Skip to content
Deploy

Merge pull request #656 from dice-group/ml-group #355

Sign in to view logs

Merge pull request #656 from dice-group/ml-group

Merge pull request #656 from dice-group/ml-group #355

Triggered via push August 29, 2025 09:30
@MichaelRoederMichaelRoeder
pushed 8322729
master
Status Success
Total duration 7m 59s
Artifacts –

deploy.yml

on: push
check-bib
1m 5s
check-bib
upload-bib
24s
upload-bib
deploy
4m 52s
deploy
syncBranches
9s
syncBranches
uploadData
1m 23s
uploadData
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
deploy: scripts/papers-to-ttl/index.js#L189
Unexpected var, use let or const instead
deploy: scripts/papers-to-ttl/index.js#L71
Unexpected var, use let or const instead
uploadData: scripts/papers-to-ttl/index.js#L189
Unexpected var, use let or const instead
uploadData: scripts/papers-to-ttl/index.js#L71
Unexpected var, use let or const instead