Skip to content

Actions: GaloisInc/pate

Actions

CI Matrix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
425 workflow runs
425 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GUI: Use new blocked flags in json to more generally identify the blo… CI Matrix #1060: Commit 2f855a6 pushed by jim-carciofini
November 6, 2024 00:02 37m 16s master
master
November 6, 2024 00:02 37m 16s
add "trace_node_blocked" field to trace nodes CI Matrix #1059: Commit ead1f4e pushed by danmatichuk
November 5, 2024 21:41 41m 48s master
master
November 5, 2024 21:41 41m 48s
add "blocked" status to JSON output CI Matrix #1058: Commit 2552402 pushed by danmatichuk
November 5, 2024 21:15 38m 15s master
master
November 5, 2024 21:15 38m 15s
Don't show postdomain and env in Widening Info Dialog. CI Matrix #1057: Commit 8687a77 pushed by jim-carciofini
October 31, 2024 23:06 41m 11s master
master
October 31, 2024 23:06 41m 11s
Pretty mem/cell loc in Widening Info Dialog CI Matrix #1056: Commit 22324ea pushed by jim-carciofini
October 31, 2024 22:10 5m 1s master
master
October 31, 2024 22:10 5m 1s
Merge branch 'master' of github.com:GaloisInc/pate CI Matrix #1055: Commit ab40c05 pushed by jim-carciofini
October 30, 2024 17:50 41m 43s master
master
October 30, 2024 17:50 41m 43s
Merge pull request #453 from GaloisInc/dm/optimize CI Matrix #1054: Commit 76318a0 pushed by danmatichuk
October 28, 2024 22:22 37m 56s master
master
October 28, 2024 22:22 37m 56s
Optimizations using caching CI Matrix #1053: Pull request #453 synchronize by danmatichuk
October 28, 2024 21:31 10m 9s dm/optimize
dm/optimize
October 28, 2024 21:31 10m 9s
Optimizations using caching CI Matrix #1052: Pull request #453 synchronize by danmatichuk
October 25, 2024 23:43 1h 14m 7s dm/optimize
dm/optimize
October 25, 2024 23:43 1h 14m 7s
Optimizations using caching CI Matrix #1051: Pull request #453 synchronize by danmatichuk
October 25, 2024 19:38 40m 6s dm/optimize
dm/optimize
October 25, 2024 19:38 40m 6s
Optimizations using caching CI Matrix #1050: Pull request #453 synchronize by danmatichuk
October 24, 2024 22:57 1h 13m 48s dm/optimize
dm/optimize
October 24, 2024 22:57 1h 13m 48s
Optimizations using caching CI Matrix #1049: Pull request #453 synchronize by danmatichuk
October 24, 2024 21:28 43m 4s dm/optimize
dm/optimize
October 24, 2024 21:28 43m 4s
Merge pull request #454 from GaloisInc/bd/dockerfile-cleanups CI Matrix #1048: Commit 7655fc2 pushed by thebendavis
October 24, 2024 17:44 1h 54m 48s master
master
October 24, 2024 17:44 1h 54m 48s
Dockerfile cleanups CI Matrix #1047: Pull request #454 synchronize by thebendavis
October 23, 2024 16:54 12m 6s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 16:54 12m 6s
Dockerfile cleanups CI Matrix #1046: Pull request #454 synchronize by thebendavis
October 23, 2024 15:30 1h 50m 40s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 15:30 1h 50m 40s
Dockerfile cleanups CI Matrix #1045: Pull request #454 synchronize by thebendavis
October 23, 2024 15:08 24m 35s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 15:08 24m 35s
Dockerfile cleanups CI Matrix #1044: Pull request #454 synchronize by thebendavis
October 23, 2024 14:40 52m 26s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 14:40 52m 26s
Dockerfile cleanups CI Matrix #1043: Pull request #454 synchronize by thebendavis
October 23, 2024 14:36 19m 16s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 14:36 19m 16s
Dockerfile cleanups CI Matrix #1042: Pull request #454 synchronize by thebendavis
October 23, 2024 14:31 1h 0m 8s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 14:31 1h 0m 8s
Dockerfile cleanups CI Matrix #1041: Pull request #454 opened by thebendavis
October 23, 2024 14:26 28m 39s bd/dockerfile-cleanups
bd/dockerfile-cleanups
October 23, 2024 14:26 28m 39s
Optimizations using caching CI Matrix #1040: Pull request #453 synchronize by danmatichuk
October 21, 2024 18:43 50m 4s dm/optimize
dm/optimize
October 21, 2024 18:43 50m 4s
Processing new widening loc to trace(s) info from verifier. Not displ… CI Matrix #1039: Commit 6674c95 pushed by jim-carciofini
October 18, 2024 22:40 1h 47m 20s master
master
October 18, 2024 22:40 1h 47m 20s
Optimizations using caching CI Matrix #1038: Pull request #453 opened by danmatichuk
October 18, 2024 19:27 1h 30m 4s dm/optimize
dm/optimize
October 18, 2024 19:27 1h 30m 4s
make "shared_env" appear in JSON output by default CI Matrix #1037: Commit 0f21361 pushed by danmatichuk
October 14, 2024 16:57 2h 58m 35s master
master
October 14, 2024 16:57 2h 58m 35s
Merge pull request #452 from GaloisInc/issue-451 CI Matrix #1036: Commit 6d0d70d pushed by danmatichuk
October 14, 2024 16:42 3h 8m 16s master
master
October 14, 2024 16:42 3h 8m 16s