Skip to content

Actions: tnelson/Forge

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuousIntegration.yml
296 workflow runs
296 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix: better handling for multiple-tests (#245) Continuous Integration #751: Commit 40beae6 pushed by tnelson
February 29, 2024 22:43 12m 26s dev
dev
February 29, 2024 22:43 12m 26s
Fix: better handling for multiple-tests Continuous Integration #750: Pull request #245 synchronize by tnelson
February 29, 2024 22:18 12m 19s fix_test_closerun
fix_test_closerun
February 29, 2024 22:18 12m 19s
Fix: better handling for multiple-tests Continuous Integration #749: Pull request #245 opened by tnelson
February 29, 2024 21:30 11m 36s fix_test_closerun
fix_test_closerun
February 29, 2024 21:30 11m 36s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #748: Pull request #244 synchronize by tnelson
February 28, 2024 17:12 11m 55s feat_typechecks
feat_typechecks
February 28, 2024 17:12 11m 55s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #747: Pull request #244 synchronize by tnelson
February 27, 2024 17:15 12m 28s feat_typechecks
feat_typechecks
February 27, 2024 17:15 12m 28s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #746: Pull request #244 synchronize by tnelson
February 27, 2024 15:49 11m 21s feat_typechecks
feat_typechecks
February 27, 2024 15:49 11m 21s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #745: Pull request #244 synchronize by k-mouline
February 27, 2024 15:28 11m 52s feat_typechecks
feat_typechecks
February 27, 2024 15:28 11m 52s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #744: Pull request #244 synchronize by tnelson
February 27, 2024 15:20 12m 1s feat_typechecks
feat_typechecks
February 27, 2024 15:20 12m 1s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #743: Pull request #244 synchronize by tnelson
February 27, 2024 00:26 10m 55s feat_typechecks
feat_typechecks
February 27, 2024 00:26 10m 55s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #742: Pull request #244 synchronize by tnelson
February 26, 2024 23:32 10m 30s feat_typechecks
feat_typechecks
February 26, 2024 23:32 10m 30s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #741: Pull request #244 synchronize by k-mouline
February 26, 2024 15:17 11m 49s feat_typechecks
feat_typechecks
February 26, 2024 15:17 11m 49s
fix: double-check runs for failing examples need de-duplicated names Continuous Integration #740: Commit e314f80 pushed by tnelson
February 24, 2024 14:33 11m 20s dev
dev
February 24, 2024 14:33 11m 20s
fix: sterling: show Skolem tags, empty instance box message Continuous Integration #739: Commit 59f2dd3 pushed by tnelson
February 24, 2024 13:59 11m 50s dev
dev
February 24, 2024 13:59 11m 50s
Error message if no parent sig scope, but child scopes exceed default… Continuous Integration #738: Commit 3092638 pushed by tnelson
February 23, 2024 16:17 11m 22s dev
dev
February 23, 2024 16:17 11m 22s
Basic type-checking for predicate use, pred/fun syntax location use site fix Continuous Integration #737: Pull request #244 opened by tnelson
February 23, 2024 14:19 14s feat_typechecks
feat_typechecks
February 23, 2024 14:19 14s
Error message if no parent sig scope, but child scopes exceed default Continuous Integration #736: Pull request #243 opened by tnelson
February 23, 2024 14:08 11m 33s fix_unstated_bounds
fix_unstated_bounds
February 23, 2024 14:08 11m 33s
Allowing multiple failing tests in a Forge run (#242) Continuous Integration #735: Commit fc5d61b pushed by tnelson
February 22, 2024 16:50 12m 36s dev
dev
February 22, 2024 16:50 12m 36s
Allowing multiple failing tests in a Forge run Continuous Integration #734: Pull request #242 synchronize by sidprasad
February 22, 2024 15:06 12m 27s feat_multiple_tests
feat_multiple_tests
February 22, 2024 15:06 12m 27s
Allowing multiple failing tests in a Forge run Continuous Integration #733: Pull request #242 synchronize by sidprasad
February 21, 2024 19:16 11m 55s feat_multiple_tests
feat_multiple_tests
February 21, 2024 19:16 11m 55s
Allowing multiple failing tests in a Forge run Continuous Integration #732: Pull request #242 synchronize by sidprasad
February 21, 2024 19:00 12m 12s feat_multiple_tests
feat_multiple_tests
February 21, 2024 19:00 12m 12s
Allowing multiple failing tests in a Forge run Continuous Integration #731: Pull request #242 synchronize by tnelson
February 21, 2024 17:14 11m 47s feat_multiple_tests
feat_multiple_tests
February 21, 2024 17:14 11m 47s
Merge branch 'main' into dev Continuous Integration #730: Commit ed941e1 pushed by tnelson
February 21, 2024 14:58 11m 48s dev
dev
February 21, 2024 14:58 11m 48s
Allowing multiple failing tests in a Forge run Continuous Integration #729: Pull request #242 opened by sidprasad
February 20, 2024 21:10 11m 19s feat_multiple_tests
feat_multiple_tests
February 20, 2024 21:10 11m 19s
Add fixes for predicate and function source locations Continuous Integration #728: Pull request #241 opened by tnelson
February 19, 2024 22:09 11m 27s feat_typechecks_fixlocs
feat_typechecks_fixlocs
February 19, 2024 22:09 11m 27s
Update info.rkt Continuous Integration #727: Commit 3932ac9 pushed by tnelson
February 19, 2024 14:57 11m 40s main
main
February 19, 2024 14:57 11m 40s