Skip to content

Actions: kth-step/HolBA

Actions

CI Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
271 workflow runs
271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI Build CI Build #1686: Scheduled
59m 10s master
master
59m 10s
Merge pull request #219 from kth-step/tutorial-update CI Build #1685: Commit 21be5be pushed by palmskog
52m 59s master
master
52m 59s
Tutorial update CI Build #1684: Pull request #219 synchronize by palmskog
50m 10s tutorial-update
tutorial-update
50m 10s
fix composition test CI Build #1683: Commit a3e8e65 pushed by palmskog
52m 50s tutorial-update
tutorial-update
52m 50s
Tutorial update CI Build #1682: Pull request #219 opened by palmskog
40m 34s tutorial-update
tutorial-update
40m 34s
one more readability pass over tutorial CI Build #1681: Commit 7f958d6 pushed by palmskog
40m 49s tutorial-update
tutorial-update
40m 49s
CI Build CI Build #1680: Scheduled
51m 57s master
master
51m 57s
CI Build CI Build #1679: Scheduled
52m 16s master
master
52m 16s
CI Build CI Build #1678: Scheduled
50m 57s master
master
50m 57s
CI Build CI Build #1677: Scheduled
51m 25s master
master
51m 25s
README polish CI Build #1676: Commit 3cba616 pushed by palmskog
58m 2s master
master
58m 2s
boilerplate fixes CI Build #1675: Commit 1f961d4 pushed by palmskog
57m 24s master
master
57m 24s
Merge pull request #218 from kth-step/examples-reorg CI Build #1674: Commit 08ea325 pushed by palmskog
52m 35s master
master
52m 35s
reorganize examples into arm8, arm_cm0, bir, riscv CI Build #1673: Pull request #218 opened by palmskog
52m 23s examples-reorg
examples-reorg
52m 23s
reorganize examples into arm8, arm_cm0, bir, riscv for better surveya… CI Build #1672: Commit 7302303 pushed by palmskog
52m 15s examples-reorg
examples-reorg
52m 15s
Merge pull request #217 from kth-step/get-contract-thm-fix CI Build #1671: Commit 54bf3ec pushed by palmskog
52m 7s master
master
52m 7s
make get_arch_contract_thm output idiomatic theorems CI Build #1670: Pull request #217 synchronize by palmskog
51m 10s get-contract-thm-fix
get-contract-thm-fix
51m 10s
fix riscv tests CI Build #1669: Commit e705aeb pushed by palmskog
57m 51s get-contract-thm-fix
get-contract-thm-fix
57m 51s
make get_arch_contract_thm output idiomatic theorems CI Build #1668: Pull request #217 opened by palmskog
41m 2s get-contract-thm-fix
get-contract-thm-fix
41m 2s
make get_arch_contract_thm output idiomatic theorems CI Build #1667: Commit 35c6418 pushed by palmskog
40m 43s get-contract-thm-fix
get-contract-thm-fix
40m 43s
Merge pull request #216 from kth-step/simplify-get CI Build #1666: Commit a1c3eff pushed by palmskog
52m 30s master
master
52m 30s
Simplified get_contract function CI Build #1665: Pull request #216 synchronize by palmskog
53m 9s simplify-get
simplify-get
53m 9s
Update src/tools/backlifter/bir_backlifterLib.sml CI Build #1664: Commit 6e0ed2f pushed by palmskog
49m 35s simplify-get
simplify-get
49m 35s
Simplified get_contract function CI Build #1663: Pull request #216 opened by palmskog
53m 32s simplify-get
simplify-get
53m 32s
fix riscv test CI Build #1662: Commit 5230fab pushed by palmskog
51m 34s simplify-get
simplify-get
51m 34s