Skip to content

Merge branch 'master' of https://github.com/upb-lea/reinforcement_lea… #55

Merge branch 'master' of https://github.com/upb-lea/reinforcement_lea…

Merge branch 'master' of https://github.com/upb-lea/reinforcement_lea… #55

Triggered via push May 9, 2023 14:18
Status Success
Total duration 5m 27s
Artifacts

blank.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build_latex
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.