Default Branch
|
main
TirSystem/git-workflows: Publish wiki / publish-wiki (push) Skipped
TirSystem/git-workflows: Release / release (pull_request) Successful in 26s
TirSystem/git-workflows: Validate / validate (pull_request) Successful in 42s
TirSystem/git-workflows: OpenGrep / opengrep (pull_request) Successful in 5m47s
TirSystem/git-workflows: Sync GitHub mirror metadata / sync-metadata (push) Successful in 14s
TirSystem/git-workflows: Publish accepted milestones / publish (push) Successful in 59s
TirSystem/git-workflows: Validate / validate (push) Successful in 46s
TirSystem/git-workflows: OpenGrep / opengrep (push) Successful in 5m25s
c9e39f0445 · · Updated |
Branches
|
wiki-published-check
Deleted by Tirsvad |
#27 Merged | ||
|
mil-004-docs-screenshots-wiki
Deleted by Tirsvad |
#26 Merged | ||
|
mil-003-higher-lower-game
Deleted by Tirsvad |
#25 Merged | ||
|
mil-002-lecture-steps
Deleted by Tirsvad |
#24 Merged | ||
|
mil-001-project-setup
Deleted by Tirsvad |
#23 Merged | ||
|
baseline-plan
Deleted by Tirsvad |
#1 Merged |