Skip to content

Actions: VerinFast/verinfast

Actions

Python Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
1,139 workflow runs
1,139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.6.20 Python Release #1443: Release 0.6.20 created by SeanTConrad
January 24, 2025 13:52 17m 35s
January 24, 2025 13:52 17m 35s
Merge pull request #666 from VerinFast/dependabot/pip/azure-mgmt-stor… Python Release #1442: Commit 9f26a51 pushed by SeanTConrad
January 23, 2025 22:16 14m 48s main
main
January 23, 2025 22:16 14m 48s
Merge pull request #664 from VerinFast/dependabot/pip/azure-mgmt-comp… Python Release #1441: Commit 7031a0f pushed by SeanTConrad
January 23, 2025 22:15 19m 48s main
main
January 23, 2025 22:15 19m 48s
Merge pull request #669 from VerinFast/dependabot/pip/semgrep-approx-… Python Release #1440: Commit 0241a31 pushed by SeanTConrad
January 23, 2025 22:14 18m 16s main
main
January 23, 2025 22:14 18m 16s
Update semgrep requirement from ~=1.103.0 to ~=1.104.0 Python Release #1439: Pull request #669 synchronize by dependabot bot
January 23, 2025 21:53 19m 35s dependabot/pip/semgrep-approx-eq-1.104.0
dependabot/pip/semgrep-approx-eq-1.104.0
January 23, 2025 21:53 19m 35s
Merge pull request #670 from VerinFast/dry_fix Python Release #1438: Commit 1dd7336 pushed by aylusltd
January 23, 2025 21:52 19m 0s main
main
January 23, 2025 21:52 19m 0s
pin findings, package-lock fix Python Release #1437: Pull request #670 opened by SeanTConrad
January 23, 2025 20:13 17m 50s dry_fix
dry_fix
January 23, 2025 20:13 17m 50s
Update semgrep requirement from ~=1.103.0 to ~=1.104.0 Python Release #1436: Pull request #669 opened by dependabot bot
January 23, 2025 12:05 20m 39s dependabot/pip/semgrep-approx-eq-1.104.0
dependabot/pip/semgrep-approx-eq-1.104.0
January 23, 2025 12:05 20m 39s
Update azure-mgmt-storage requirement from ~=21.2.1 to ~=22.0.0 Python Release #1435: Pull request #666 synchronize by dependabot bot
January 22, 2025 20:33 16m 57s dependabot/pip/azure-mgmt-storage-approx-eq-22.0.0
dependabot/pip/azure-mgmt-storage-approx-eq-22.0.0
January 22, 2025 20:33 16m 57s
Merge pull request #667 from VerinFast/dependabot/pip/boto3-approx-eq… Python Release #1434: Commit e8ab71a pushed by SeanTConrad
January 22, 2025 20:32 19m 34s main
main
January 22, 2025 20:32 19m 34s
Update boto3 requirement from ~=1.35.85 to ~=1.36.3 Python Release #1433: Pull request #667 synchronize by dependabot bot
January 22, 2025 20:01 15m 51s dependabot/pip/boto3-approx-eq-1.36.3
dependabot/pip/boto3-approx-eq-1.36.3
January 22, 2025 20:01 15m 51s
Merge pull request #656 from VerinFast/dependabot/pip/flake8-pytest-s… Python Release #1432: Commit f21ea51 pushed by SeanTConrad
January 22, 2025 20:00 18m 11s main
main
January 22, 2025 20:00 18m 11s
Update flake8-pytest-style requirement from ~=2.0.0 to ~=2.1.0 Python Release #1431: Pull request #656 synchronize by SeanTConrad
January 22, 2025 14:14 17m 37s dependabot/pip/flake8-pytest-style-approx-eq-2.1.0
dependabot/pip/flake8-pytest-style-approx-eq-2.1.0
January 22, 2025 14:14 17m 37s
Update boto3 requirement from ~=1.35.85 to ~=1.36.3 Python Release #1430: Pull request #667 opened by dependabot bot
January 22, 2025 11:20 16m 6s dependabot/pip/boto3-approx-eq-1.36.3
dependabot/pip/boto3-approx-eq-1.36.3
January 22, 2025 11:20 16m 6s
Update azure-mgmt-storage requirement from ~=21.2.1 to ~=22.0.0 Python Release #1429: Pull request #666 opened by dependabot bot
January 22, 2025 11:20 15m 48s dependabot/pip/azure-mgmt-storage-approx-eq-22.0.0
dependabot/pip/azure-mgmt-storage-approx-eq-22.0.0
January 22, 2025 11:20 15m 48s
Merge pull request #661 from VerinFast/dependabot/pip/semgrep-approx-… Python Release #1428: Commit c99a587 pushed by SeanTConrad
January 21, 2025 19:40 17m 2s main
main
January 21, 2025 19:40 17m 2s
Merge pull request #660 from VerinFast/sos-760 Python Release #1427: Commit 393c1a7 pushed by SeanTConrad
January 21, 2025 19:39 15m 27s main
main
January 21, 2025 19:39 15m 27s
Update azure-mgmt-compute requirement from ~=33.1.0 to ~=34.0.0 Python Release #1426: Pull request #664 synchronize by dependabot bot
January 21, 2025 19:38 15m 27s dependabot/pip/azure-mgmt-compute-approx-eq-34.0.0
dependabot/pip/azure-mgmt-compute-approx-eq-34.0.0
January 21, 2025 19:38 15m 27s
Merge pull request #653 from VerinFast/dependabot/pip/azure-mgmt-netw… Python Release #1425: Commit 805d956 pushed by SeanTConrad
January 21, 2025 19:37 13m 22s main
main
January 21, 2025 19:37 13m 22s
Merge pull request #652 from VerinFast/cachehash-semgrep-scan Python Release #1424: Commit 2cba4dd pushed by SeanTConrad
January 21, 2025 19:35 19m 32s main
main
January 21, 2025 19:35 19m 32s
Update boto3 requirement from ~=1.35.85 to ~=1.36.2 Python Release #1423: Pull request #665 opened by dependabot bot
January 20, 2025 11:50 14m 53s dependabot/pip/boto3-approx-eq-1.36.2
dependabot/pip/boto3-approx-eq-1.36.2
January 20, 2025 11:50 14m 53s
Update azure-mgmt-compute requirement from ~=33.1.0 to ~=34.0.0 Python Release #1422: Pull request #664 opened by dependabot bot
January 20, 2025 11:50 13m 20s dependabot/pip/azure-mgmt-compute-approx-eq-34.0.0
dependabot/pip/azure-mgmt-compute-approx-eq-34.0.0
January 20, 2025 11:50 13m 20s
Update boto3 requirement from ~=1.35.85 to ~=1.36.1 Python Release #1421: Pull request #663 opened by dependabot bot
January 17, 2025 11:44 17m 52s dependabot/pip/boto3-approx-eq-1.36.1
dependabot/pip/boto3-approx-eq-1.36.1
January 17, 2025 11:44 17m 52s
use profile from config if available Python Release #1420: Pull request #660 synchronize by ojokure
January 16, 2025 22:21 15m 37s sos-760
sos-760
January 16, 2025 22:21 15m 37s
Update boto3 requirement from ~=1.35.85 to ~=1.36.0 Python Release #1419: Pull request #662 opened by dependabot bot
January 16, 2025 11:13 16m 42s dependabot/pip/boto3-approx-eq-1.36.0
dependabot/pip/boto3-approx-eq-1.36.0
January 16, 2025 11:13 16m 42s