Skip to content

Actions: pacti-org/pacti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Added support for Boolean vars in SMT constraints Pacti Development #204: Commit 714b42f pushed by StefanPanjkovicFBK
2m 14s IssueWithQuotient
IssueWithQuotient
2m 14s
Pacti Production Pacti Production #13: Manually run by iincer
12m 4s main
main
12m 4s
Merge pull request #361 from pacti-org/360-bug-pacti-v030-does-not-in… Create release #2: Commit 1080285 pushed by iincer
9s 0.3.1
0.3.1
9s
v0.3.1 Upload Python Package #12: Release 0.3.1 published by iincer
37s
37s
Graph Update: pip in /. #1474917742 Dependency Graph #3: by dependabot Bot
45s main
main
45s
Deprecating Python 3.8 and 3.9 Pacti Development #203: Commit 83fe53a pushed by iincer
2m 18s 360-bug-pacti-v030-does-not-install
360-bug-pacti-v030-does-not-install
2m 18s
Change package name from 'Pacti' to 'pacti' Pacti Development #202: Commit 0255920 pushed by iincer
2m 2s 360-bug-pacti-v030-does-not-install
360-bug-pacti-v030-does-not-install
2m 2s
Upload Python Package Upload Python Package #11: Manually run by iincer
29s main
main
29s
v0.3.0 Upload Python Package #10: Release 0.3.0 published by iincer
34s
34s
Graph Update: pip in /. #1469989101 Dependency Graph #2: by dependabot Bot
49s main
main
49s
Upload Python Package Upload Python Package #9: Manually run by iincer
32s main
main
32s
Upload Python Package Upload Python Package #8: Manually run by iincer
20s main
main
20s
Upload Python Package Upload Python Package #7: Manually run by iincer
24s main
main
24s
Refactor Python package publish workflow Upload Python Package #6: Commit c5b2fc1 pushed by iincer
Failure main
main
Failure
Upload Python Package Upload Python Package #5: published by iincer
44s
44s
Merge pull request #359 from pacti-org/358-feature-request-extend-sup… Create release #1: Commit 8301974 pushed by iincer
8s 0.3.0
0.3.0
8s
Graph Update: pip in /. #1469797727 Dependency Graph #1: by dependabot Bot
43s main
main
43s
Updating version number Pacti Development #201: Commit 4bf57a9 pushed by iincer
2m 10s 358-feature-request-extend-supported-python-version-to-312
358-feature-request-extend-supported-python-version-to-312
2m 10s
Removing Python upper limits on Python versions Pacti Development #200: Commit 1035388 pushed by iincer
2m 11s 358-feature-request-extend-supported-python-version-to-312
358-feature-request-extend-supported-python-version-to-312
2m 11s
Updating README Pacti Development #199: Commit 195bbf0 pushed by iincer
2m 36s 358-feature-request-extend-supported-python-version-to-312
358-feature-request-extend-supported-python-version-to-312
2m 36s