Skip to content

Actions: convince-project/overview

Actions

Docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tutorials_docker.yml
114 workflow runs
114 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
Docker Docker #114: Scheduled
16m 27s main
main
16m 27s
Merge pull request #59 from convince-project/fix/semantic_reasoning_t… Docker #113: Commit a2b0987 pushed by m-morelli
16m 42s main
main
16m 42s
Adding code and doc of semantic reasoning tutorial. Docker #112: Pull request #59 synchronize by m-morelli
17m 43s fix/semantic_reasoning_tutorial
fix/semantic_reasoning_tutorial
17m 43s
Adding code and doc of semantic reasoning tutorial. Docker #111: Pull request #59 opened by m-morelli
16m 8s fix/semantic_reasoning_tutorial
fix/semantic_reasoning_tutorial
16m 8s
Docker Docker #110: Scheduled
3m 3s main
main
3m 3s
Docker Docker #109: Scheduled
11m 14s main
main
11m 14s
Add scan-ready property file Docker #108: Pull request #58 opened by EnricoGhiorzi
13m 9s fix/properties_scan
fix/properties_scan
13m 9s
Docker Docker #107: Scheduled
13m 11s main
main
13m 11s
Merge pull request #57 from convince-project/some-more-refinements Docker #106: Commit 809ce8c pushed by EnricoGhiorzi
13m 19s main
main
13m 19s
Small inconsistencies Docker #105: Pull request #57 opened by ct2034
14m 52s some-more-refinements
some-more-refinements
14m 52s
Docker Docker #104: Scheduled
12m 59s main
main
12m 59s
Merge pull request #55 from convince-project/fix/scan-update Docker #103: Commit 909c1a2 pushed by EnricoGhiorzi
12m 11s main
main
12m 11s
Update outdated description for SCAN Docker #102: Pull request #55 synchronize by ct2034
14m 24s fix/scan-update
fix/scan-update
14m 24s
Moon tutorial in index and fixing youtube links (#54) Docker #101: Commit dc1bc4e pushed by ct2034
16m 53s main
main
16m 53s
Update outdated description for SCAN Docker #100: Pull request #55 opened by EnricoGhiorzi
11m 52s fix/scan-update
fix/scan-update
11m 52s
Moon tutorial in index and fixing youtube links Docker #99: Pull request #54 synchronize by ct2034
11m 3s add/moon_tutorial_in_sidebar
add/moon_tutorial_in_sidebar
11m 3s
Moon tutorial in index and fixing youtube links Docker #98: Pull request #54 opened by ct2034
10m 10s add/moon_tutorial_in_sidebar
add/moon_tutorial_in_sidebar
10m 10s
added tutorial Docker #97: Pull request #48 synchronize by ct2034
12m 4s fix/model2code_tutorial
fix/model2code_tutorial
12m 4s
Link videos to existing tutorials. (#53) Docker #96: Commit bd69219 pushed by ct2034
12m 27s main
main
12m 27s
Link videos to existing tutorials. Docker #95: Pull request #53 synchronize by ct2034
6m 12s add-video-to-tutorials
add-video-to-tutorials
6m 12s
MOON tutorial (#50) Docker #94: Commit bce6c33 pushed by ct2034
13m 45s main
main
13m 45s
Link videos to existing tutorials. Docker #93: Pull request #53 synchronize by ste93
13m 44s add-video-to-tutorials
add-video-to-tutorials
13m 44s
Link videos to existing tutorials. Docker #92: Pull request #53 opened by MarcoLm993
12m 58s add-video-to-tutorials
add-video-to-tutorials
12m 58s
MOON tutorial Docker #91: Pull request #50 synchronize by KarimPedemonte
13m 53s moon_tutorial
moon_tutorial
13m 53s
MOON tutorial Docker #90: Pull request #50 synchronize by ct2034
13m 56s moon_tutorial
moon_tutorial
13m 56s