Skip to content

Actions: formal-php/orm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
223 workflow runs
223 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix doc coloring CI #220: Commit 92ff333 pushed by Baptouuuu
August 20, 2024 12:10 36m 22s has-specification
has-specification
August 20, 2024 12:10 36m 22s
improve code coverage CI #219: Commit 328f3ea pushed by Baptouuuu
August 20, 2024 12:08 31m 27s has-specification
has-specification
August 20, 2024 12:08 31m 27s
add Has specification CI #218: Commit 3f8f7a0 pushed by Baptouuuu
August 20, 2024 11:58 41m 44s has-specification
has-specification
August 20, 2024 11:58 41m 44s
Merge pull request #35 from formal-php/fix-empty-optional-update CI #217: Commit b783264 pushed by Baptouuuu
August 20, 2024 09:52 42m 39s develop
develop
August 20, 2024 09:52 42m 39s
fix updating optionals when no property changes CI #216: Commit 7a055c6 pushed by Baptouuuu
August 20, 2024 09:10 41m 32s fix-empty-optional-update
fix-empty-optional-update
August 20, 2024 09:10 41m 32s
CS CI #215: Commit 5b66a9d pushed by Baptouuuu
August 20, 2024 08:03 39m 52s fix-empty-optional-update
fix-empty-optional-update
August 20, 2024 08:03 39m 52s
Merge branch 'develop' into fix-empty-optional-update CI #214: Commit 60a400e pushed by Baptouuuu
August 20, 2024 08:01 32m 6s fix-empty-optional-update
fix-empty-optional-update
August 20, 2024 08:01 32m 6s
fix generating an invalid sql query when no property has changed in a… CI #213: Commit 0e51a7b pushed by Baptouuuu
August 20, 2024 07:56 30m 45s fix-empty-optional-update
fix-empty-optional-update
August 20, 2024 07:56 30m 45s
pages build and deployment pages-build-deployment #7: by github-pages bot
August 1, 2024 11:57 26s gh-pages
gh-pages
August 1, 2024 11:57 26s
Merge branch 'develop' CI #212: Commit 7f075db pushed by Baptouuuu
August 1, 2024 11:53 1h 20m 37s 3.1.1
3.1.1
August 1, 2024 11:53 1h 20m 37s
Merge branch 'develop' CI #211: Commit 7f075db pushed by Baptouuuu
August 1, 2024 11:53 1h 17m 46s master
master
August 1, 2024 11:53 1h 17m 46s
Merge branch 'develop' Documentation #7: Commit 7f075db pushed by Baptouuuu
August 1, 2024 11:53 3m 13s master
master
August 1, 2024 11:53 3m 13s
specify next release CI #210: Commit 1e692f4 pushed by Baptouuuu
August 1, 2024 11:53 41m 53s develop
develop
August 1, 2024 11:53 41m 53s
Merge pull request #34 from formal-php/fix-point-in-time CI #209: Commit 7a4b8db pushed by Baptouuuu
August 1, 2024 11:51 44m 58s develop
develop
August 1, 2024 11:51 44m 58s
use old constructor in a proof to keep coverage CI #208: Commit 8c562a3 pushed by Baptouuuu
August 1, 2024 11:10 41m 29s fix-point-in-time
fix-point-in-time
August 1, 2024 11:10 41m 29s
add missing pure annotation CI #207: Commit 4b3ea57 pushed by Baptouuuu
August 1, 2024 09:26 2m 11s fix-point-in-time
fix-point-in-time
August 1, 2024 09:26 2m 11s
fix point in time type format being non standard CI #206: Commit 842e5a8 pushed by Baptouuuu
August 1, 2024 09:20 41m 21s fix-point-in-time
fix-point-in-time
August 1, 2024 09:20 41m 21s
pages build and deployment pages-build-deployment #6: by github-pages bot
July 26, 2024 09:48 25s gh-pages
gh-pages
July 26, 2024 09:48 25s
Merge branch 'develop' CI #205: Commit 9f20f28 pushed by Baptouuuu
July 26, 2024 09:48 1h 19m 58s 3.1.0
3.1.0
July 26, 2024 09:48 1h 19m 58s
Merge branch 'develop' CI #204: Commit 9f20f28 pushed by Baptouuuu
July 26, 2024 09:48 41m 31s master
master
July 26, 2024 09:48 41m 31s
Merge branch 'develop' Documentation #6: Commit 9f20f28 pushed by Baptouuuu
July 26, 2024 09:48 35s master
master
July 26, 2024 09:48 35s
specify next release CI #203: Commit 127139a pushed by Baptouuuu
July 26, 2024 09:48 43m 5s develop
develop
July 26, 2024 09:48 43m 5s
Merge pull request #33 from formal-php/map-names CI #202: Commit 04a6102 pushed by Baptouuuu
July 26, 2024 08:46 41m 18s develop
develop
July 26, 2024 08:46 41m 18s
fix name mapping not being applied CI #201: Commit 7c5d838 pushed by Baptouuuu
July 26, 2024 07:52 51m 41s map-names
map-names
July 26, 2024 07:52 51m 41s
add documentation on how to change the name CI #200: Commit 374db42 pushed by Baptouuuu
July 26, 2024 07:46 37m 25s map-names
map-names
July 26, 2024 07:46 37m 25s