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

Merge branch 'master' into master Tests Coverage #1083: Commit 038db95 pushed by Paul-Saves
1m 0s master
master
1m 0s
Merge branch 'master' into master Tests #1092: Commit 038db95 pushed by Paul-Saves
15m 12s master
master
15m 12s
ruff Tests #1091: Commit 4d2e8d7 pushed by Paul-Saves
10m 56s master
master
10m 56s
ruff Tests Coverage #1082: Commit 4d2e8d7 pushed by Paul-Saves
1m 6s master
master
1m 6s
ruff Tests Minimal #415: Commit 4d2e8d7 pushed by Paul-Saves
9m 14s master
master
9m 14s
update notebook for sbo thanks to heine rostum Tests Minimal #414: Commit cfbd735 pushed by Paul-Saves
9m 9s master
master
9m 9s
update notebook for sbo thanks to heine rostum Tests Coverage #1081: Commit cfbd735 pushed by Paul-Saves
1m 5s master
master
1m 5s
update notebook for sbo thanks to heine rostum Tests #1090: Commit cfbd735 pushed by Paul-Saves
11m 2s master
master
11m 2s
update notebook for sbo thanks to heine rostrum Tests Minimal #413: Commit e2a56a2 pushed by Paul-Saves
9m 12s master
master
9m 12s
update notebook for sbo thanks to heine rostrum Tests #1089: Commit e2a56a2 pushed by Paul-Saves
11m 14s master
master
11m 14s
update notebook for sbo thanks to heine rostrum Tests Coverage #1080: Commit e2a56a2 pushed by Paul-Saves
1m 6s master
master
1m 6s
Add compression of data at the save to reduce the size of the file (#… Tests Coverage #1079: Commit 5722846 pushed by Paul-Saves
38m 43s master
master
38m 43s
Add compression of data at the save to reduce the size of the file (#… Tests Minimal #412: Commit 5722846 pushed by Paul-Saves
9m 11s master
master
9m 11s
Add compression of data at the save to reduce the size of the file (#… Tests #1088: Commit 5722846 pushed by Paul-Saves
11m 48s master
master
11m 48s
Merge branch 'master' into master Tests #1087: Commit cf83bb7 pushed by relf
11m 2s master
master
11m 2s
Merge branch 'master' into master Tests Minimal #411: Commit cf83bb7 pushed by relf
9m 2s master
master
9m 2s
Merge branch 'master' into master Tests Coverage #1078: Commit cf83bb7 pushed by relf
37m 30s master
master
37m 30s
Merge branch 'master' into master Tests Minimal #410: Commit cd12c86 pushed by Paul-Saves
13m 39s master
master
13m 39s
Merge branch 'master' into master Tests Coverage #1077: Commit cd12c86 pushed by Paul-Saves
36m 44s master
master
36m 44s
Merge branch 'master' into master Tests #1086: Commit cd12c86 pushed by Paul-Saves
10m 23s master
master
10m 23s
update import Tests Minimal #409: Commit 926960d pushed by Paul-Saves
9m 10s master
master
9m 10s
update import Tests Coverage #1076: Commit 926960d pushed by Paul-Saves
37m 7s master
master
37m 7s
update import Tests #1085: Commit 926960d pushed by Paul-Saves
10m 12s master
master
10m 12s
update notebook for smt 2.8.0 (#677) Tests #1084: Commit 411fdd8 pushed by Paul-Saves
10m 46s master
master
10m 46s
update notebook for smt 2.8.0 (#677) Tests Minimal #408: Commit 411fdd8 pushed by Paul-Saves
9m 11s master
master
9m 11s