Skip to content

Actions: MattCCC/cppl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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
CodeQL CodeQL #13: Scheduled
3m 13s main
main
3m 13s
CI CI #40: Scheduled
5m 0s main
main
5m 0s
feat: add abstract values and checked logical projections CI #39: Commit 6c9b09c pushed by MattCCC
4m 2s main
main
4m 2s
fix: Remove noise from make cmds CI #38: Commit db69447 pushed by MattCCC
5m 30s main
main
5m 30s
fix: Pin sha to actions CI #37: Commit 148211e pushed by MattCCC
4m 58s main
main
4m 58s
fix: reject a complete partition with no cases before splitting CI #36: Commit d230358 pushed by MattCCC
17s main
main
17s
fix: reject a complete partition with no cases before splitting CI #35: Commit cbf9355 pushed by MattCCC
18s main
main
18s
Create dependabot.yml CI #34: Commit ba62fd4 pushed by MattCCC
19s main
main
19s
Create CODE_OF_CONDUCT.md CI #33: Commit f198c69 pushed by MattCCC
19s main
main
19s
test: match the reworded missing-premise diagnostic CI #32: Commit fd33d8f pushed by MattCCC
13s main
main
13s
fix: state refinement membership at assignments and between refinements CI #31: Commit ddb0e1a pushed by MattCCC
Startup failure main
main
Startup failure
feat: add refinement and indexed refinement types CI #30: Commit a18b289 pushed by MattCCC
Startup failure main
main
Startup failure
test: cover an application that leaves two goals CI #29: Commit fe25c30 pushed by MattCCC
Startup failure main
main
Startup failure
CI CI #28: Scheduled
6m 11s main
main
6m 11s
feat: add kernel-checked conjunction propositions CI #27: Commit 54b5ab6 pushed by MattCCC
4m 6s main
main
4m 6s
feat: report the stage a crash happened in CI #26: Commit fa65631 pushed by MattCCC
5m 42s main
main
5m 42s
feat: report the stage a crash happened in CI #25: Commit f5ea5aa pushed by MattCCC
33s main
main
33s
feat: state universal and implication propositions feat: state univer… CI #24: Commit 094714c pushed by MattCCC
6m 6s main
main
6m 6s
fix: divide Wide values without a 128-bit compiler runtime CI #23: Commit 8928d7e pushed by MattCCC
2m 38s main
main
2m 38s
feat: add Wno-pedantic flag CI #21: Commit 27255f9 pushed by MattCCC
5m 42s main
main
5m 42s
fix: win portability bug in driver CI #20: Commit 26966a6 pushed by MattCCC
4m 40s main
main
4m 40s
feat: add Wno-pedantic flag CI #19: Commit 27255f9 pushed by MattCCC
4m 29s main
main
4m 29s