Skip to content

Actions: ackrep-org/pyirk-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
reintroduce naming equations feature (lost in merge) CI #171: Commit e8d4785 pushed by JuliusFiedler
6h 0m 20s develop
develop
6h 0m 20s
queick fix test windows paths CI #170: Commit fcb4639 pushed by JuliusFiedler
6h 0m 18s develop_carsten
develop_carsten
6h 0m 18s
feat(experiment): structural diff + Opus LLM judge + aggregation tabl… CI #169: Commit 3573e3c pushed by cknoll
6h 0m 23s develop_carsten
develop_carsten
6h 0m 23s
feat(authoring): Lean-theorem import substrate + 3 validation runs CI #168: Commit 9e43a87 pushed by cknoll
6h 0m 18s develop_carsten
develop_carsten
6h 0m 18s
make named equations known as context variables CI #167: Commit 2a04dc2 pushed by JuliusFiedler
1m 13s develop
develop
1m 13s
feat(nemobridge): persistent opt-in for nemo delegation via pyirk config CI #166: Commit d2d921c pushed by cknoll
6h 0m 20s develop_carsten
develop_carsten
6h 0m 20s
Merge branch 'assert_audit_autonomous' into develop_carsten CI #165: Commit f704652 pushed by cknoll
1m 2s develop_carsten
develop_carsten
1m 2s
Merge branch 'develop_carsten' into develop CI #164: Commit 7f2552b pushed by JuliusFiedler
1m 14s develop
develop
1m 14s
refactor: add move monkey-patch-code to _nxv_monkeypatch.py; fix some… CI #163: Commit 89099fe pushed by cknoll
1m 12s develop_carsten
develop_carsten
1m 12s
add test for embed export CI #162: Commit 025853e pushed by JuliusFiedler
1m 12s develop
develop
1m 12s
black CI #161: Commit fd0477f pushed by JuliusFiedler
1m 13s develop
develop
1m 13s
fix test, blacklist for visu, !!!doesnt work for snippets!!! CI #160: Commit 555afcd pushed by JuliusFiedler
1m 10s develop
develop
1m 10s
add export_entities to yaml for embedding CI #159: Commit db094c7 pushed by JuliusFiedler
1m 11s develop
develop
1m 11s
Merge branch 'develop' of https://github.com/ackrep-org/pyerk-core in… CI #158: Commit 034a888 pushed by JuliusFiedler
1m 8s develop
develop
1m 8s
fix (visualization.py): fix nxv issue with monkey-patching CI #157: Commit 2f12c93 pushed by cknoll
1m 12s develop
develop
1m 12s
add general transitivity rule CI #156: Commit 6bed869 pushed by JuliusFiedler
1m 18s develop
develop
1m 18s
fix visu test after last update CI #155: Commit 901346c pushed by JuliusFiedler
1m 6s develop
develop
1m 6s
update readme CI #154: Commit 46d1222 pushed by JuliusFiedler
1m 6s develop
develop
1m 6s
visualization.py fix legend width CI #153: Commit 18206d5 pushed by JuliusFiedler
1m 7s develop
develop
1m 7s
visualization.py improve layout for small graphs CI #152: Commit 7928c25 pushed by cknoll
1m 11s develop
develop
1m 11s
add R4=I40 to all relations CI #151: Commit b2c4e74 pushed by JuliusFiedler
1m 0s develop
develop
1m 0s
refactor: expand SVG width to place legend without overlapping graph CI #150: Commit f986478 pushed by cknoll
1m 5s develop
develop
1m 5s
todo legend relations CI #149: Commit 378c4ac pushed by JuliusFiedler
1m 1s develop
develop
1m 1s
make REL_BLACKLIST editable CI #148: Commit 2450f9d pushed by JuliusFiedler
1m 7s develop
develop
1m 7s
restructure visu CI #147: Commit 4bc2723 pushed by JuliusFiedler
1m 1s develop
develop
1m 1s