Skip to content

Actions: TREEcg/specification

All workflows

Actions

Loading...

Showing runs from all workflows
75 workflow runs
75 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #21: by github-pages bot
April 24, 2024 12:18 27s
April 24, 2024 12:18 27s
pages build and deployment
pages-build-deployment #20: by github-pages bot
April 24, 2024 12:18 13s
April 24, 2024 12:18 13s
Merge pull request #110 from TREEcg/rename-shape-topologies
Build Shape Topologies spec #2: Commit 4e2027a pushed by pietercolpaert
April 24, 2024 12:17 53s master
April 24, 2024 12:17 53s
Merge pull request #110 from TREEcg/rename-shape-topologies
Build TREE spec #9: Commit 4e2027a pushed by pietercolpaert
April 24, 2024 12:17 1m 0s master
April 24, 2024 12:17 1m 0s
Splitting off and rewriting the Discovery specification
Build TREE spec #8: Pull request #111 opened by pietercolpaert
April 24, 2024 11:53 39s split-discovery
April 24, 2024 11:53 39s
Splitting off and rewriting the Discovery specification
Build Shape Templates #7: Pull request #111 opened by pietercolpaert
April 24, 2024 11:53 1m 12s split-discovery
April 24, 2024 11:53 1m 12s
Rename shape templates to shape topologies
Build Shape Topologies spec #1: Pull request #110 opened by pietercolpaert
April 24, 2024 11:25 1m 14s rename-shape-topologies
April 24, 2024 11:25 1m 14s
Rename shape templates to shape topologies
Build TREE spec #7: Pull request #110 opened by pietercolpaert
April 24, 2024 11:25 53s rename-shape-topologies
April 24, 2024 11:25 53s
pages build and deployment
pages-build-deployment #19: by github-pages bot
April 3, 2024 13:26 5m 32s
April 3, 2024 13:26 5m 32s
pages build and deployment
pages-build-deployment #18: by github-pages bot
April 3, 2024 13:26 5m 37s
April 3, 2024 13:26 5m 37s
Merge pull request #109 from TREEcg/fix-85
Build Shape Templates #6: Commit a08f64c pushed by pietercolpaert
April 3, 2024 13:23 3m 25s master
April 3, 2024 13:23 3m 25s
Merge pull request #109 from TREEcg/fix-85
Build TREE spec #6: Commit a08f64c pushed by pietercolpaert
April 3, 2024 13:23 2m 49s master
April 3, 2024 13:23 2m 49s
Fixing #85: it’s a search tree now and not a graph and new meaning to tree:view
Build TREE spec #5: Pull request #109 synchronize by pietercolpaert
April 3, 2024 13:17 3m 23s fix-85
April 3, 2024 13:17 3m 23s
Fixing #85: it’s a search tree now and not a graph and new meaning to tree:view
Build Shape Templates #5: Pull request #109 synchronize by pietercolpaert
April 3, 2024 13:17 2m 33s fix-85
April 3, 2024 13:17 2m 33s
pages build and deployment
pages-build-deployment #17: by github-pages bot
April 3, 2024 12:30 30s
April 3, 2024 12:30 30s
pages build and deployment
pages-build-deployment #16: by github-pages bot
April 3, 2024 12:30 22s
April 3, 2024 12:30 22s
Merge pull request #103 from TREEcg/feat/redirects
Build Shape Templates #4: Commit f8418d0 pushed by pietercolpaert
April 3, 2024 12:29 1m 23s master
April 3, 2024 12:29 1m 23s
Merge pull request #103 from TREEcg/feat/redirects
Build TREE spec #4: Commit f8418d0 pushed by pietercolpaert
April 3, 2024 12:29 1m 3s master
April 3, 2024 12:29 1m 3s
pages build and deployment
pages-build-deployment #15: by github-pages bot
April 3, 2024 12:24 29s
April 3, 2024 12:24 29s
pages build and deployment
pages-build-deployment #14: by github-pages bot
April 3, 2024 12:23 23s
April 3, 2024 12:23 23s
Merged
Build TREE spec #3: Commit 9f142c1 pushed by pietercolpaert
April 3, 2024 12:22 1m 18s master
April 3, 2024 12:22 1m 18s
Merged
Build Shape Templates #3: Commit 9f142c1 pushed by pietercolpaert
April 3, 2024 12:22 58s master
April 3, 2024 12:22 58s
pages build and deployment
pages-build-deployment #13: by github-pages bot
April 3, 2024 12:18 29s
April 3, 2024 12:18 29s
Merge pull request #107 from TREEcg/fix-89
Main TREE CG Spec #38: Commit 7bdd5b3 pushed by pietercolpaert
April 3, 2024 12:17 1m 17s master
April 3, 2024 12:17 1m 17s
First split of the shape template algorithm from the core spec
Build Shape Templates #2: Pull request #105 synchronize by pietercolpaert
April 2, 2024 18:40 1m 18s split-specs
April 2, 2024 18:40 1m 18s