Skip to content

Actions: m62624/elenchus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
461 workflow runs
461 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
feat(parser): allow Unicode identifiers (any-script names) CI #29: Pull request #4 opened by m62624
1m 46s feat/unicode-identifiers
feat/unicode-identifiers
1m 46s
feat(parser): allow Unicode identifiers (any-script names) CI #28: Commit 6f8c909 pushed by m62624
2m 50s feat/unicode-identifiers
feat/unicode-identifiers
2m 50s
refactor(dsl): rename AXIOM to PREMISE — correct logical terminology … Release #6: Commit 3ef0c9c pushed by m62624
7m 5s pin/v0.2.0
pin/v0.2.0
7m 5s
refactor(dsl): rename AXIOM to PREMISE — correct logical terminology … CI #27: Commit 3ef0c9c pushed by m62624
1m 34s main
main
1m 34s
refactor(dsl): rename AXIOM to PREMISE — correct logical terminology CI #26: Pull request #3 opened by m62624
1m 6s refactor/premise
refactor/premise
1m 6s
refactor(dsl): rename AXIOM to PREMISE — correct logical terminology Labeler #3: Pull request #3 opened by m62624
8s refactor/premise
refactor/premise
8s
refactor(dsl): rename AXIOM to PREMISE — correct logical terminology CI #25: Commit 73f0a62 pushed by m62624
1m 10s refactor/premise
refactor/premise
1m 10s
build: update version to v0.1.4 (#2) CI #24: Commit 45be28a pushed by m62624
4m 21s main
main
4m 21s
fix cli stdin ux Release #5: Commit 021bec1 pushed by m62624
8m 12s pin/v0.1.4
pin/v0.1.4
8m 12s
fix cli stdin ux CI #22: Commit 021bec1 pushed by m62624
1m 6s main
main
1m 6s
fix release ci noise CI #21: Commit e57d3ab pushed by m62624
1m 20s main
main
1m 20s
Merge pull request #1 from m62624/rc/v0.1.3 CI #20: Commit 9878bd6 pushed by m62624
1m 13s main
main
1m 13s
release: sync elenchus v0.1.3 to main CI #19: Pull request #1 opened by github-actions Bot
50s rc/v0.1.3
rc/v0.1.3
50s
release: sync elenchus v0.1.3 to main Labeler #1: Pull request #1 opened by github-actions Bot
11s rc/v0.1.3
rc/v0.1.3
11s
fix homebrew release gate Release #4: Commit a51d980 pushed by m62624
6m 22s pin/v0.1.3
pin/v0.1.3
6m 22s
fix homebrew release gate CI #18: Commit a51d980 pushed by m62624
57s pin/v0.1.3
pin/v0.1.3
57s
fix homebrew release gate CI #17: Commit a51d980 pushed by m62624
6m 5s main
main
6m 5s
fix release windows msi Release #3: Commit 9735251 pushed by m62624
7m 29s pin/v0.1.3
pin/v0.1.3
7m 29s
fix release windows msi CI #16: Commit 9735251 pushed by m62624
1m 1s pin/v0.1.3
pin/v0.1.3
1m 1s
fix release windows msi CI #15: Commit 9735251 pushed by m62624
59s main
main
59s
ci(release): install WiX v3 for the Windows .msi build Release #2: Commit f853865 pushed by m62624
6m 30s pin/v0.1.1
pin/v0.1.1
6m 30s
ci(release): install WiX v3 for the Windows .msi build CI #14: Commit f853865 pushed by m62624
1m 55s pin/v0.1.1
pin/v0.1.1
1m 55s
ci(release): install WiX v3 for the Windows .msi build CI #13: Commit f853865 pushed by m62624
1m 28s main
main
1m 28s
docs(examples): replace the weak README example with the Socrates chain Release #1: Commit 5c1dfc1 pushed by m62624
7m 15s pin/v0.1.0
pin/v0.1.0
7m 15s
docs(examples): replace the weak README example with the Socrates chain CI #12: Commit 5c1dfc1 pushed by m62624
1m 30s pin/v0.1.0
pin/v0.1.0
1m 30s
ProTip! You can narrow down the results and go further in time using created:<2026-06-18 or the other filters available.