Skip to content

Actions: TREEcg/specification

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #91 from TREEcg/fix-88
Main TREE CG Spec #23: Commit 2445ede pushed by pietercolpaert
November 29, 2023 13:15 46s master
November 29, 2023 13:15 46s
Merge pull request #98 from TREEcg/pietercolpaert-patch-1
Main TREE CG Spec #22: Commit 2ab5cd9 pushed by pietercolpaert
November 29, 2023 12:55 45s master
November 29, 2023 12:55 45s
Update 0-introduction.md
Main TREE CG Spec #21: Pull request #98 opened by pietercolpaert
November 29, 2023 12:55 1m 15s pietercolpaert-patch-1
November 29, 2023 12:55 1m 15s
Fix #88
Main TREE CG Spec #20: Pull request #91 synchronize by pietercolpaert
November 28, 2023 08:55 56s fix-88
November 28, 2023 08:55 56s
Review abstract
Main TREE CG Spec #19: Pull request #93 synchronize by pietercolpaert
November 22, 2023 13:51 1m 1s review-abstract
November 22, 2023 13:51 1m 1s
Review abstract
Main TREE CG Spec #18: Pull request #93 synchronize by pietercolpaert
November 22, 2023 13:51 51s review-abstract
November 22, 2023 13:51 51s
Review abstract
Main TREE CG Spec #17: Pull request #93 opened by pietercolpaert
November 22, 2023 13:11 1m 13s review-abstract
November 22, 2023 13:11 1m 13s
Fix #88
Main TREE CG Spec #16: Pull request #91 opened by pietercolpaert
November 8, 2023 13:04 1m 21s fix-88
November 8, 2023 13:04 1m 21s
pages build and deployment
pages-build-deployment #9: by github-pages bot
November 8, 2023 12:57 32s gh-pages
November 8, 2023 12:57 32s
Fix indentation of member extraction
Main TREE CG Spec #15: Commit 1571cb4 pushed by pietercolpaert
November 8, 2023 12:55 2m 1s master
November 8, 2023 12:55 2m 1s