Skip to content

Actions: pysmt/pysmt

Actions

Test and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mypy checks in CI Test and Deploy #317: Pull request #813 synchronize by mikand
7m 54s add_typing_hints
add_typing_hints
7m 54s
Merge pull request #821 from pysmt/fix_issue_819 Test and Deploy #316: Commit 4a59e6a pushed by mikand
4m 35s master
master
4m 35s
Fix #819 Test and Deploy #315: Pull request #821 synchronize by mikand
5m 24s fix_issue_819
fix_issue_819
5m 24s
Fix #819 Test and Deploy #314: Pull request #821 synchronize by mikand
7m 46s fix_issue_819
fix_issue_819
7m 46s
Fix #819 Test and Deploy #313: Pull request #821 opened by mikand
7m 20s fix_issue_819
fix_issue_819
7m 20s
Draft minimal crash test cvc5 Test and Deploy #310: Pull request #816 synchronize by Framba-Luca
5m 29s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
5m 29s
Draft minimal crash test cvc5 Test and Deploy #309: Pull request #816 synchronize by Framba-Luca
4m 31s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
4m 31s
Draft minimal crash test cvc5 Test and Deploy #308: Pull request #816 synchronize by Framba-Luca
6m 35s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
6m 35s
Draft minimal crash test cvc5 Test and Deploy #307: Pull request #816 synchronize by Framba-Luca
6m 5s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
6m 5s
Draft minimal crash test cvc5 Test and Deploy #306: Pull request #816 synchronize by Framba-Luca
5m 18s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
5m 18s
Draft minimal crash test cvc5 Test and Deploy #305: Pull request #816 opened by Framba-Luca
57s add_minimal_test_cvc5_crash
add_minimal_test_cvc5_crash
57s
Add mypy checks in CI Test and Deploy #304: Pull request #813 synchronize by Framba-Luca
7m 47s add_typing_hints
add_typing_hints
7m 47s
Add mypy checks in CI Test and Deploy #303: Pull request #813 synchronize by Framba-Luca
9m 12s add_typing_hints
add_typing_hints
9m 12s
Add mypy checks in CI Test and Deploy #302: Pull request #813 synchronize by Framba-Luca
8m 36s add_typing_hints
add_typing_hints
8m 36s
Add mypy checks in CI Test and Deploy #301: Pull request #813 synchronize by Framba-Luca
26s add_typing_hints
add_typing_hints
26s
Add mypy checks in CI Test and Deploy #300: Pull request #813 synchronize by Framba-Luca
23s add_typing_hints
add_typing_hints
23s
Add mypy checks in CI Test and Deploy #299: Pull request #813 synchronize by Framba-Luca
8m 35s add_typing_hints
add_typing_hints
8m 35s
Add mypy checks in CI Test and Deploy #298: Pull request #813 synchronize by Framba-Luca
7m 58s add_typing_hints
add_typing_hints
7m 58s
Add mypy checks in CI Test and Deploy #297: Pull request #813 synchronize by Framba-Luca
8m 26s add_typing_hints
add_typing_hints
8m 26s
Add mypy checks in CI Test and Deploy #296: Pull request #813 synchronize by Framba-Luca
2m 9s add_typing_hints
add_typing_hints
2m 9s
Add mypy checks in CI Test and Deploy #295: Pull request #813 synchronize by Framba-Luca
1m 56s add_typing_hints
add_typing_hints
1m 56s
Add mypy checks in CI Test and Deploy #294: Pull request #813 synchronize by Framba-Luca
1m 3s add_typing_hints
add_typing_hints
1m 3s
Add mypy checks in CI Test and Deploy #293: Pull request #813 synchronize by Framba-Luca
55s add_typing_hints
add_typing_hints
55s
Add mypy checks in CI Test and Deploy #292: Pull request #813 synchronize by Framba-Luca
18s add_typing_hints
add_typing_hints
18s
Add mypy checks in CI Test and Deploy #291: Pull request #813 synchronize by Framba-Luca
19s add_typing_hints
add_typing_hints
19s