Skip to content

Actions: creusot-rs/creusot-ide

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lockfile Build and test #28: Commit 5546a1d pushed by Lysxia
January 22, 2025 10:38 8m 18s main
main
January 22, 2025 10:38 8m 18s
Update lsp dependency and more syntax highlighting Build and test #27: Pull request #24 synchronize by Lysxia
January 22, 2025 10:32 5m 11s dev
dev
January 22, 2025 10:32 5m 11s
Update lsp dependency and more syntax highlighting Build and test #26: Pull request #24 synchronize by Lysxia
January 22, 2025 10:27 5m 7s dev
dev
January 22, 2025 10:27 5m 7s
Update lsp dependency and more syntax highlighting Build and test #25: Pull request #24 opened by Lysxia
January 22, 2025 09:09 10m 0s dev
dev
January 22, 2025 09:09 10m 0s
syntax: highlight function calls, namespaces, self, let, and more ope… Build and test #24: Commit e8ef37c pushed by Lysxia
December 30, 2024 17:14 5m 30s main
main
December 30, 2024 17:14 5m 30s
syntax: highlight function calls, namespaces, self, let, and more operators Build and test #23: Pull request #23 opened by Lysxia
December 30, 2024 17:08 6m 11s hl-more
hl-more
December 30, 2024 17:08 6m 11s
syntax: highlight 'pure' Build and test #22: Commit 1e3de9c pushed by Lysxia
December 30, 2024 10:38 5m 31s main
main
December 30, 2024 10:38 5m 31s
syntax: highlight 'pure' Build and test #21: Pull request #22 opened by Lysxia
December 30, 2024 10:31 6m 46s hl-pure
hl-pure
December 30, 2024 10:31 6m 46s
syntax: Highlight &mut in pearlite Build and test #20: Commit 5205203 pushed by Lysxia
December 30, 2024 09:42 5m 23s main
main
December 30, 2024 09:42 5m 23s
Add license; minor syntax highlighting updates Build and test #19: Pull request #21 opened by Lysxia
December 30, 2024 09:36 5m 54s license-and-hl
license-and-hl
December 30, 2024 09:36 5m 54s
Highlighting fixes (#20) Build and test #18: Commit b437e95 pushed by Lysxia
December 28, 2024 08:40 5m 30s main
main
December 28, 2024 08:40 5m 30s
Highlighting fixes Build and test #17: Pull request #20 opened by Lysxia
December 28, 2024 08:35 5m 24s fix-highlighting
fix-highlighting
December 28, 2024 08:35 5m 24s
ci: Fix release script with new project root Build and test #16: Commit 971b8a7 pushed by Lysxia
December 24, 2024 21:10 5m 53s main
main
December 24, 2024 21:10 5m 53s
ci: Fix release script with new project root Build and test #15: Pull request #19 synchronize by Lysxia
December 24, 2024 21:04 5m 14s release-main
release-main
December 24, 2024 21:04 5m 14s
ci: Fix release script with new project root Build and test #14: Pull request #19 opened by Lysxia
December 24, 2024 21:03 5m 17s release-main
release-main
December 24, 2024 21:03 5m 17s
Move extension configuration to the root Build and test #13: Commit 8c3052c pushed by Lysxia
December 24, 2024 13:10 6m 21s main
main
December 24, 2024 13:10 6m 21s
Move extension configuration to the root Build and test #12: Pull request #18 opened by Lysxia
December 24, 2024 13:05 5m 14s root
root
December 24, 2024 13:05 5m 14s
Add commands to show tasks (proof context) (#15) Build and test #11: Commit 13d7540 pushed by Lysxia
December 24, 2024 12:08 7m 1s main
main
December 24, 2024 12:08 7m 1s
Add commands to show tasks (proof context) Build and test #10: Pull request #15 opened by Lysxia
December 24, 2024 12:02 5m 26s show-task
show-task
December 24, 2024 12:02 5m 26s
Upgrade dependencies Build and test #9: Commit 4b4ed14 pushed by Lysxia
December 24, 2024 10:45 5m 57s main
main
December 24, 2024 10:45 5m 57s
Upgrade dependencies Build and test #8: Pull request #14 opened by Lysxia
December 24, 2024 10:39 5m 26s upgrade
upgrade
December 24, 2024 10:39 5m 26s
ci: Add Windows build Build and test #7: Pull request #13 synchronize by Lysxia
December 21, 2024 16:55 18m 27s ci-windows
ci-windows
December 21, 2024 16:55 18m 27s
Add CI script (#12) Build and test #6: Commit 2b3e40e pushed by Lysxia
December 21, 2024 16:50 8m 49s main
main
December 21, 2024 16:50 8m 49s
ci: Add Windows build Build and test #5: Pull request #13 opened by Lysxia
December 21, 2024 16:47 19m 37s ci-windows
ci-windows
December 21, 2024 16:47 19m 37s
Add CI script Build and test #4: Pull request #12 synchronize by Lysxia
December 21, 2024 16:45 5m 24s ci
ci
December 21, 2024 16:45 5m 24s