Skip to content

Actions: kind2-mc/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,197 workflow runs
2,197 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Disallow include statements option (#1552) Kind 2 Binaries #986: Commit e3deea9 pushed by daniel-larraz
6m 36s main
main
6m 36s
Disallow include statements option (#1552) Kind 2 DockerHub #948: Commit e3deea9 pushed by daniel-larraz
3m 34s main
main
3m 34s
Disallow include statements option (#1552) Kind 2 Website #45: Commit e3deea9 pushed by daniel-larraz
8s main
main
8s
Disallow include statements option (#1552) Kind2 CI #2962: Commit e3deea9 pushed by daniel-larraz
34m 35s main
main
34m 35s
Disallow include statements option Kind 2 PR Benchmarks #248: Pull request #1552 opened by Jabe03
29m 1s Jabe03:include-disallow-option
Jabe03:include-disallow-option
29m 1s
Disallow include statements option Kind2 CI #2961: Pull request #1552 opened by Jabe03
23m 16s Jabe03:include-disallow-option
Jabe03:include-disallow-option
23m 16s
Update cvc5 to 1.4.0 for proofs (#1417) Kind 2 Website #44: Commit 8378a20 pushed by daniel-larraz
7s main
main
7s
Update cvc5 to 1.4.0 for proofs (#1417) Kind 2 DockerHub #947: Commit 8378a20 pushed by daniel-larraz
4m 6s main
main
4m 6s
Update cvc5 to 1.4.0 for proofs (#1417) Kind2 CI #2960: Commit 8378a20 pushed by daniel-larraz
22m 4s main
main
22m 4s
Update cvc5 to 1.4.0 for proofs (#1417) Kind 2 Binaries #985: Commit 8378a20 pushed by daniel-larraz
5m 45s main
main
5m 45s
Update cvc5 to 1.4.0 for proofs Kind2 CI #2959: Pull request #1417 synchronize by Jabe03
21m 17s Jabe03:cpc-update
Jabe03:cpc-update
21m 17s
Make the JSON output match its schema (#1550) Kind 2 DockerHub #946: Commit 9e0af36 pushed by daniel-larraz
4m 0s main
main
4m 0s
Make the JSON output match its schema (#1550) Kind 2 Website #43: Commit 9e0af36 pushed by daniel-larraz
12s main
main
12s
Make the JSON output match its schema (#1550) Kind2 CI #2958: Commit 9e0af36 pushed by daniel-larraz
23m 53s main
main
23m 53s
Make the JSON output match its schema (#1550) Kind 2 Binaries #984: Commit 9e0af36 pushed by daniel-larraz
9m 21s main
main
9m 21s
Make the JSON output match its schema Kind2 CI #2957: Pull request #1550 opened by daniel-larraz
20m 2s daniel-larraz:json-output-conforms-to-schema
daniel-larraz:json-output-conforms-to-schema
20m 2s
Make the JSON output match its schema Kind 2 PR Benchmarks #247: Pull request #1550 opened by daniel-larraz
28m 20s daniel-larraz:json-output-conforms-to-schema
daniel-larraz:json-output-conforms-to-schema
28m 20s
Make the JSON and XML output parseable (#1549) Kind 2 Website #42: Commit fab7d72 pushed by daniel-larraz
11s main
main
11s
Make the JSON and XML output parseable (#1549) Kind 2 DockerHub #945: Commit fab7d72 pushed by daniel-larraz
4m 0s main
main
4m 0s
Make the JSON and XML output parseable (#1549) Kind2 CI #2956: Commit fab7d72 pushed by daniel-larraz
17m 24s main
main
17m 24s
Make the JSON and XML output parseable (#1549) Kind 2 Binaries #983: Commit fab7d72 pushed by daniel-larraz
8m 41s main
main
8m 41s
Kind 2 Binaries Kind 2 Binaries #982: Scheduled
6m 18s main
main
6m 18s
Make the JSON and XML output parseable Kind 2 PR Benchmarks #246: Pull request #1549 opened by daniel-larraz
28m 18s daniel-larraz:parseable-json-and-xml-output
daniel-larraz:parseable-json-and-xml-output
28m 18s
Make the JSON and XML output parseable Kind2 CI #2955: Pull request #1549 opened by daniel-larraz
16m 13s daniel-larraz:parseable-json-and-xml-output
daniel-larraz:parseable-json-and-xml-output
16m 13s
Support polymorphic recursive ADTs Kind 2 PR Benchmarks #245: Pull request #1548 opened by lorchrob
27m 59s lorchrob:polymorphic-recursive-adts
lorchrob:polymorphic-recursive-adts
27m 59s