Skip to content

Actions: kidoz/dotprolog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
Record the 0.7.0 release in the README and security policy Release #7: Commit 7ec266e pushed by kidoz
19m 4s v0.7.0
v0.7.0
19m 4s
Record the 0.7.0 release in the README and security policy CI #55: Commit 7ec266e pushed by kidoz
9m 59s main
main
9m 59s
Record rationals in the ledger and changelog CI #54: Commit c3cfc9a pushed by kidoz
8m 35s main
main
8m 35s
Record the string type in the docs, ledger, and changelog CI #53: Commit 4e72dc1 pushed by kidoz
10m 1s main
main
10m 1s
Record the natural-language sample in the changelog CI #52: Commit e78450d pushed by kidoz
9m 1s main
main
9m 1s
Record the occurs_check flag in the SWI ledger and changelog CI #51: Commit e83ad73 pushed by kidoz
8m 41s main
main
8m 41s
Add a natural-language processing sample in Modern mode CI #50: Commit 97e4596 pushed by kidoz
9m 51s main
main
9m 51s
Record the cleanup goals in the SWI ledger and changelog CI #49: Commit 6ebff1d pushed by kidoz
10m 8s main
main
10m 8s
Document the Modern mode SWI alignment and its coverage ledger CI #48: Commit f58add6 pushed by kidoz
9m 51s main
main
9m 51s
Cover the double_quotes flag values in strict ISO mode CI #47: Commit e359df7 pushed by kidoz
9m 24s main
main
9m 24s
Record the 0.5.0 release in the README and security policy CI #46: Commit 4e5b967 pushed by kidoz
8m 42s main
main
8m 42s
Keep the metapredicate position patterns stably formatted Release #6: Commit ac9cabf pushed by kidoz
12m 13s v0.5.0
v0.5.0
12m 13s
Keep the metapredicate position patterns stably formatted CI #45: Commit ac9cabf pushed by kidoz
9m 21s main
main
9m 21s
Count the Part 2 flag in the NativeAOT acceptance gate CI #44: Commit 982634d pushed by kidoz
8m 59s main
main
8m 59s
Release 0.5.0 CI #43: Commit 74d7164 pushed by kidoz
7m 45s main
main
7m 45s
Publish ISO Part 1 conformance evidence CI #42: Commit f4250ea pushed by kidoz
7m 55s main
main
7m 55s
Expand ISO corrigenda conformance coverage CI #41: Commit 428da1c pushed by kidoz
8m 14s main
main
8m 14s
Correct the release documentation for gates, packages, and preconditions CI #40: Commit bb127dd pushed by kidoz
7m 26s main
main
7m 26s
Release 0.4.0 Release #5: Commit da8a5f1 pushed by kidoz
12m 13s v0.4.0
v0.4.0
12m 13s
Release 0.4.0 CI #39: Commit da8a5f1 pushed by kidoz
8m 26s main
main
8m 26s
Adopt implicit types and current language forms across the codebase CI #38: Commit 4273b2c pushed by kidoz
9m 24s main
main
9m 24s
Fix the tool output test on Windows CI #37: Commit cd52e42 pushed by kidoz
7m 57s main
main
7m 57s
Document the Covington source-layout profile CI #36: Commit 2dce3f7 pushed by kidoz
8m 21s main
main
8m 21s
Document source linting and verify the packaged command CI #35: Commit 2f47991 pushed by kidoz
7m 42s main
main
7m 42s
Release 0.3.0 Release #4: Commit 9a03637 pushed by kidoz
12m 21s v0.3.0
v0.3.0
12m 21s