Skip to content

Actions: tnelson/Forge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
432 workflow runs
432 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup: minor cleanup Continuous Integration #1004: Commit b84bf65 pushed by tnelson
February 27, 2025 12:51 12m 0s dev
dev
February 27, 2025 12:51 12m 0s
cmd-line option: don't run sterling if off Continuous Integration #1003: Commit 85fd498 pushed by tnelson
February 27, 2025 12:29 11m 44s dev
dev
February 27, 2025 12:29 11m 44s
[patch] Merge pull request #301 from tnelson/dev Continuous Integration #1002: Commit 47c373d pushed by tnelson
February 25, 2025 16:45 12m 47s main
main
February 25, 2025 16:45 12m 47s
[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
[patch] Improve typechecking, example suite Continuous Integration #1001: Pull request #301 opened by tnelson
February 25, 2025 15:22 12m 13s dev
dev
February 25, 2025 15:22 12m 13s
add raft example, update page Continuous Integration #1000: Commit 5618818 pushed by tnelson
February 25, 2025 15:13 11m 52s dev
dev
February 25, 2025 15:13 11m 52s
pages build and deployment pages-build-deployment #26: by tnelson
February 25, 2025 15:13 39s site
site
February 25, 2025 15:13 39s
improve the restricting space example Continuous Integration #999: Commit fb1e093 pushed by tnelson
February 25, 2025 14:13 11m 52s dev
dev
February 25, 2025 14:13 11m 52s
fix: actually add the bdd model Continuous Integration #998: Commit d07a02c pushed by tnelson
February 25, 2025 13:55 12m 7s dev
dev
February 25, 2025 13:55 12m 7s
add: draft bdd model, prob needs another pass Continuous Integration #997: Commit b938c23 pushed by tnelson
February 24, 2025 21:26 12m 8s dev
dev
February 24, 2025 21:26 12m 8s
add: ltlf model draft example Continuous Integration #996: Commit 5bf2358 pushed by tnelson
February 24, 2025 19:14 12m 36s dev
dev
February 24, 2025 19:14 12m 36s
fix: error for pred misuse within a formula tree Continuous Integration #995: Commit eefc1c7 pushed by tnelson
February 23, 2025 15:47 11m 59s dev
dev
February 23, 2025 15:47 11m 59s
fix: crypto typechecking Continuous Integration #994: Commit 580e068 pushed by tnelson
February 21, 2025 22:12 12m 8s dev
dev
February 21, 2025 22:12 12m 8s
[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
[minor] Merge pull request #300 from tnelson/dev Continuous Integration #993: Commit cd04e08 pushed by tnelson
February 21, 2025 14:32 12m 47s main
main
February 21, 2025 14:32 12m 47s
[minor] Named asserts, various fixes Continuous Integration #992: Pull request #300 opened by tnelson
February 21, 2025 13:33 11m 46s dev
dev
February 21, 2025 13:33 11m 46s
fix: sigs extending Int Continuous Integration #991: Commit 4e859b8 pushed by tnelson
February 20, 2025 15:15 12m 28s dev
dev
February 20, 2025 15:15 12m 28s
[minor] Improve typechecking for pred/fun use, update Sterling (#299) Continuous Integration #990: Commit 0510258 pushed by tnelson
February 19, 2025 20:46 12m 20s dev
dev
February 19, 2025 20:46 12m 20s
pages build and deployment pages-build-deployment #25: by tnelson
February 19, 2025 16:21 44s site
site
February 19, 2025 16:21 44s
[minor] Improve typechecking for pred/fun use, update Sterling Continuous Integration #989: Pull request #299 synchronize by tnelson
February 18, 2025 15:36 11m 43s fix_pred_errors
fix_pred_errors
February 18, 2025 15:36 11m 43s
[minor] Improve typechecking for pred/fun use, update Sterling Continuous Integration #988: Pull request #299 opened by tnelson
February 18, 2025 15:36 12m 21s fix_pred_errors
fix_pred_errors
February 18, 2025 15:36 12m 21s
Adding optional names for assertion (#293) Continuous Integration #987: Commit 1c4339b pushed by tnelson
February 14, 2025 13:27 11m 30s dev
dev
February 14, 2025 13:27 11m 30s
Adding optional names for assertion Continuous Integration #986: Pull request #293 synchronize by sidprasad
February 13, 2025 15:43 12m 51s assertion-naming
assertion-naming
February 13, 2025 15:43 12m 51s
Adding optional names for assertion Continuous Integration #985: Pull request #293 synchronize by sidprasad
February 13, 2025 15:18 11m 54s assertion-naming
assertion-naming
February 13, 2025 15:18 11m 54s
Adding optional names for assertion Continuous Integration #984: Pull request #293 synchronize by sidprasad
February 13, 2025 14:59 11m 9s assertion-naming
assertion-naming
February 13, 2025 14:59 11m 9s