Skip to content

Actions: Paul-Saves/smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support egobox 0.32 (#752)
Tests Minimal #448: Commit 968553c pushed by Paul-Saves
9m 57s master
Support egobox 0.32 (#752)
Tests Coverage #1115: Commit 968553c pushed by Paul-Saves
44m 54s master
Add Multifi EGO tuto
Tests Coverage #1114: Commit 2a2695d pushed by Paul-Saves
47m 43s master
Add Multifi EGO tuto
Tests Minimal #447: Commit 2a2695d pushed by Paul-Saves
10m 23s master
ruff
Tests Coverage #1113: Commit 266665a pushed by Paul-Saves
34m 48s master
ruff
Tests Minimal #446: Commit 266665a pushed by Paul-Saves
15m 4s master
ruff
Tests #1122: Commit 266665a pushed by Paul-Saves
16m 45s master
ruff
Tests #1121: Commit de37ffd pushed by Paul-Saves
16m 57s master
ruff
Tests Minimal #445: Commit de37ffd pushed by Paul-Saves
13m 49s master
ruff
Tests Coverage #1112: Commit de37ffd pushed by Paul-Saves
33m 54s master
fix files
Tests Minimal #444: Commit 102b9b0 pushed by Paul-Saves
10m 6s master
fix files
Tests Coverage #1111: Commit 102b9b0 pushed by Paul-Saves
1m 2s master
fix files
Tests #1120: Commit 102b9b0 pushed by Paul-Saves
10m 51s master
revert mcb
Tests Minimal #443: Commit ad41828 pushed by Paul-Saves
9m 47s master
revert mcb
Tests Coverage #1110: Commit ad41828 pushed by Paul-Saves
57s master
revert mcb
Tests #1119: Commit ad41828 pushed by Paul-Saves
10m 50s master
restore problems.py
Tests Minimal #442: Commit 2afa52c pushed by Paul-Saves
10m 19s master
restore problems.py
Tests Coverage #1109: Commit 2afa52c pushed by Paul-Saves
1m 3s master
restore problems.py
Tests #1118: Commit 2afa52c pushed by Paul-Saves
11m 48s master
improve problems
Tests Minimal #441: Commit 3de42e2 pushed by Paul-Saves
10m 35s master