Skip to content

Actions: nowarp/misti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(ci): Basic gh-action to run and publish benchmarks .github/workflows/benchmark.yml #2: Commit c091161 pushed by jubnzv
August 30, 2024 01:37 Failure 7-benchmarks
7-benchmarks
August 30, 2024 01:37 Failure
Add benchmarks CI #211: Pull request #115 opened by jubnzv
August 30, 2024 01:35 2m 7s 7-benchmarks
7-benchmarks
August 30, 2024 01:35 2m 7s
feat(ci): Basic gh-action to run and publish benchmarks .github/workflows/benchmark.yml #1: Commit 9d17204 pushed by jubnzv
August 30, 2024 01:34 Failure 7-benchmarks
7-benchmarks
August 30, 2024 01:34 Failure
fix(examples): Path to detector CI #210: Commit 874853d pushed by jubnzv
August 28, 2024 11:44 2m 5s master
master
August 28, 2024 11:44 2m 5s
feat(driver): Add --detectors option to quickly run Misti with spec… CI #209: Commit 1c30505 pushed by jubnzv
August 28, 2024 02:36 2m 23s master
master
August 28, 2024 02:36 2m 23s
feat(ci): Add lychee and fix broken links (#110) CI #208: Commit 31c0605 pushed by jubnzv
August 27, 2024 06:59 2m 5s master
master
August 27, 2024 06:59 2m 5s
Fix broken links CI #207: Pull request #110 synchronize by jubnzv
August 27, 2024 06:57 2m 15s 108-link-checker
108-link-checker
August 27, 2024 06:57 2m 15s
Fix broken links CI #206: Pull request #110 synchronize by jubnzv
August 27, 2024 06:55 36s 108-link-checker
108-link-checker
August 27, 2024 06:55 36s
Fix broken links CI #205: Pull request #110 synchronize by jubnzv
August 27, 2024 06:55 35s 108-link-checker
108-link-checker
August 27, 2024 06:55 35s
Fix broken links CI #204: Pull request #110 synchronize by jubnzv
August 27, 2024 06:47 4m 2s 108-link-checker
108-link-checker
August 27, 2024 06:47 4m 2s
Fix broken links CI #203: Pull request #110 reopened by jubnzv
August 27, 2024 06:37 2m 29s 108-link-checker
108-link-checker
August 27, 2024 06:37 2m 29s
Fix broken links CI #202: Pull request #110 synchronize by jubnzv
August 27, 2024 06:23 2m 52s 108-link-checker
108-link-checker
August 27, 2024 06:23 2m 52s
Fix broken links CI #201: Pull request #110 synchronize by jubnzv
August 27, 2024 05:05 42s 108-link-checker
108-link-checker
August 27, 2024 05:05 42s
Fix broken links CI #200: Pull request #110 synchronize by jubnzv
August 27, 2024 05:02 2m 7s 108-link-checker
108-link-checker
August 27, 2024 05:02 2m 7s
Fix broken links CI #199: Pull request #110 synchronize by jubnzv
August 27, 2024 04:57 2m 23s 108-link-checker
108-link-checker
August 27, 2024 04:57 2m 23s
Fix broken links CI #198: Pull request #110 opened by jubnzv
August 27, 2024 04:54 2m 19s 108-link-checker
108-link-checker
August 27, 2024 04:54 2m 19s
feat(detectors): Allow running Misti without Souffle installation CI #197: Commit 65a77da pushed by jubnzv
August 27, 2024 01:19 2m 4s master
master
August 27, 2024 01:19 2m 4s
feat(benchmarks): Introduce a simple benchmark for executeMisti CI #196: Commit ecf006e pushed by jubnzv
August 26, 2024 01:22 4m 23s master
master
August 26, 2024 01:22 4m 23s
chore(refactor): error→warning CI #195: Commit 4cd39de pushed by jubnzv
August 26, 2024 01:18 2m 18s master
master
August 26, 2024 01:18 2m 18s
chore: Update CHANGELOG CI #194: Commit 264a977 pushed by jubnzv
August 25, 2024 02:22 2m 14s master
master
August 25, 2024 02:22 2m 14s
feat(scripts): A script to generate detectors documentation CI #193: Commit 5ef723a pushed by jubnzv
August 25, 2024 02:14 2m 19s master
master
August 25, 2024 02:14 2m 19s
feat(createDetector): Don't override existing files when creating det… CI #192: Commit 864b59f pushed by jubnzv
August 25, 2024 01:01 2m 11s master
master
August 25, 2024 01:01 2m 11s
chore(deps): bump micromatch from 4.0.7 to 4.0.8 (#106) CI #191: Commit be2196a pushed by jubnzv
August 24, 2024 13:24 4m 27s master
master
August 24, 2024 13:24 4m 27s
chore(deps): bump micromatch from 4.0.7 to 4.0.8 CI #190: Pull request #106 opened by dependabot bot
August 24, 2024 13:02 4m 24s dependabot/npm_and_yarn/micromatch-4.0.8
dependabot/npm_and_yarn/micromatch-4.0.8
August 24, 2024 13:02 4m 24s
npm_and_yarn in for micromatch - Update #873502558 Dependabot Updates #3: by dependabot bot
August 24, 2024 13:01 54s
August 24, 2024 13:01 54s