Skip to content

Actions: dit/sofic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #26 from dit/sofic-process-ports Build #136: Commit 2f97022 pushed by Autoplectic
21m 7s sofic-literature-gaps
sofic-literature-gaps
21m 7s
Merge pull request #25 from dit/sofic-literature-gaps Build #135: Commit 892763e pushed by Autoplectic
16m 23s main
main
16m 23s
Merge pull request #27 from dit/sofic-correctness-2 Build #134: Commit bb5094c pushed by Autoplectic
2h 36m 39s main
main
2h 36m 39s
Property and metamorphic test suite (2/4, landing #24 on main) Build #133: Pull request #27 synchronize by Autoplectic
55m 42s sofic-correctness-2
sofic-correctness-2
55m 42s
Property and metamorphic test suite (2/4, landing #24 on main) Build #132: Pull request #27 opened by Autoplectic
6m 24s sofic-correctness-2
sofic-correctness-2
6m 24s
Merge pull request #24 from dit/sofic-property-tests Build #131: Commit 80a9030 pushed by Autoplectic
34m 15s sofic-correctness-2
sofic-correctness-2
34m 15s
Merge pull request #23 from dit/sofic-correctness-2 Build #130: Commit c0096e7 pushed by Autoplectic
27m 48s main
main
27m 48s
Automata and shift ideas ported to processes (4/4) Build #129: Pull request #26 synchronize by Autoplectic
4h 20m 21s sofic-process-ports
sofic-process-ports
4h 20m 21s
Literature gaps: zeta functions, conjugacy invariants, decisions, regex, entropy rates, correlations, predictive RD (3/4) Build #128: Pull request #25 synchronize by Autoplectic
45m 35s sofic-literature-gaps
sofic-literature-gaps
45m 35s
Tests: skip sympy-dependent cases when sympy is not installed (CI ins… Build #127: Commit 38f22e7 pushed by Autoplectic
1h 17m 14s sofic-process-ports
sofic-process-ports
1h 17m 14s
Property and metamorphic test suite (2/4) Build #126: Pull request #24 synchronize by Autoplectic
21m 55s sofic-property-tests
sofic-property-tests
21m 55s
test_zeta: replace walrus-in-generator with a helper (ty unresolved-r… Build #125: Commit 8edf9ab pushed by Autoplectic
1h 46m 1s sofic-literature-gaps
sofic-literature-gaps
1h 46m 1s
CI: test with the symbolic extra; keep one job without it Build #124: Commit 53325ed pushed by Autoplectic
1h 32m 45s sofic-property-tests
sofic-property-tests
1h 32m 45s
Automata and shift ideas ported to processes (4/4) Build #123: Pull request #26 synchronize by Autoplectic
2h 29m 24s sofic-process-ports
sofic-process-ports
2h 29m 24s
Literature gaps: zeta functions, conjugacy invariants, decisions, regex, entropy rates, correlations, predictive RD (3/4) Build #122: Pull request #25 synchronize by Autoplectic
1h 32m 16s sofic-literature-gaps
sofic-literature-gaps
1h 32m 16s
Tests: skip sympy-dependent cases when sympy is not installed (CI ins… Build #121: Commit 70daf1e pushed by Autoplectic
1h 46m 25s sofic-process-ports
sofic-process-ports
1h 46m 25s
test_zeta: replace walrus-in-generator with a helper (ty unresolved-r… Build #120: Commit f15f70e pushed by Autoplectic
1h 38m 20s sofic-literature-gaps
sofic-literature-gaps
1h 38m 20s
Automata and shift ideas ported to processes (4/4) Build #119: Pull request #26 synchronize by Autoplectic
3h 37m 0s sofic-process-ports
sofic-process-ports
3h 37m 0s
CHANGELOG: finalize 0.4.0 (tag left to the maintainer) Build #118: Commit 7a636b6 pushed by Autoplectic
2h 55m 14s sofic-process-ports
sofic-process-ports
2h 55m 14s
Literature gaps: zeta functions, conjugacy invariants, decisions, regex, entropy rates, correlations, predictive RD (3/4) Build #117: Pull request #25 synchronize by Autoplectic
1h 22m 41s sofic-literature-gaps
sofic-literature-gaps
1h 22m 41s
CHANGELOG: literature-gap features Build #116: Commit 90f40bd pushed by Autoplectic
2h 1m 47s sofic-literature-gaps
sofic-literature-gaps
2h 1m 47s
Property and metamorphic test suite (2/4) Build #115: Pull request #24 synchronize by Autoplectic
32m 2s sofic-property-tests
sofic-property-tests
32m 2s
Make the bidirectional joint-class choice independent of float round-off Build #114: Commit 02d8eef pushed by Autoplectic
2h 11m 4s sofic-property-tests
sofic-property-tests
2h 11m 4s
Automata and shift ideas ported to processes (4/4) Build #113: Pull request #26 synchronize by Autoplectic
6h 29m 10s sofic-process-ports
sofic-process-ports
6h 29m 10s
CHANGELOG: finalize 0.4.0 (tag left to the maintainer) Build #112: Commit d8cf49f pushed by Autoplectic
2h 37m 6s sofic-process-ports
sofic-process-ports
2h 37m 6s