Skip to content

Actions: model-checking/cbmc-viewer

Actions

Run Differential Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-differential-tests.yaml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support XML files containing failed results but no goto_trace field. Run Differential Tests #132: Pull request #180 opened by AmPaschal
December 4, 2024 19:57 Action required AmPaschal:master
AmPaschal:master
December 4, 2024 19:57 Action required
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.7.1 Run Differential Tests #131: Pull request #179 opened by dependabot bot
December 1, 2024 20:18 1m 51s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
December 1, 2024 20:18 1m 51s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.7.1 Run Differential Tests #130: Pull request #179 labeled by dependabot bot
December 1, 2024 20:18 1m 13s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.7.1
December 1, 2024 20:18 1m 13s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.8 Run Differential Tests #129: Pull request #178 labeled by dependabot bot
October 1, 2024 20:36 1m 39s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
October 1, 2024 20:36 1m 39s
Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.8 Run Differential Tests #128: Pull request #178 opened by dependabot bot
October 1, 2024 20:36 1m 14s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
October 1, 2024 20:36 1m 14s
Advance version to 3.10 Run Differential Tests #127: Pull request #177 opened by tautschnig
September 30, 2024 10:39 1m 19s tautschnig:release-3.10
tautschnig:release-3.10
September 30, 2024 10:39 1m 19s
Use trusted publisher with PyPi and blessed action Run Differential Tests #126: Pull request #176 opened by tautschnig
September 30, 2024 10:33 1m 26s tautschnig:use-trusted-publisher
tautschnig:use-trusted-publisher
September 30, 2024 10:33 1m 26s
Use action-gh-release to replace deprecated upload-release-asset Run Differential Tests #125: Pull request #174 synchronize by tautschnig
September 30, 2024 10:30 1m 27s tautschnig:replace-upload-release-asset
tautschnig:replace-upload-release-asset
September 30, 2024 10:30 1m 27s
Make sure no information fetched from secrets manager is logged Run Differential Tests #124: Pull request #172 synchronize by tautschnig
September 27, 2024 09:38 1m 11s tautschnig:hide-secrets
tautschnig:hide-secrets
September 27, 2024 09:38 1m 11s
Do not produce trace links for UNKNOWN status Run Differential Tests #123: Pull request #175 opened by tautschnig
September 24, 2024 19:33 1m 26s tautschnig:no-spurious-trace-links
tautschnig:no-spurious-trace-links
September 24, 2024 19:33 1m 26s
Use action-gh-release to replace deprecated upload-release-asset Run Differential Tests #122: Pull request #174 opened by tautschnig
September 24, 2024 19:19 1m 26s tautschnig:replace-upload-release-asset
tautschnig:replace-upload-release-asset
September 24, 2024 19:19 1m 26s
Use cElementTree to reduce memory consumption Run Differential Tests #121: Pull request #173 opened by tautschnig
September 17, 2024 18:27 1m 23s tautschnig:use-cElementTree
tautschnig:use-cElementTree
September 17, 2024 18:27 1m 23s
Make sure no information fetched from secrets manager is logged Run Differential Tests #120: Pull request #172 synchronize by tautschnig
August 22, 2024 19:05 6h 0m 30s tautschnig:hide-secrets
tautschnig:hide-secrets
August 22, 2024 19:05 6h 0m 30s
Make sure no information fetched from secrets manager is logged Run Differential Tests #119: Pull request #172 opened by tautschnig
August 22, 2024 18:34 6h 0m 30s tautschnig:hide-secrets
tautschnig:hide-secrets
August 22, 2024 18:34 6h 0m 30s
Fix update-pr workflow Run Differential Tests #118: Pull request #171 synchronize by tautschnig
July 30, 2024 16:00 6h 0m 28s tautschnig:update-pr-again
tautschnig:update-pr-again
July 30, 2024 16:00 6h 0m 28s
Fix update-pr workflow Run Differential Tests #117: Pull request #171 opened by tautschnig
July 30, 2024 15:18 6h 0m 25s tautschnig:update-pr-again
tautschnig:update-pr-again
July 30, 2024 15:18 6h 0m 25s
Second attempt to fix update-pr Run Differential Tests #116: Pull request #170 opened by tautschnig
July 19, 2024 21:08 6h 0m 27s tautschnig:fix-update-pr-again
tautschnig:fix-update-pr-again
July 19, 2024 21:08 6h 0m 27s
Extend permissions to make update-pr work Run Differential Tests #115: Pull request #169 opened by tautschnig
July 19, 2024 20:54 6h 0m 25s tautschnig:make-update-pr-work
tautschnig:make-update-pr-work
July 19, 2024 20:54 6h 0m 25s
fixup! CI jobs: remove use of deprecated set-output Run Differential Tests #114: Pull request #168 opened by tautschnig
July 18, 2024 12:21 6h 0m 25s tautschnig:fix-output-name
tautschnig:fix-output-name
July 18, 2024 12:21 6h 0m 25s
Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3 Run Differential Tests #113: Pull request #167 opened by dependabot bot
July 18, 2024 06:14 6h 0m 28s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 18, 2024 06:14 6h 0m 28s
Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3 Run Differential Tests #112: Pull request #167 labeled by dependabot bot
July 18, 2024 06:14 6h 0m 26s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 18, 2024 06:14 6h 0m 26s
Bump actions/checkout from 2 to 4 Run Differential Tests #111: Pull request #166 opened by dependabot bot
July 18, 2024 06:14 6h 0m 25s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 18, 2024 06:14 6h 0m 25s
Bump actions/checkout from 2 to 4 Run Differential Tests #110: Pull request #166 labeled by dependabot bot
July 18, 2024 06:14 6h 0m 27s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 18, 2024 06:14 6h 0m 27s
Bump actions/download-artifact from 3 to 4 Run Differential Tests #109: Pull request #165 opened by dependabot bot
July 18, 2024 06:14 6h 0m 30s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
July 18, 2024 06:14 6h 0m 30s
Bump actions/download-artifact from 3 to 4 Run Differential Tests #108: Pull request #165 labeled by dependabot bot
July 18, 2024 06:14 6h 0m 29s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
July 18, 2024 06:14 6h 0m 29s