Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean 4 backend: further function implementation (#4822) Bump version and make master job #1222: Commit 077091b pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Factor out CTermShow class for simpler node printing (#4808) Bump version and make master job #1221: Commit 0734e45 pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Add Maven informational lock file and make Maven build more replicabl… Bump version and make master job #1220: Commit 9b9b5d5 pushed by automergerpr-permission-manager bot
19s develop
develop
19s
Small changes in preparation for CTermShow (#4819) Bump version and make master job #1219: Commit b102b69 pushed by ehildenb
18s develop
develop
18s
Update dependency: deps/llvm-backend_release (#4814) Bump version and make master job #1218: Commit 3b1a708 pushed by Robertorosmaninho
18s develop
develop
18s
Remove unused private attribute from KProve (#4811) Bump version and make master job #1217: Commit 3ca88f2 pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Use relative imports inside the pyk library (#4812) Bump version and make master job #1216: Commit 8dc8324 pushed by F-WRunTime
18s develop
develop
18s
Move module prove_rpc from ktool to proof (#4810) Bump version and make master job #1215: Commit 75f1848 pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Factor out helper for printing CSubst in KCFGShow (#4809) Bump version and make master job #1214: Commit e2a493d pushed by automergerpr-permission-manager bot
23s develop
develop
23s
Update dependency: deps/haskell-backend_release (#4798) Bump version and make master job #1213: Commit af96f5e pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Make cachix builds from CI/CD match CLI/flake inputs (#4804) Bump version and make master job #1212: Commit f47ad95 pushed by automergerpr-permission-manager bot
22s develop
develop
22s
Move pyk.prelude into pyk.kast (#4803) Bump version and make master job #1211: Commit 17bc658 pushed by automergerpr-permission-manager bot
25s develop
develop
25s
Remove module pyk.krepl (#4800) Bump version and make master job #1210: Commit fa1dbb0 pushed by ehildenb
22s develop
develop
22s
Added method to create claim from APRProof (#4802) Bump version and make master job #1209: Commit bfdc7e5 pushed by automergerpr-permission-manager bot
24s develop
develop
24s
Update dependency: deps/llvm-backend_release (#4801) Bump version and make master job #1208: Commit 67fa403 pushed by Robertorosmaninho
26s develop
develop
26s
Rewrite K Tutorial introduction (#4782) Bump version and make master job #1207: Commit 81a9e6e pushed by automergerpr-permission-manager bot
32s develop
develop
32s
Update nix maven hash (#4796) Bump version and make master job #1206: Commit b24e68b pushed by automergerpr-permission-manager bot
1m 15s develop
develop
1m 15s
Update dependency: deps/haskell-backend_release (#4795) Bump version and make master job #1205: Commit e9e94e0 pushed by automergerpr-permission-manager bot
26s develop
develop
26s
pyk.ktool.kfuzz: Add support for custom substitution functions in `… Bump version and make master job #1204: Commit bde46ab pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Update dependency: deps/llvm-backend_release (#4793) Bump version and make master job #1203: Commit f30f0e3 pushed by automergerpr-permission-manager bot
19s develop
develop
19s
Update dependency: deps/haskell-backend_release (#4794) Bump version and make master job #1202: Commit 6186771 pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Update dependency: deps/haskell-backend_release (#4790) Bump version and make master job #1201: Commit d8f9f7c pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Remove unused options from cterm_symbolic function (#4789) Bump version and make master job #1200: Commit bdcb85a pushed by ehildenb
21s develop
develop
21s
Update dependency: deps/llvm-backend_release (#4787) Bump version and make master job #1199: Commit 2954f43 pushed by automergerpr-permission-manager bot
25s develop
develop
25s
Update dependency: deps/haskell-backend_release (#4778) Bump version and make master job #1198: Commit 7e5b220 pushed by automergerpr-permission-manager bot
22s develop
develop
22s