Skip to content

Actions: Crypto-TII/claasp

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,966 workflow runs
3,966 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Semi deterministic model
Run doctest #211: Pull request #295 opened by juaninf
February 1, 2025 17:49 31m 41s semi_deterministic_model
February 1, 2025 17:49 31m 41s
Semi deterministic model
block-pr #705: Pull request #295 opened by juaninf
February 1, 2025 17:49 2s semi_deterministic_model
February 1, 2025 17:49 2s
Semi deterministic model
Run pytest for Forked projects #1369: Pull request #295 opened by juaninf
February 1, 2025 17:49 3s semi_deterministic_model
February 1, 2025 17:49 3s
Semi deterministic model
Run pytest and SonarCloud Scan #2583: Pull request #295 opened by juaninf
February 1, 2025 17:49 48m 33s semi_deterministic_model
February 1, 2025 17:49 48m 33s
Refactoring Probabilistic Truncated Sat Differential Models.
Run pytest for Forked projects #1368: Commit c8ab773 pushed by juaninf
February 1, 2025 17:48 3s semi_deterministic_model
February 1, 2025 17:48 3s
Refactoring Probabilistic Truncated Sat Differential Models.
Run pytest and SonarCloud Scan #2582: Commit c8ab773 pushed by juaninf
February 1, 2025 17:48 48m 54s semi_deterministic_model
February 1, 2025 17:48 48m 54s
Sat Truncated Deterministic Model: Adding tests
Run pytest for Forked projects #1367: Commit c30444c pushed by juaninf
January 30, 2025 07:24 3s semi_deterministic_model
January 30, 2025 07:24 3s
Sat Truncated Deterministic Model: Adding tests
Run pytest and SonarCloud Scan #2581: Commit c30444c pushed by juaninf
January 30, 2025 07:24 47m 52s semi_deterministic_model
January 30, 2025 07:24 47m 52s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest for Forked projects #1366: Commit 02b2a2b pushed by juaninf
January 24, 2025 02:35 3s semi_deterministic_model
January 24, 2025 02:35 3s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest and SonarCloud Scan #2580: Commit 02b2a2b pushed by juaninf
January 24, 2025 02:35 48m 27s semi_deterministic_model
January 24, 2025 02:35 48m 27s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest and SonarCloud Scan #2579: Commit 8ed60a0 pushed by juaninf
January 18, 2025 04:53 51m 52s semi_deterministic_model
January 18, 2025 04:53 51m 52s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest for Forked projects #1365: Commit 8ed60a0 pushed by juaninf
January 18, 2025 04:53 2s semi_deterministic_model
January 18, 2025 04:53 2s
Merge branch 'develop' of https://github.com/Crypto-TII/claasp into d…
Run pytest for Forked projects #1364: Commit 44e80cd pushed by Marius9595
January 16, 2025 10:27 3s develop
January 16, 2025 10:27 3s
Merge branch 'develop' of https://github.com/Crypto-TII/claasp into d…
Build and push image from develop #105: Commit 44e80cd pushed by Marius9595
January 16, 2025 10:27 26m 38s develop
January 16, 2025 10:27 26m 38s
Merge branch 'develop' of https://github.com/Crypto-TII/claasp into d…
Run pytest and SonarCloud Scan #2578: Commit 44e80cd pushed by Marius9595
January 16, 2025 10:27 51m 36s develop
January 16, 2025 10:27 51m 36s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest for Forked projects #1363: Commit cbc559d pushed by juaninf
January 16, 2025 05:50 3s semi_deterministic_model
January 16, 2025 05:50 3s
FEATURE/Add: Adding semi-deterministic truncated model
Run pytest and SonarCloud Scan #2577: Commit cbc559d pushed by juaninf
January 16, 2025 05:50 48m 56s semi_deterministic_model
January 16, 2025 05:50 48m 56s
FIX/Fix:minizinc utils methods for impossible
Run pytest for Forked projects #1362: Commit 2987cdf pushed by SimoPez
January 13, 2025 07:25 3s fix/minizinc-utils
January 13, 2025 07:25 3s
FIX/Fix:minizinc utils methods for impossible
Run pytest and SonarCloud Scan #2576: Commit 2987cdf pushed by SimoPez
January 13, 2025 07:25 49m 33s fix/minizinc-utils
January 13, 2025 07:25 49m 33s
Merge pull request #291 from Crypto-TII/feat/division_property
Run pytest for Forked projects #1361: Commit cb2c6ab pushed by SimoPez
January 13, 2025 07:02 2s fix/minizinc-utils
January 13, 2025 07:02 2s
Merge pull request #291 from Crypto-TII/feat/division_property
Run pytest and SonarCloud Scan #2575: Commit cb2c6ab pushed by SimoPez
January 13, 2025 07:02 22m 52s fix/minizinc-utils
January 13, 2025 07:02 22m 52s
FIX/Fix:minizinc Docker installation
Run pytest and SonarCloud Scan #2574: Pull request #294 opened by SimoPez
January 13, 2025 06:50 6h 0m 42s fix/clean-minizinc-installation-and-models
January 13, 2025 06:50 6h 0m 42s
FIX/Fix:minizinc Docker installation
Run pytest for Forked projects #1360: Pull request #294 opened by SimoPez
January 13, 2025 06:50 2s fix/clean-minizinc-installation-and-models
January 13, 2025 06:50 2s