Skip to content

Actions: tnelson/Forge

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuousIntegration.yml
288 workflow runs
288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comparison pull request Continuous Integration #866: Pull request #265 synchronize by tnelson
August 1, 2024 14:55 16m 12s feat_smt_int
feat_smt_int
August 1, 2024 14:55 16m 12s
feat_smt_new_int into feat_smt_int Continuous Integration #865: Pull request #266 synchronize by tnelson
August 1, 2024 14:55 15m 12s feat_smt_new_int
feat_smt_new_int
August 1, 2024 14:55 15m 12s
Merge branch 'main' into dev Continuous Integration #864: Commit a0ab5e4 pushed by tnelson
August 1, 2024 13:05 15m 39s dev
dev
August 1, 2024 13:05 15m 39s
improve: error message if model uses a pred with too-few arguments Continuous Integration #863: Commit 9156956 pushed by tnelson
July 31, 2024 17:38 15m 42s dev
dev
July 31, 2024 17:38 15m 42s
add: annotation to nodes created for automatic int/expr conversion Continuous Integration #862: Commit ea51f11 pushed by tnelson
July 23, 2024 18:21 16m 28s dev
dev
July 23, 2024 18:21 16m 28s
don't create trivial and/or AST nodes; tests for Skolemization Continuous Integration #861: Commit d4c19e3 pushed by tnelson
July 23, 2024 18:09 15m 3s dev
dev
July 23, 2024 18:09 15m 3s
update sterling: prototype rename atoms, prototype magic layout basics Continuous Integration #860: Commit e12f2e1 pushed by tnelson
July 22, 2024 17:07 14m 45s dev
dev
July 22, 2024 17:07 14m 45s
fix: don't send disambiguating suffix to Kodkod, cleanup Skolem var n… Continuous Integration #859: Commit f43ddc9 pushed by tnelson
July 22, 2024 17:01 15m 1s dev
dev
July 22, 2024 17:01 15m 1s
add: no_overflow option, which enables Kodkod's overflow-prevention f… Continuous Integration #858: Commit e176c7f pushed by tnelson
July 20, 2024 20:05 16m 2s dev
dev
July 20, 2024 20:05 16m 2s
Comparison pull request Continuous Integration #857: Pull request #265 synchronize by tnelson
July 19, 2024 15:56 15m 14s feat_smt_int
feat_smt_int
July 19, 2024 15:56 15m 14s
Comparison pull request Continuous Integration #856: Pull request #265 synchronize by tnelson
July 19, 2024 15:46 15m 42s feat_smt_int
feat_smt_int
July 19, 2024 15:46 15m 42s
Comparison pull request Continuous Integration #855: Pull request #265 synchronize by tnelson
July 19, 2024 15:00 15m 25s feat_smt_int
feat_smt_int
July 19, 2024 15:00 15m 25s
Comparison pull request Continuous Integration #854: Pull request #265 synchronize by tnelson
July 19, 2024 14:46 15m 23s feat_smt_int
feat_smt_int
July 19, 2024 14:46 15m 23s
Comparison pull request Continuous Integration #853: Pull request #265 synchronize by tnelson
July 19, 2024 14:30 15m 15s feat_smt_int
feat_smt_int
July 19, 2024 14:30 15m 15s
Satisfiability Assertions (#263) Continuous Integration #852: Commit 8987190 pushed by sidprasad
July 19, 2024 14:29 15m 8s main
main
July 19, 2024 14:29 15m 8s
Comparison pull request Continuous Integration #851: Pull request #265 opened by k-mouline
July 19, 2024 14:11 17s feat_smt_int
feat_smt_int
July 19, 2024 14:11 17s
Satisfiability Assertions Continuous Integration #850: Pull request #263 synchronize by tnelson
July 18, 2024 14:50 15m 23s assert-sat
assert-sat
July 18, 2024 14:50 15m 23s
Satisfiability Assertions Continuous Integration #849: Pull request #263 synchronize by sidprasad
July 17, 2024 21:03 15m 16s assert-sat
assert-sat
July 17, 2024 21:03 15m 16s
add: enrich collector to update context Continuous Integration #848: Pull request #264 opened by tnelson
July 17, 2024 14:31 16m 45s feat_ints_collector_context
feat_ints_collector_context
July 17, 2024 14:31 16m 45s
Satisfiability Assertions Continuous Integration #847: Pull request #263 synchronize by sidprasad
July 15, 2024 17:32 15m 14s assert-sat
assert-sat
July 15, 2024 17:32 15m 14s
Satisfiability Assertions Continuous Integration #846: Pull request #263 opened by sidprasad
July 15, 2024 17:03 16m 30s assert-sat
assert-sat
July 15, 2024 17:03 16m 30s
add: annotations field to nodeinfo struct Continuous Integration #845: Commit 8d86b19 pushed by tnelson
July 8, 2024 15:22 15m 40s dev
dev
July 8, 2024 15:22 15m 40s
update: Sterling to fix Polygon line drawing Continuous Integration #844: Commit 890f07a pushed by tnelson
June 19, 2024 18:14 14m 51s dev
dev
June 19, 2024 18:14 14m 51s
Add command-line argument support via racket (#261) Continuous Integration #843: Commit a7cdf63 pushed by tnelson
June 17, 2024 16:59 25s main
main
June 17, 2024 16:59 25s
[minor] Command-line support Continuous Integration #842: Pull request #262 opened by tnelson
June 17, 2024 16:26 16m 34s dev
dev
June 17, 2024 16:26 16m 34s