Skip to content

Actions: Innmind/Immutable

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
July 5, 2024 16:05 29s
July 5, 2024 16:05 29s
Merge branch 'develop' CI #252: Commit ee975c5 pushed by Baptouuuu
July 5, 2024 16:05 13m 5s 5.9.0
5.9.0
July 5, 2024 16:05 13m 5s
Merge branch 'develop' Documentation #32: Commit ee975c5 pushed by Baptouuuu
July 5, 2024 16:05 42s master
master
July 5, 2024 16:05 42s
Merge branch 'develop' CI #251: Commit ee975c5 pushed by Baptouuuu
July 5, 2024 16:05 10m 23s master
master
July 5, 2024 16:05 10m 23s
specify next release CI #250: Commit 99aa7f8 pushed by Baptouuuu
July 5, 2024 16:05 7m 5s develop
develop
July 5, 2024 16:05 7m 5s
Merge pull request #23 from Innmind/sequence-chunk CI #249: Commit c3624a0 pushed by Baptouuuu
July 5, 2024 16:04 4m 20s develop
develop
July 5, 2024 16:04 4m 20s
fix psalm errors CI #248: Commit d4d5254 pushed by Baptouuuu
July 5, 2024 16:00 4m 3s sequence-chunk
sequence-chunk
July 5, 2024 16:00 4m 3s
add Sequence::chunk() CI #247: Commit efc63b5 pushed by Baptouuuu
July 5, 2024 15:54 5m 41s sequence-chunk
sequence-chunk
July 5, 2024 15:54 5m 41s
pages build and deployment pages-build-deployment #20: by github-pages bot
June 29, 2024 07:27 22s
June 29, 2024 07:27 22s
Merge branch 'develop' Documentation #31: Commit 22dce2b pushed by Baptouuuu
June 29, 2024 07:26 26s master
master
June 29, 2024 07:26 26s
Merge branch 'develop' CI #246: Commit 22dce2b pushed by Baptouuuu
June 29, 2024 07:26 5m 26s master
master
June 29, 2024 07:26 5m 26s
add documentation on lazy/deferred identity CI #245: Commit 8719f77 pushed by Baptouuuu
June 29, 2024 07:26 3m 16s develop
develop
June 29, 2024 07:26 3m 16s
pages build and deployment pages-build-deployment #19: by github-pages bot
June 27, 2024 12:43 23s
June 27, 2024 12:43 23s
Merge branch 'develop' CI #244: Commit 4fc9114 pushed by Baptouuuu
June 27, 2024 12:43 10m 27s 5.8.0
5.8.0
June 27, 2024 12:43 10m 27s
Merge branch 'develop' Documentation #30: Commit 4fc9114 pushed by Baptouuuu
June 27, 2024 12:43 25s master
master
June 27, 2024 12:43 25s
Merge branch 'develop' CI #243: Commit 4fc9114 pushed by Baptouuuu
June 27, 2024 12:43 7m 29s master
master
June 27, 2024 12:43 7m 29s
specify next release CI #242: Commit cbbc8f0 pushed by Baptouuuu
June 27, 2024 12:42 5m 57s develop
develop
June 27, 2024 12:42 5m 57s
Merge pull request #22 from Innmind/lazy-identity CI #241: Commit 7ce5603 pushed by Baptouuuu
June 27, 2024 12:42 3m 16s develop
develop
June 27, 2024 12:42 3m 16s
remove useless method CI #240: Commit 3f17e61 pushed by Baptouuuu
June 27, 2024 12:38 3m 13s lazy-identity
lazy-identity
June 27, 2024 12:38 3m 13s
add proof on lazy/deferred Identity::flatMap() CI #239: Commit a0d8d00 pushed by Baptouuuu
June 27, 2024 12:27 3m 39s lazy-identity
lazy-identity
June 27, 2024 12:27 3m 39s
add Identity::toSequence() CI #238: Commit c971ccc pushed by Baptouuuu
June 27, 2024 11:50 3m 21s lazy-identity
lazy-identity
June 27, 2024 11:50 3m 21s
pages build and deployment pages-build-deployment #18: by github-pages bot
June 25, 2024 10:15 25s
June 25, 2024 10:15 25s
Merge branch 'develop' CI #237: Commit d861ab3 pushed by Baptouuuu
June 25, 2024 10:15 8m 16s 5.7.0
5.7.0
June 25, 2024 10:15 8m 16s
Merge branch 'develop' Documentation #29: Commit d861ab3 pushed by Baptouuuu
June 25, 2024 10:15 32s master
master
June 25, 2024 10:15 32s
Merge branch 'develop' CI #236: Commit d861ab3 pushed by Baptouuuu
June 25, 2024 10:15 6m 6s master
master
June 25, 2024 10:15 6m 6s