Skip to content

Actions: uwplse/StructTact

Actions

Docker CI

Actions

Loading...

Show workflow options

Create status badge

docker-action.yml
12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #72 from uwplse/default-proof-using Docker CI #22: Commit 97268e1 pushed by palmskog
December 9, 2023 16:22 2m 5s master
master
December 9, 2023 16:22 2m 5s
switch to Default Proof Using Type Docker CI #21: Pull request #72 opened by palmskog
December 9, 2023 16:19 2m 7s default-proof-using
default-proof-using
December 9, 2023 16:19 2m 7s
Merge pull request #71 from uwplse/finfix Docker CI #20: Commit 462454c pushed by palmskog
December 9, 2023 15:58 2m 5s master
master
December 9, 2023 15:58 2m 5s
Fix some boilerplate Docker CI #19: Pull request #71 opened by palmskog
December 9, 2023 15:55 1m 59s finfix
finfix
December 9, 2023 15:55 1m 59s
Merge pull request #70 from uwplse/conclude-tactic-notation Docker CI #18: Commit f6bc376 pushed by palmskog
November 5, 2023 07:46 2m 53s master
master
November 5, 2023 07:46 2m 53s
use tactic notations to parameterize tactics Docker CI #17: Pull request #70 opened by palmskog
November 4, 2023 22:27 2m 45s conclude-tactic-notation
conclude-tactic-notation
November 4, 2023 22:27 2m 45s
Merge pull request #69 from uwplse/tactic-not Docker CI #16: Commit 8668217 pushed by palmskog
October 15, 2023 14:03 2m 41s master
master
October 15, 2023 14:03 2m 41s
parameterize in_crush tactics better Docker CI #15: Pull request #69 opened by palmskog
October 15, 2023 14:01 2m 29s tactic-not
tactic-not
October 15, 2023 14:01 2m 29s
Merge pull request #68 from uwplse/param-crush Docker CI #14: Commit 0966fba pushed by palmskog
October 15, 2023 13:24 2m 53s master
master
October 15, 2023 13:24 2m 53s
Parameterize crush tactics using intuition Docker CI #13: Pull request #68 synchronize by palmskog
October 15, 2023 13:21 2m 44s param-crush
param-crush
October 15, 2023 13:21 2m 44s
Parameterize crush tactics using intuition Docker CI #12: Pull request #68 synchronize by palmskog
October 15, 2023 13:10 2m 53s param-crush
param-crush
October 15, 2023 13:10 2m 53s
Parameterize crush tactics using intuition Docker CI #11: Pull request #68 opened by palmskog
October 15, 2023 13:02 2m 52s param-crush
param-crush
October 15, 2023 13:02 2m 52s