Skip to content

Actions: tnelson/Forge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Froglet Error Message Changes Continuous Integration #1015: Pull request #306 opened by shoujohnny
April 29, 2025 17:21 Action required shoujohnny:main
shoujohnny:main
April 29, 2025 17:21 Action required
[minor] Add integer/set optimization to the surface language Continuous Integration #1014: Pull request #305 opened by tnelson
April 25, 2025 12:49 13m 33s dev
dev
April 25, 2025 12:49 13m 33s
Merge branch 'main' into dev Continuous Integration #1013: Commit c6688a2 pushed by tnelson
April 25, 2025 12:48 13m 5s dev
dev
April 25, 2025 12:48 13m 5s
Feat int minimization (#303) Continuous Integration #1012: Commit 8a0e270 pushed by tnelson
April 25, 2025 12:46 12m 54s dev
dev
April 25, 2025 12:46 12m 54s
Feat int minimization Continuous Integration #1011: Pull request #303 opened by tnelson
April 24, 2025 12:27 13m 8s feat_int_minimization
feat_int_minimization
April 24, 2025 12:27 13m 8s
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backe… Continuous Integration #1010: Commit 688ea1f pushed by tnelson
March 25, 2025 13:26 12m 38s dev
dev
March 25, 2025 13:26 12m 38s
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backend Continuous Integration #1009: Pull request #302 synchronize by tnelson
March 23, 2025 13:47 11m 58s fix_filename_chars
fix_filename_chars
March 23, 2025 13:47 11m 58s
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backend Continuous Integration #1008: Pull request #302 synchronize by tnelson
March 23, 2025 12:43 11m 25s fix_filename_chars
fix_filename_chars
March 23, 2025 12:43 11m 25s
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backend Continuous Integration #1007: Pull request #302 synchronize by tnelson
March 23, 2025 12:33 12m 22s fix_filename_chars
fix_filename_chars
March 23, 2025 12:33 12m 22s
[patch] Handle spaces and quotes in filenames w.r.t. run IDs on backend Continuous Integration #1006: Pull request #302 opened by tnelson
March 9, 2025 14:16 12m 2s fix_filename_chars
fix_filename_chars
March 9, 2025 14:16 12m 2s
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 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