Skip to content

Actions: tnelson/Forge

Actions

Semantic Version Updater

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semanticVersionUpdater.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[patch] Improve typechecking, example suite Semantic Version Updater #81: Pull request #301 closed by tnelson
February 25, 2025 16:45 21s dev
dev
February 25, 2025 16:45 21s
[minor] Named asserts, various fixes Semantic Version Updater #80: Pull request #300 closed by tnelson
February 21, 2025 14:32 23s dev
dev
February 21, 2025 14:32 23s
[patch] Detection for cyclic references in pred, fun (#297) Semantic Version Updater #79: Pull request #298 closed by tnelson
February 12, 2025 13:20 20s dev
dev
February 12, 2025 13:20 20s
[minor] test messages, Sterling menu filtering, fix Semantic Version Updater #78: Pull request #296 closed by tnelson
February 10, 2025 13:15 17s dev
dev
February 10, 2025 13:15 17s
[minor] Better messaging for tests, Sterling menu enhancements, fix Semantic Version Updater #77: Pull request #294 closed by tnelson
February 9, 2025 21:59 18s feat_41_tests
feat_41_tests
February 9, 2025 21:59 18s
[patch] forge/domains/abac updates, fix import namespace clash, misc improvements Semantic Version Updater #76: Pull request #292 closed by tnelson
January 29, 2025 12:57 17s dev
dev
January 29, 2025 12:57 17s
[patch] update Sterling, small fixes Semantic Version Updater #75: Pull request #290 closed by tnelson
January 22, 2025 13:45 19s dev
dev
January 22, 2025 13:45 19s
[patch] Fix for semver generation, racket package server Semantic Version Updater #74: Pull request #289 closed by tnelson
January 21, 2025 12:18 21s dev
dev
January 21, 2025 12:18 21s
[major] 4.0 release, fix semantic version script Semantic Version Updater #73: Pull request #288 closed by tnelson
January 20, 2025 18:02 14s internal_semver
internal_semver
January 20, 2025 18:02 14s
[major] Update for 4.0 Semantic Version Updater #72: Pull request #287 closed by tnelson
January 20, 2025 17:58 21s internal_semver
internal_semver
January 20, 2025 17:58 21s
[major] Update to 4.0 Semantic Version Updater #71: Pull request #286 closed by tnelson
January 20, 2025 17:45 14s internal_semver
internal_semver
January 20, 2025 17:45 14s
[major] Update for Spring 2025 Semantic Version Updater #70: Pull request #285 closed by tnelson
January 20, 2025 17:42 14s dev
dev
January 20, 2025 17:42 14s
[major] Update for Spring 2025 Semantic Version Updater #69: Pull request #285 closed by tnelson
January 20, 2025 17:41 15s dev
dev
January 20, 2025 17:41 15s
[major] Merging features for 4.0 Semantic Version Updater #68: Pull request #284 closed by tnelson
January 20, 2025 17:36 21s dev
dev
January 20, 2025 17:36 21s
Fix update check Semantic Version Updater #67: Pull request #279 closed by tnelson
October 29, 2024 13:51 25s fix_update_check
fix_update_check
October 29, 2024 13:51 25s
Version checking and handling added Semantic Version Updater #66: Pull request #278 closed by tnelson
October 25, 2024 19:10 19s feat_update_check
feat_update_check
October 25, 2024 19:10 19s
Add additional comments, windows compatibility, to crypto DSL Semantic Version Updater #65: Pull request #275 closed by tnelson
October 1, 2024 22:07 17s feat_crypto_frg
feat_crypto_frg
October 1, 2024 22:07 17s
Satisfiability Assertions Semantic Version Updater #64: Pull request #263 closed by sidprasad
July 19, 2024 14:29 25s assert-sat
assert-sat
July 19, 2024 14:29 25s
[minor] Command-line support Semantic Version Updater #63: Pull request #262 closed by tnelson
June 17, 2024 16:59 22s dev
dev
June 17, 2024 16:59 22s
[patch] Fix an error message in partial-instance processing Semantic Version Updater #62: Pull request #260 closed by tnelson
May 31, 2024 17:28 21s dev
dev
May 31, 2024 17:28 21s
[patch] Add various example models to proper folder Semantic Version Updater #61: Pull request #259 closed by tnelson
May 31, 2024 15:17 21s dev
dev
May 31, 2024 15:17 21s
[minor] Add prime checking, xor operator Semantic Version Updater #60: Pull request #258 closed by tnelson
May 1, 2024 13:46 20s dev
dev
May 1, 2024 13:46 20s
[patch] Fix 1-ary-and wrapped predicate issue with core localization Semantic Version Updater #59: Pull request #255 closed by tnelson
April 2, 2024 00:57 16s dev
dev
April 2, 2024 00:57 16s
[minor] March 31 Update to 3.4 Semantic Version Updater #58: Pull request #253 closed by tnelson
March 31, 2024 17:10 17s dev
dev
March 31, 2024 17:10 17s
[minor] Update 3.3 Semantic Version Updater #57: Pull request #246 closed by tnelson
March 1, 2024 12:48 24s dev
dev
March 1, 2024 12:48 24s