Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
sfu-rsl
/
leaf
Public
Notifications
You must be signed in to change notification settings
Fork
2
Star
3
Code
Issues
3
Pull requests
1
Discussions
Actions
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Security and quality
Insights
Actions: sfu-rsl/leaf
Actions
All workflows
Workflows
Deploy the book
Deploy the book
Test
Test
Show more workflows...
Management
Caches
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
81 workflow runs
81 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Update artifact upload path for GitHub Pages
Deploy the book
#32:
Commit
545295a
pushed by
momvart
20s
main
main
20s
View workflow file
Update artifact upload path for GitHub Pages
Test
#120:
Commit
545295a
pushed by
momvart
4m 53s
main
main
4m 53s
View workflow file
Update artifact upload path for GitHub Pages
Test
#119:
Pull request
#43
opened by
momvart
4m 43s
sfu-rsl:566-fix_ci
sfu-rsl:566-fix_ci
4m 43s
View #43
View workflow file
Fix book deployment CI and logo alignment
Deploy the book
#31:
Commit
2af2bf5
pushed by
momvart
17s
main
main
17s
View workflow file
Fix book deployment CI and logo alignment
Test
#118:
Commit
2af2bf5
pushed by
momvart
4m 32s
main
main
4m 32s
View workflow file
Fix book deployment CI and logo alignment
Test
#117:
Pull request
#42
opened by
momvart
4m 23s
sfu-rsl:566-docs3
sfu-rsl:566-docs3
4m 23s
View #42
View workflow file
Add publications section
Deploy the book
#30:
Commit
ffdcddf
pushed by
momvart
19s
main
main
19s
View workflow file
Add publications section
Test
#116:
Commit
ffdcddf
pushed by
momvart
5m 31s
main
main
5m 31s
View workflow file
#566 Improve documentation and Leaf Book
Test
#115:
Pull request
#41
synchronize by
momvart
4m 34s
sfu-rsl:566-docs2
sfu-rsl:566-docs2
4m 34s
View #41
View workflow file
#566 Improve documentation and Leaf Book
Test
#114:
Pull request
#41
synchronize by
momvart
5m 14s
sfu-rsl:566-docs2
sfu-rsl:566-docs2
5m 14s
View #41
View workflow file
#566 Improve documentation and Leaf Book
Test
#113:
Pull request
#41
opened by
momvart
4m 14s
sfu-rsl:566-docs2
sfu-rsl:566-docs2
4m 14s
View #41
View workflow file
Upgrade z3 to the latest version
Deploy the book
#29:
Commit
22d4fd5
pushed by
momvart
16s
main
main
16s
View workflow file
Upgrade z3 to the latest version
Test
#112:
Commit
22d4fd5
pushed by
momvart
5m 52s
main
main
5m 52s
View workflow file
#564 Update Z3 and devcontainer configuration
Test
#111:
Pull request
#40
opened by
momvart
5m 50s
sfu-rsl:564-z3
sfu-rsl:564-z3
5m 50s
View #40
View workflow file
Set license of the subpackages
Deploy the book
#28:
Commit
6a5f719
pushed by
momvart
42s
main
main
42s
View workflow file
Set license of the subpackages
Test
#110:
Commit
6a5f719
pushed by
momvart
5m 34s
main
main
5m 34s
View workflow file
#566 Update and revise docs with the recent changes
Test
#109:
Pull request
#39
opened by
momvart
5m 36s
sfu-rsl:566-docs
sfu-rsl:566-docs
5m 36s
View #39
View workflow file
Bump up version to
0.3.0
Test
#108:
Commit
ba9cb75
pushed by
momvart
4m 45s
main
main
4m 45s
View workflow file
Bump up version to
0.3.0
Deploy the book
#27:
Commit
ba9cb75
pushed by
momvart
20s
main
main
20s
View workflow file
#565 Remove unused stuff and restructure projects
Test
#107:
Pull request
#38
synchronize by
momvart
4m 34s
sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
4m 34s
View #38
View workflow file
#565 Remove unused stuff and restructure projects
Test
#106:
Pull request
#38
synchronize by
momvart
54s
sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
54s
View #38
View workflow file
#565 Remove unused stuff and restructure projects
Test
#105:
Pull request
#38
opened by
momvart
4m 42s
sfu-rsl:565-clean_up
sfu-rsl:565-clean_up
4m 42s
View #38
View workflow file
Update dependencies
Deploy the book
#26:
Commit
70930ad
pushed by
momvart
20s
main
main
20s
View workflow file
Update dependencies
Test
#104:
Commit
70930ad
pushed by
momvart
8m 11s
main
main
8m 11s
View workflow file
#563 Upgrade toolchain to the latest version
Test
#103:
Pull request
#37
synchronize by
momvart
9m 37s
sfu-rsl:563-toolchain_upgrade
sfu-rsl:563-toolchain_upgrade
9m 37s
View #37
View workflow file
Previous
1
2
3
4
Next
You can’t perform that action at this time.