Skip to content

Actions: creusot-rs/creusot-ide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Release #99: Commit ae1680d pushed by Lysxia
December 24, 2024 21:04 45s release
release
December 24, 2024 21:04 45s
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
ci: Fix release script with new project root Release #98: Commit ac470bf pushed by Lysxia
December 24, 2024 21:03 36s release
release
December 24, 2024 21:03 36s
ci: Fix release script with new project root Release #97: Commit 38bba79 pushed by Lysxia
December 24, 2024 17:16 23s release
release
December 24, 2024 17:16 23s
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
Release Release #96: Scheduled
December 24, 2024 00:40 47s main
main
December 24, 2024 00:40 47s
Release Release #95: Scheduled
December 23, 2024 00:41 1m 1s main
main
December 23, 2024 00:41 1m 1s
Release Release #94: Scheduled
December 22, 2024 00:44 40s main
main
December 22, 2024 00:44 40s
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
Add CI script Build and test #3: Pull request #12 synchronize by Lysxia
December 21, 2024 09:39 10m 31s ci
ci
December 21, 2024 09:39 10m 31s
Add CI script Build and test #2: Pull request #12 opened by Lysxia
December 21, 2024 09:26 19m 35s ci
ci
December 21, 2024 09:26 19m 35s
Add CI script Build and test #1: Commit 107005c pushed by Lysxia
December 21, 2024 09:25 19m 7s ci
ci
December 21, 2024 09:25 19m 7s
Release Release #93: Scheduled
December 21, 2024 00:39 43s main
main
December 21, 2024 00:39 43s
Release Release #92: Scheduled
December 20, 2024 00:40 47s main
main
December 20, 2024 00:40 47s
Release Release #91: Scheduled
December 19, 2024 00:43 40s main
main
December 19, 2024 00:43 40s
Release Release #90: Scheduled
December 18, 2024 00:42 43s main
main
December 18, 2024 00:42 43s