Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
In this repository
All GitHub Enterprise
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub Enterprise
↵
Jump to
↵
In this organization
All GitHub Enterprise
↵
Jump to
↵
In this repository
All GitHub Enterprise
↵
Jump to
↵
Sign in
Appearance settings
Resetting focus
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 }}
idatt2104-crdt-pyotrk
/
crdt
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
0
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security
Insights
CI
add release workflow with per-platform archives
#87
Sign in to view logs
Sign in to view logs
Usage
add release workflow with per-platform archives
add release workflow with per-platform archives
#87
Uh oh!
There was an error while loading.
Please reload this page
.
Summary
Jobs
build-linux
build-windows
build-macos
build-demo
build-docs
release
deploy-docs
Run details
Workflow file
Usage
Workflow file
Run time
Learn about OS pricing on GitHub Actions
Job
Run time
build-windows
7m 53s
build-demo
2m 45s
build-docs
3m 45s
build-linux
2m 32s
build-macos
3m 32s
deploy-docs
0s
release
8s
20m 35s
You can’t perform that action at this time.