Skip to content

Actions: verse-lab/ProofWidgets4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: cancellation in trace display ci #18: Commit b513d86 pushed by dranov
4m 16s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 16s
fix: don't show number of explored states if not in JSON ci #17: Commit b967597 pushed by dranov
4m 45s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 45s
better display for structure. ci #16: Commit fd09e7a pushed by zerrymore
3m 40s structure-display
structure-display
3m 40s
feat: extra vals for theory in structured CTI viewer ci #15: Commit 3a3f8ea pushed by dranov
4m 28s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 28s
fix: use proper LCS for diff'ing states ci #14: Commit 31a84a5 pushed by dranov
3m 47s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 47s
fix: Escape now works after selecting/deselecting in field panel ci #13: Commit 7de1f84 pushed by dranov
3m 48s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 48s
fix: Copy JSON button color ci #12: Commit 0e083e5 pushed by dranov
4m 53s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 53s
fix: enable individual opening when all states are collapsed ci #11: Commit ac2a84d pushed by dranov
4m 35s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 35s
feat: identify which properties were violated ci #10: Commit ca1d1a7 pushed by dranov
3m 51s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 51s
fix: small tweaks to TraceDisplay ci #9: Commit 90d91d3 pushed by dranov
3m 35s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 35s
feat: JSON view for widgets ci #8: Commit ce6fb2a pushed by dranov
3m 36s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 36s
feat: model checking results display ci #7: Commit c9f9bf9 pushed by dranov
3m 48s veil-2.0-v4.25.2
veil-2.0-v4.25.2
3m 48s
feat: counter-example view in verification results ci #6: Commit 591f0e6 pushed by dranov
4m 11s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 11s
fix: only show filter buttons for non-empty categories ci #5: Commit 6f706bf pushed by dranov
4m 5s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 5s
fix: don't require release builds ci #4: Commit 708b908 pushed by dranov
4m 1s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 1s
feat: initial commit for Veil widgets ci #3: Commit ab2d76c pushed by dranov
4m 5s veil-2.0-v4.25.2
veil-2.0-v4.25.2
4m 5s
feat: experimental refreshing display ci #2: Commit d1615ae pushed by dranov
3m 19s veil-refresh
veil-refresh
3m 19s
feat: experimental refreshing display ci #1: Commit 66c799e pushed by dranov
4m 5s veil-refresh
veil-refresh
4m 5s