Skip to content

Actions: OwenConoly/bedrock2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
CI (Alpine) CI (Alpine) #7: Scheduled
23s master
master
23s
CI (Alpine) CI (Alpine) #6: Scheduled
35m 52s master
master
35m 52s
CI (Alpine) CI (Alpine) #5: Scheduled
36m 20s master
master
36m 20s
Use Ltac2 for program logic goals (#480) CI (Coq, docker, dev) #11: Commit cf119f1 pushed by OwenConoly
1h 11m 23s master
master
1h 11m 23s
Use Ltac2 for program logic goals (#480) CI (Alpine) #4: Commit cf119f1 pushed by OwenConoly
35m 58s master
master
35m 58s
CI (Alpine) CI (Alpine) #3: Scheduled
35m 57s master
master
35m 57s
CI (Alpine) CI (Alpine) #2: Scheduled
36m 23s master
master
36m 23s
Bump deps/coqutil from 3bd1bb3 to bebb5e6 (#463) CI (Alpine) #1: Commit 0fc2662 pushed by OwenConoly
36m 11s master
master
36m 11s
Bump deps/coqutil from 3bd1bb3 to bebb5e6 (#463) CI (Coq, docker, dev) #10: Commit 0fc2662 pushed by OwenConoly
1h 10m 26s master
master
1h 10m 26s
make dce trace transformation function easier to understand CI (Coq, docker, dev) #9: Commit 5d83a2a pushed by OwenConoly
1h 9m 49s master
master
1h 9m 49s
make dce trace transformation function easier to understand Coq #18: Commit 5d83a2a pushed by OwenConoly
1h 59m 27s master
master
1h 59m 27s