Skip to content

Actions: cvc5/vscode-cpc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from cvc5/new-keywords Run CI #13: Commit 09636da pushed by Jabe03
24s main
main
24s
New keywords Run CI #12: Pull request #1 synchronize by Jabe03
28s new-keywords
new-keywords
28s
Rename variable to argument Run CI #11: Commit 1bd7824 pushed by Jabe03
22s new-keywords
new-keywords
22s
New keywords Run CI #10: Pull request #1 synchronize by Jabe03
18s new-keywords
new-keywords
18s
Test CI: invalid JSON file Run CI #9: Commit 1ec4f34 pushed by Jabe03
22s new-keywords
new-keywords
22s
Rename variable to argument Run CI #8: Commit 1bd7824 pushed by Jabe03
23s new-keywords
new-keywords
23s
New keywords Run CI #7: Pull request #1 synchronize by Jabe03
18s new-keywords
new-keywords
18s
Merge branch 'main' into new-keywords Run CI #6: Commit 85391c8 pushed by Jabe03
23s new-keywords
new-keywords
23s
New keywords Run CI #5: Pull request #1 synchronize by Jabe03
19s new-keywords
new-keywords
19s
Debug CI Run CI #4: Commit 6f9e594 pushed by Jabe03
21s main
main
21s
Merge branch 'main' of https://github.com/cvc5/vscode-cpc into main Run CI #3: Commit 00e38f7 pushed by Jabe03
15s main
main
15s
New keywords Run CI #2: Pull request #1 opened by Jabe03
10s new-keywords
new-keywords
10s
Initial CI Run CI #1: Commit aab6734 pushed by Jabe03
11s main
main
11s