Skip to content

Actions: KeyronLinarez/sympy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

trigger CI Pyodide #24: Commit fdcd37c pushed by TiloRC
21m 50s z3-euf
z3-euf
21m 50s
trigger CI test #24: Commit fdcd37c pushed by TiloRC
38s z3-euf
z3-euf
38s
trigger CI Maintenance #24: Commit fdcd37c pushed by TiloRC
6s z3-euf
z3-euf
6s
Add entry to mailmap file Maintenance #23: Commit d2a8839 pushed by TiloRC
11s z3-euf
z3-euf
11s
Add entry to mailmap file test #23: Commit d2a8839 pushed by TiloRC
40s z3-euf
z3-euf
40s
Add entry to mailmap file Pyodide #23: Commit d2a8839 pushed by TiloRC
21m 45s z3-euf
z3-euf
21m 45s
logic: Streamline support for uninterpreted functions in z3 wrapper Pyodide #22: Commit 83922e9 pushed by TiloRC
22m 43s z3-euf
z3-euf
22m 43s
logic: Streamline support for uninterpreted functions in z3 wrapper Maintenance #22: Commit 83922e9 pushed by TiloRC
8s z3-euf
z3-euf
8s
logic: Streamline support for uninterpreted functions in z3 wrapper test #22: Commit 83922e9 pushed by TiloRC
36s z3-euf
z3-euf
36s
logic: Streamline support for uninterpreted functions in z3 wrapper Maintenance #21: Commit ab9698e pushed by TiloRC
10s z3-euf
z3-euf
10s
logic: Streamline support for uninterpreted functions in z3 wrapper test #21: Commit ab9698e pushed by TiloRC
32s z3-euf
z3-euf
32s
logic: Streamline support for uninterpreted functions in z3 wrapper Pyodide #21: Commit ab9698e pushed by TiloRC
4m 42s z3-euf
z3-euf
4m 42s
Add entry to mailmap file Maintenance #20: Commit d6f15f0 pushed by TiloRC
11s z3-euf
z3-euf
11s
Add entry to mailmap file test #20: Commit d6f15f0 pushed by TiloRC
42s z3-euf
z3-euf
42s
Add entry to mailmap file Pyodide #20: Commit d6f15f0 pushed by TiloRC
5m 51s z3-euf
z3-euf
5m 51s
remove unused function test #19: Commit d74f980 pushed by TiloRC
37s z3-euf
z3-euf
37s
remove unused function Pyodide #19: Commit d74f980 pushed by TiloRC
22m 1s z3-euf
z3-euf
22m 1s
remove unused function Maintenance #19: Commit d74f980 pushed by TiloRC
8s z3-euf
z3-euf
8s
Use Eq and Ne instead of Equality or Unequality Pyodide #18: Commit dd99a00 pushed by TiloRC
5m 52s z3-euf
z3-euf
5m 52s
Use Eq and Ne instead of Equality or Unequality Maintenance #18: Commit dd99a00 pushed by TiloRC
6s z3-euf
z3-euf
6s
Use Eq and Ne instead of Equality or Unequality test #18: Commit dd99a00 pushed by TiloRC
36s z3-euf
z3-euf
36s
simplify uniterpreted function handling logic test #17: Commit dafe02c pushed by TiloRC
42s z3-euf
z3-euf
42s
simplify uniterpreted function handling logic Maintenance #17: Commit dafe02c pushed by TiloRC
9s z3-euf
z3-euf
9s
simplify uniterpreted function handling logic Pyodide #17: Commit dafe02c pushed by TiloRC
19m 24s z3-euf
z3-euf
19m 24s
fix formatting test #16: Commit b74f9e3 pushed by TiloRC
35s z3-euf
z3-euf
35s