Skip to content

Actions: tnelson/Forge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
331 workflow runs
331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Manual version update to 3.4.1 Continuous Integration #808: Commit a75aaef pushed by tnelson
April 2, 2024 00:58 14m 55s main
main
April 2, 2024 00:58 14m 55s
[patch] Fix 1-ary-and wrapped predicate issue with core localization … Continuous Integration #807: Commit 7252bd3 pushed by tnelson
April 2, 2024 00:57 18s main
main
April 2, 2024 00:57 18s
[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
[patch] Fix 1-ary-and wrapped predicate issue with core localization Continuous Integration #806: Pull request #255 opened by tnelson
April 2, 2024 00:41 14m 39s dev
dev
April 2, 2024 00:41 14m 39s
Fix: core top-level wrapping, syntax-location at top-level in "check"… Continuous Integration #805: Commit fb22636 pushed by tnelson
April 2, 2024 00:37 15m 0s dev
dev
April 2, 2024 00:37 15m 0s
Fix: core top-level wrapping, syntax-location at top-level in "check" macro Continuous Integration #804: Pull request #254 synchronize by tnelson
April 2, 2024 00:09 14m 57s fix_core_toplevel_wrapping
fix_core_toplevel_wrapping
April 2, 2024 00:09 14m 57s
Fix: core top-level wrapping, syntax-location at top-level in "check" macro Continuous Integration #803: Pull request #254 opened by tnelson
April 1, 2024 23:34 14m 39s fix_core_toplevel_wrapping
fix_core_toplevel_wrapping
April 1, 2024 23:34 14m 39s
Merge branch 'main' into dev Continuous Integration #802: Commit 6012024 pushed by tnelson
April 1, 2024 13:21 14m 34s dev
dev
April 1, 2024 13:21 14m 34s
Manual update version number Continuous Integration #801: Commit 2c44e46 pushed by tnelson
April 1, 2024 13:17 15m 4s main
main
April 1, 2024 13:17 15m 4s
[minor] March 31 Update to 3.4 (#253) Continuous Integration #800: Commit 070bf4d pushed by tnelson
March 31, 2024 17:10 14m 57s main
main
March 31, 2024 17:10 14m 57s
[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] March 31 Update to 3.4 Continuous Integration #799: Pull request #253 opened by tnelson
March 31, 2024 17:10 14m 5s dev
dev
March 31, 2024 17:10 14m 5s
Merge branch 'main' into dev Continuous Integration #798: Commit 06a8a0c pushed by tnelson
March 31, 2024 17:03 23s dev
dev
March 31, 2024 17:03 23s
Feat granular cores (#252) Continuous Integration #797: Commit a59e07a pushed by tnelson
March 31, 2024 16:36 14m 26s dev
dev
March 31, 2024 16:36 14m 26s
Feat granular cores Continuous Integration #796: Pull request #252 opened by tnelson
March 29, 2024 14:46 15m 56s feat_granular_cores
feat_granular_cores
March 29, 2024 14:46 15m 56s
feat: clean up core display so that VSCode can highlight matches Continuous Integration #795: Commit 1945d84 pushed by tnelson
March 22, 2024 14:49 14m 36s dev
dev
March 22, 2024 14:49 14m 36s
Infer type of atoms sent from evaluator (#249) Continuous Integration #794: Commit 7748834 pushed by tnelson
March 20, 2024 12:21 14m 29s dev
dev
March 20, 2024 12:21 14m 29s
Infer type of atoms sent from evaluator Continuous Integration #793: Pull request #249 opened by tnelson
March 19, 2024 20:49 14m 27s fix_infer_atoms
fix_infer_atoms
March 19, 2024 20:49 14m 27s
Fix missing error check in AST for expr->intexpr conversion; add new … Continuous Integration #792: Commit 0c18686 pushed by tnelson
March 17, 2024 16:10 14m 21s dev
dev
March 17, 2024 16:10 14m 21s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #791: Pull request #247 synchronize by tnelson
March 17, 2024 15:16 14m 7s fix_ast_errorcheck
fix_ast_errorcheck
March 17, 2024 15:16 14m 7s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #790: Pull request #247 synchronize by tnelson
March 17, 2024 15:07 2m 23s fix_ast_errorcheck
fix_ast_errorcheck
March 17, 2024 15:07 2m 23s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #789: Pull request #247 synchronize by tnelson
March 17, 2024 14:57 17s fix_ast_errorcheck
fix_ast_errorcheck
March 17, 2024 14:57 17s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #788: Pull request #247 synchronize by tnelson
March 17, 2024 14:40 25s fix_ast_errorcheck
fix_ast_errorcheck
March 17, 2024 14:40 25s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #787: Pull request #247 synchronize by tnelson
March 17, 2024 12:37 14m 12s fix_ast_errorcheck
fix_ast_errorcheck
March 17, 2024 12:37 14m 12s
Fix missing error check in AST for expr->intexpr conversion; add new test modality Continuous Integration #786: Pull request #247 synchronize by tnelson
March 16, 2024 17:00 13m 59s fix_ast_errorcheck
fix_ast_errorcheck
March 16, 2024 17:00 13m 59s