Skip to content

Actions: rzk-lang/vscode-rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
v0.6.1 .github/workflows/publish-on-release.yml #15: Release v0.6.1 published by fizruk
38s
38s
Merge pull request #80 from rzk-lang/release-v0.6.1 Compile the extension #118: Commit 10a267b pushed by fizruk
28s main
main
28s
Release v0.6.1 Compile the extension #117: Pull request #80 opened by fizruk
29s release-v0.6.1
release-v0.6.1
29s
v0.6.0 .github/workflows/publish-on-release.yml #14: Release v0.6.0 published by fizruk
46s
46s
Merge pull request #79 from rzk-lang/release-v0.6.0 Compile the extension #116: Commit e6b73e6 pushed by fizruk
27s main
main
27s
Release v0.6.0 Compile the extension #115: Pull request #79 opened by fizruk
24s release-v0.6.0
release-v0.6.0
24s
Merge pull request #77 from rzk-lang/postulate-highlight Compile the extension #114: Commit f16dc8d pushed by fizruk
27s main
main
27s
Merge pull request #74 from LIshy2/main Compile the extension #113: Commit 3539890 pushed by fizruk
26s main
main
26s
Modal syntax update + cubical interval Compile the extension #112: Pull request #74 synchronize by fizruk
28s LIshy2:main
LIshy2:main
28s
Highlight postulates and assumptions distinctly, by severity Compile the extension #111: Pull request #77 synchronize by fizruk
25s postulate-highlight
postulate-highlight
25s
Merge pull request #78 from rzk-lang/syntax-v0.11.0 Compile the extension #110: Commit ceca97a pushed by fizruk
31s main
main
31s
Update the TextMate grammar for rzk v0.11.0 Compile the extension #109: Pull request #78 opened by fizruk
30s syntax-v0.11.0
syntax-v0.11.0
30s
Highlight postulates and assumptions distinctly, by severity Compile the extension #108: Pull request #77 opened by fizruk
25s postulate-highlight
postulate-highlight
25s
v0.5.0 .github/workflows/publish-on-release.yml #13: Release v0.5.0 published by fizruk
50s
50s
Merge pull request #76 from rzk-lang/pin-rzk-0.9.2 Compile the extension #107: Commit 11f6608 pushed by fizruk
24s main
main
24s
Pin Rzk v0.9.2 Compile the extension #106: Pull request #76 opened by fizruk
30s pin-rzk-0.9.2
pin-rzk-0.9.2
30s
Merge pull request #75 from rzk-lang/install-rzk-better-logs Compile the extension #105: Commit cdfe624 pushed by fizruk
27s main
main
27s
Better logs when installing Compile the extension #104: Pull request #75 opened by fizruk
26s install-rzk-better-logs
install-rzk-better-logs
26s
Modal syntax update + cubical interval Compile the extension #103: Pull request #74 synchronize by LIshy2
34s LIshy2:main
LIshy2:main
34s
Modal syntax update + cubical interval Compile the extension #102: Pull request #74 synchronize by LIshy2
30s LIshy2:main
LIshy2:main
30s
Modal syntax update + cubical interval Compile the extension #101: Pull request #74 opened by LIshy2
29s LIshy2:main
LIshy2:main
29s
v0.4.6 .github/workflows/publish-on-release.yml #12: Release v0.4.6 published by fizruk
36s
36s
Add more control over Rzk update checks, bump version, update changelog Compile the extension #100: Commit 7b90790 pushed by fizruk
25s main
main
25s
.github/workflows/publish-on-release.yml .github/workflows/publish-on-release.yml #11: Manually run by fizruk
1m 0s v0.4.6
v0.4.6
1m 0s
.github/workflows/publish-on-release.yml .github/workflows/publish-on-release.yml #10: published by fizruk
37s
37s