Skip to content

Actions: tnelson/Forge

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

Satisfiability Assertions
Continuous Integration #847: Pull request #263 synchronize by sidprasad
July 15, 2024 17:32 15m 14s 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
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
[minor] Command-line support
Semantic Version Updater #63: Pull request #262 closed by tnelson
June 17, 2024 16:59 22s dev
dev
June 17, 2024 16:59 22s
Add command-line argument support via racket (#261)
Continuous Integration #843: Commit a7cdf63 pushed by tnelson
June 17, 2024 16:59 25s 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
Add command-line argument support via racket (#261)
Continuous Integration #841: Commit a7cdf63 pushed by tnelson
June 17, 2024 16:25 28s dev
dev
June 17, 2024 16:25 28s
Github detection of LICENSE file
Continuous Integration #840: Commit c2f0b83 pushed by tnelson
June 17, 2024 16:24 14s dev
dev
June 17, 2024 16:24 14s
add LICENSE file
Continuous Integration #839: Commit 1fbb534 pushed by tnelson
June 17, 2024 16:21 18s dev
dev
June 17, 2024 16:21 18s
Add command-line argument support via racket
Continuous Integration #838: Pull request #261 synchronize by tnelson
June 14, 2024 15:50 16m 0s feat_cl_args
June 14, 2024 15:50 16m 0s
Add command-line argument support via racket
Continuous Integration #837: Pull request #261 opened by tnelson
June 13, 2024 19:10 5m 34s feat_cl_args
June 13, 2024 19:10 5m 34s
pages build and deployment
pages-build-deployment #22: by tnelson
June 12, 2024 17:37 54s
June 12, 2024 17:37 54s
manual merge dev into main; update readme, cleanup
Continuous Integration #836: Commit 9a36f9a pushed by tnelson
June 8, 2024 13:50 14m 24s dev
dev
June 8, 2024 13:50 14m 24s
manual merge dev into main; update readme, cleanup
Continuous Integration #835: Commit 9a36f9a pushed by tnelson
June 8, 2024 13:46 14m 56s main
June 8, 2024 13:46 14m 56s
fix: itemize basic examples
Continuous Integration #834: Commit e3e67e0 pushed by tnelson
June 8, 2024 13:43 14m 39s dev
dev
June 8, 2024 13:43 14m 39s
froglet in-progress (#194)
Continuous Integration #833: Commit 54db873 pushed by bennn
June 2, 2024 21:32 14m 50s dev
dev
June 2, 2024 21:32 14m 50s
froglet in-progress
Continuous Integration #832: Pull request #194 synchronize by bennn
May 31, 2024 21:57 15m 0s bennn:tf4
May 31, 2024 21:57 15m 0s
froglet in-progress
Continuous Integration #831: Pull request #194 synchronize by bennn
May 31, 2024 19:30 15m 1s bennn:tf4
May 31, 2024 19:30 15m 1s
froglet in-progress
Continuous Integration #830: Pull request #194 synchronize by bennn
May 31, 2024 19:09 14m 47s bennn:tf4
May 31, 2024 19:09 14m 47s
froglet in-progress
Continuous Integration #829: Pull request #194 synchronize by bennn
May 31, 2024 19:04 14m 3s bennn:tf4
May 31, 2024 19:04 14m 3s
[patch] Fix an error message in partial-instance processing (#260)
Continuous Integration #828: Commit 59156a4 pushed by tnelson
May 31, 2024 17:28 14m 58s main
May 31, 2024 17:28 14m 58s
[patch] Fix an error message in partial-instance processing
Semantic Version Updater #62: Pull request #260 closed by tnelson
May 31, 2024 17:28 21s dev
dev
May 31, 2024 17:28 21s
[patch] Fix an error message in partial-instance processing
Continuous Integration #827: Pull request #260 opened by tnelson
May 31, 2024 16:25 15m 12s dev
dev
May 31, 2024 16:25 15m 12s
fix: error in malformed inst case, some cleanup
Continuous Integration #826: Commit ab62563 pushed by tnelson
May 31, 2024 16:23 23s dev
dev
May 31, 2024 16:23 23s