Skip to content

Actions: tnelson/Forge

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuousIntegration.yml
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add: test case for pred->fun/fun->pred recursive Continuous Integration #1005: Commit 5d6c27d pushed by tnelson
February 27, 2025 17:03 12m 38s dev
dev
February 27, 2025 17:03 12m 38s
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 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
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] 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
[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
Adding optional names for assertion Continuous Integration #983: Pull request #293 synchronize by sidprasad
February 13, 2025 13:43 11m 17s assertion-naming
assertion-naming
February 13, 2025 13:43 11m 17s
Adding optional names for assertion Continuous Integration #982: Pull request #293 synchronize by sidprasad
February 13, 2025 13:36 11m 23s assertion-naming
assertion-naming
February 13, 2025 13:36 11m 23s
Merge pull request #298 from tnelson/dev Continuous Integration #981: Commit 339a237 pushed by tnelson
February 12, 2025 13:20 11m 29s main
main
February 12, 2025 13:20 11m 29s