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

Prototype SMT backend Continuous Integration #916: Pull request #273 synchronize by tnelson
November 19, 2024 20:54 12m 9s feat_smt
feat_smt
November 19, 2024 20:54 12m 9s
Prototype SMT backend Continuous Integration #915: Pull request #273 synchronize by tnelson
November 19, 2024 17:27 12m 36s feat_smt
feat_smt
November 19, 2024 17:27 12m 36s
Prototype SMT backend Continuous Integration #914: Pull request #273 synchronize by tnelson
November 19, 2024 16:26 12m 35s feat_smt
feat_smt
November 19, 2024 16:26 12m 35s
Fix update check (#279) Continuous Integration #913: Commit ef3cabb pushed by tnelson
October 29, 2024 13:51 12m 24s main
main
October 29, 2024 13:51 12m 24s
Fix update check Continuous Integration #912: Pull request #279 opened by k-mouline
October 28, 2024 20:17 13m 30s fix_update_check
fix_update_check
October 28, 2024 20:17 13m 30s
manually increase patch version Continuous Integration #911: Commit 4050480 pushed by tnelson
October 25, 2024 22:28 12m 45s main
main
October 25, 2024 22:28 12m 45s
Version checking and handling added (#278) Continuous Integration #910: Commit a48a765 pushed by tnelson
October 25, 2024 19:10 13m 19s main
main
October 25, 2024 19:10 13m 19s
Version checking and handling added Continuous Integration #909: Pull request #278 synchronize by k-mouline
October 25, 2024 16:52 13m 12s feat_update_check
feat_update_check
October 25, 2024 16:52 13m 12s
manual version update 3.5.1 Continuous Integration #908: Commit 8822b45 pushed by tnelson
October 25, 2024 01:26 12m 19s main
main
October 25, 2024 01:26 12m 19s
Version checking and handling added Continuous Integration #907: Pull request #278 synchronize by tnelson
October 25, 2024 01:23 3m 44s feat_update_check
feat_update_check
October 25, 2024 01:23 3m 44s
Version checking and handling added Continuous Integration #906: Pull request #278 opened by k-mouline
October 24, 2024 23:52 13m 32s feat_update_check
feat_update_check
October 24, 2024 23:52 13m 32s
fix: resolve CI snag with Racket version without merging all dev Continuous Integration #905: Commit 8ad7e38 pushed by tnelson
October 23, 2024 14:25 13m 24s main
main
October 23, 2024 14:25 13m 24s
Change misleading is theorem to is checked (#276) Continuous Integration #904: Commit 9e817d5 pushed by tnelson
October 21, 2024 21:29 13m 5s dev
dev
October 21, 2024 21:29 13m 5s
Change misleading is theorem to is checked Continuous Integration #903: Pull request #276 synchronize by tnelson
October 21, 2024 20:27 12m 12s feat_is_checked
feat_is_checked
October 21, 2024 20:27 12m 12s
Change misleading is theorem to is checked Continuous Integration #902: Pull request #276 opened by tnelson
October 21, 2024 20:20 1m 29s feat_is_checked
feat_is_checked
October 21, 2024 20:20 1m 29s
minor: reachable tests readability Continuous Integration #901: Commit 98bb1a0 pushed by tnelson
October 21, 2024 14:29 2m 0s dev
dev
October 21, 2024 14:29 2m 0s
add: relational seq library tests Continuous Integration #900: Commit c0b36a1 pushed by tnelson
October 19, 2024 14:02 2m 14s dev
dev
October 19, 2024 14:02 2m 14s
Prototype SMT backend Continuous Integration #899: Pull request #273 synchronize by k-mouline
October 17, 2024 07:16 14m 7s feat_smt
feat_smt
October 17, 2024 07:16 14m 7s
Prototype SMT backend Continuous Integration #898: Pull request #273 synchronize by tnelson
October 15, 2024 15:15 8m 58s feat_smt
feat_smt
October 15, 2024 15:15 8m 58s
Prototype SMT backend Continuous Integration #897: Pull request #273 synchronize by tnelson
October 15, 2024 15:13 52s feat_smt
feat_smt
October 15, 2024 15:13 52s
Update README.md (fix formatting) Continuous Integration #896: Commit fca746c pushed by tnelson
October 1, 2024 22:10 1m 34s main
main
October 1, 2024 22:10 1m 34s
Add additional comments, windows compatibility, to crypto DSL (#275) Continuous Integration #895: Commit 43c3696 pushed by tnelson
October 1, 2024 22:07 20s main
main
October 1, 2024 22:07 20s
Add additional comments, windows compatibility, to crypto DSL Continuous Integration #894: Pull request #275 opened by tnelson
October 1, 2024 22:06 39s feat_crypto_frg
feat_crypto_frg
October 1, 2024 22:06 39s
Prototype SMT backend Continuous Integration #893: Pull request #273 synchronize by tnelson
October 1, 2024 13:34 13m 38s feat_smt
feat_smt
October 1, 2024 13:34 13m 38s
Prototype SMT backend Continuous Integration #892: Pull request #273 synchronize by tnelson
September 29, 2024 14:06 12m 49s feat_smt
feat_smt
September 29, 2024 14:06 12m 49s