Skip to content

Actions: moves-rwth/caesar

Actions

Nightly release (on change to main branch)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create_nightly_release.yml
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

slicing: fix sus not finding optimal results with non-extensive Nightly release (on change to main branch) #74: Commit 715c160 pushed by Philipp15b
February 20, 2025 19:09 36m 17s main
main
February 20, 2025 19:09 36m 17s
website: minor improvements and add search Nightly release (on change to main branch) #73: Commit d4fd2ae pushed by Philipp15b
February 10, 2025 22:20 31m 2s main
main
February 10, 2025 22:20 31m 2s
clippy & fmt Nightly release (on change to main branch) #72: Commit d46da59 pushed by Philipp15b
January 31, 2025 20:03 32m 46s main
main
January 31, 2025 20:03 32m 46s
add support for z3 probes Nightly release (on change to main branch) #71: Commit 4d47855 pushed by Philipp15b
January 31, 2025 20:00 31m 35s main
main
January 31, 2025 20:00 31m 35s
main: early exit for --no-verify for just model checking Nightly release (on change to main branch) #70: Commit 423e785 pushed by Philipp15b
January 30, 2025 18:26 33m 56s main
main
January 30, 2025 18:26 33m 56s
mc: fix logic to determine when to emit JANI Nightly release (on change to main branch) #69: Commit e31c396 pushed by Philipp15b
January 30, 2025 17:59 35m 49s main
main
January 30, 2025 17:59 35m 49s
docs: add note about NO_COLOR env var Nightly release (on change to main branch) #68: Commit 2c7d593 pushed by Philipp15b
January 30, 2025 17:13 33m 29s main
main
January 30, 2025 17:13 33m 29s
Caesar 2.1.2 Nightly release (on change to main branch) #67: Commit 0342e2a pushed by Philipp15b
January 22, 2025 16:55 31m 27s main
main
January 22, 2025 16:55 31m 27s
lsp server: enable option to prevent crash Nightly release (on change to main branch) #66: Commit e61cbbf pushed by Philipp15b
January 22, 2025 16:21 35m 45s main
main
January 22, 2025 16:21 35m 45s
vscode-ext: use new invocation for lsp server Nightly release (on change to main branch) #65: Commit 81a0ae4 pushed by Philipp15b
January 18, 2025 09:58 30m 59s main
main
January 18, 2025 09:58 30m 59s
Caesar 2.1.0 release Nightly release (on change to main branch) #64: Commit c66216d pushed by Philipp15b
January 17, 2025 10:08 31m 4s main
main
January 17, 2025 10:08 31m 4s
clippy Nightly release (on change to main branch) #63: Commit 793f537 pushed by Philipp15b
January 17, 2025 08:46 30m 26s main
main
January 17, 2025 08:46 30m 26s
Merge PR #60: VSCode Extension Timeout Handling Nightly release (on change to main branch) #62: Commit 7d3bb98 pushed by Philipp15b
January 17, 2025 08:44 37m 24s main
main
January 17, 2025 08:44 37m 24s
docs: add note about !?(b) notation Nightly release (on change to main branch) #61: Commit 7274133 pushed by Philipp15b
January 7, 2025 16:21 35m 3s main
main
January 7, 2025 16:21 35m 3s
website: update publications Nightly release (on change to main branch) #60: Commit 892c48c pushed by Philipp15b
January 2, 2025 17:14 33m 47s main
main
January 2, 2025 17:14 33m 47s
website: rewritten procs documentation Nightly release (on change to main branch) #59: Commit c56a577 pushed by Philipp15b
January 2, 2025 16:01 32m 17s main
main
January 2, 2025 16:01 32m 17s
website: add new publication by Christoph! Nightly release (on change to main branch) #58: Commit 61785dd pushed by Philipp15b
January 2, 2025 10:46 31m 46s main
main
January 2, 2025 10:46 31m 46s
mc: use proc span to build post Nightly release (on change to main branch) #57: Commit df13235 pushed by Philipp15b
December 30, 2024 10:38 31m 27s main
main
December 30, 2024 10:38 31m 27s
tests: handle CLRF line endings Nightly release (on change to main branch) #56: Commit 82bcc00 pushed by Philipp15b
December 29, 2024 13:10 31m 55s main
main
December 29, 2024 13:10 31m 55s
vscode-ext: fix block comment highlighting Nightly release (on change to main branch) #55: Commit ad3a217 pushed by Philipp15b
December 22, 2024 14:17 31m 57s main
main
December 22, 2024 14:17 31m 57s
vscode-ext: improve "Copy Command" command and other minor stuff Nightly release (on change to main branch) #54: Commit 1438e65 pushed by Philipp15b
December 22, 2024 13:48 31m 37s main
main
December 22, 2024 13:48 31m 37s
website: update docosaurus Nightly release (on change to main branch) #53: Commit 7010978 pushed by Philipp15b
December 22, 2024 13:11 31m 55s main
main
December 22, 2024 13:11 31m 55s
website: add comment about --no-verify option Nightly release (on change to main branch) #52: Commit 09b349e pushed by Philipp15b
December 22, 2024 00:12 32m 55s main
main
December 22, 2024 00:12 32m 55s
remove unnecessary references Nightly release (on change to main branch) #51: Commit 2497e5f pushed by Philipp15b
December 21, 2024 23:17 31m 51s main
main
December 21, 2024 23:17 31m 51s
slicing: add test that proves correctness of encodings Nightly release (on change to main branch) #50: Commit a000e37 pushed by Philipp15b
December 18, 2024 14:43 36m 13s main
main
December 18, 2024 14:43 36m 13s