Skip to content

Actions: mtullsen/saw-script

Actions

SAWScript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SAWScript SAWScript #163: Scheduled
September 13, 2024 10:10 34m 17s master
master
September 13, 2024 10:10 34m 17s
SAWScript SAWScript #162: Scheduled
September 12, 2024 10:11 34m 9s master
master
September 12, 2024 10:11 34m 9s
SAWScript SAWScript #161: Scheduled
September 11, 2024 10:10 33m 46s master
master
September 11, 2024 10:10 33m 46s
SAWScript SAWScript #160: Scheduled
September 10, 2024 10:10 33m 33s master
master
September 10, 2024 10:10 33m 33s
SAWScript SAWScript #159: Scheduled
September 9, 2024 10:10 36m 5s master
master
September 9, 2024 10:10 36m 5s
Bump deps/cryptol from 784bbaa to c73d1d8 SAWScript #158: Pull request #91 opened by dependabot bot
September 9, 2024 02:56 52m 32s dependabot/submodules/deps/cryptol-c73d1d8
dependabot/submodules/deps/cryptol-c73d1d8
September 9, 2024 02:56 52m 32s
Bump deps/llvm-pretty from 780e7c0 to eb8afd5 SAWScript #157: Pull request #90 opened by dependabot bot
September 9, 2024 02:56 41m 15s dependabot/submodules/deps/llvm-pretty-eb8afd5
dependabot/submodules/deps/llvm-pretty-eb8afd5
September 9, 2024 02:56 41m 15s
Bump deps/cryptol-specs from 4066cc0 to 7a938d6 SAWScript #156: Pull request #89 opened by dependabot bot
September 9, 2024 02:56 1h 28m 50s dependabot/submodules/deps/cryptol-specs-7a938d6
dependabot/submodules/deps/cryptol-specs-7a938d6
September 9, 2024 02:56 1h 28m 50s
Bump deps/macaw from 9d8cdcc to 897960d SAWScript #155: Pull request #88 opened by dependabot bot
September 9, 2024 02:55 33m 52s dependabot/submodules/deps/macaw-897960d
dependabot/submodules/deps/macaw-897960d
September 9, 2024 02:55 33m 52s
Bump deps/what4 from 8c9401b to 385da96 SAWScript #154: Pull request #87 opened by dependabot bot
September 9, 2024 02:55 12m 0s dependabot/submodules/deps/what4-385da96
dependabot/submodules/deps/what4-385da96
September 9, 2024 02:55 12m 0s
Bump deps/argo from e4b3751 to c34f0aa SAWScript #153: Pull request #86 opened by dependabot bot
September 9, 2024 02:55 1h 13m 12s dependabot/submodules/deps/argo-c34f0aa
dependabot/submodules/deps/argo-c34f0aa
September 9, 2024 02:55 1h 13m 12s
Bump deps/language-rust from 82acd31 to 74a05b7 SAWScript #152: Pull request #85 opened by dependabot bot
September 9, 2024 02:55 1h 4m 38s dependabot/submodules/deps/language-rust-74a05b7
dependabot/submodules/deps/language-rust-74a05b7
September 9, 2024 02:55 1h 4m 38s
Bump deps/crucible from ac948b4 to 8021814 SAWScript #151: Pull request #84 opened by dependabot bot
September 9, 2024 02:55 7m 10s dependabot/submodules/deps/crucible-8021814
dependabot/submodules/deps/crucible-8021814
September 9, 2024 02:55 7m 10s
SAWScript SAWScript #150: Scheduled
September 8, 2024 10:10 33m 43s master
master
September 8, 2024 10:10 33m 43s
SAWScript SAWScript #149: Scheduled
September 7, 2024 10:09 33m 30s master
master
September 7, 2024 10:09 33m 30s
SAWScript SAWScript #148: Scheduled
September 6, 2024 10:10 34m 41s master
master
September 6, 2024 10:10 34m 41s
SAWScript SAWScript #147: Scheduled
September 5, 2024 10:10 34m 45s master
master
September 5, 2024 10:10 34m 45s
SAWScript SAWScript #146: Scheduled
September 4, 2024 10:10 32m 21s master
master
September 4, 2024 10:10 32m 21s
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows SAWScript #145: Pull request #83 opened by dependabot bot
September 3, 2024 22:16 30m 27s dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
September 3, 2024 22:16 30m 27s
SAWScript SAWScript #144: Scheduled
September 3, 2024 10:10 33m 14s master
master
September 3, 2024 10:10 33m 14s
SAWScript SAWScript #143: Scheduled
September 2, 2024 10:10 36m 39s master
master
September 2, 2024 10:10 36m 39s
Bump deps/llvm-pretty-bc-parser from 3957547 to 886eccd SAWScript #142: Pull request #82 opened by dependabot bot
September 2, 2024 02:42 13m 55s dependabot/submodules/deps/llvm-pretty-bc-parser-886eccd
dependabot/submodules/deps/llvm-pretty-bc-parser-886eccd
September 2, 2024 02:42 13m 55s
Bump deps/llvm-pretty from 780e7c0 to 399abd4 SAWScript #141: Pull request #81 opened by dependabot bot
September 2, 2024 02:42 25m 57s dependabot/submodules/deps/llvm-pretty-399abd4
dependabot/submodules/deps/llvm-pretty-399abd4
September 2, 2024 02:42 25m 57s
Bump deps/cryptol-specs from 4066cc0 to f1c53b2 SAWScript #140: Pull request #80 opened by dependabot bot
September 2, 2024 02:42 1h 10m 36s dependabot/submodules/deps/cryptol-specs-f1c53b2
dependabot/submodules/deps/cryptol-specs-f1c53b2
September 2, 2024 02:42 1h 10m 36s
Bump deps/crucible from ac948b4 to 5c92113 SAWScript #139: Pull request #79 opened by dependabot bot
September 2, 2024 02:42 16m 26s dependabot/submodules/deps/crucible-5c92113
dependabot/submodules/deps/crucible-5c92113
September 2, 2024 02:42 16m 26s