Skip to content
build

Merge branch 'main' of https://github.com/algo1unsam/dino2-drimteam #29

Sign in to view logs

Merge branch 'main' of https://github.com/algo1unsam/dino2-drimteam

Merge branch 'main' of https://github.com/algo1unsam/dino2-drimteam #29

Triggered via push October 2, 2024 20:03
@christianale12christianale12
pushed 81b99d4
main
Status Success
Total duration 15s
Artifacts –

ci.yml

on: push
wollok-ts
4s
wollok-ts
Fit to window
Zoom out
Zoom in