Skip to content

Actions: leviysoft/oolong

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
337 workflow runs
337 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix :+ operator
CI #308: Commit cd38bb7 pushed by danslapman
January 5, 2025 13:41 4m 30s v0.4.4
January 5, 2025 13:41 4m 30s
Fix :+ operator
Release Drafter #112: Commit cd38bb7 pushed by danslapman
January 5, 2025 13:40 14s main
January 5, 2025 13:40 14s
Fix :+ operator
CI #307: Commit cd38bb7 pushed by danslapman
January 5, 2025 13:40 2m 11s main
January 5, 2025 13:40 2m 11s
Fix :+ operator
CI #306: Pull request #56 opened by danslapman
January 5, 2025 13:37 2m 16s fix/bsonmerge
January 5, 2025 13:37 2m 16s
Fix :+ operator
Release Drafter #111: Pull request #56 opened by danslapman
January 5, 2025 13:37 14s fix/bsonmerge
January 5, 2025 13:37 14s
Fix :+ operator
CI #305: Commit 4f9b336 pushed by danslapman
January 5, 2025 13:37 2m 15s fix/bsonmerge
January 5, 2025 13:37 2m 15s
Add test for lifted forall
CI #304: Commit 6f63492 pushed by danslapman
January 5, 2025 01:15 4m 12s v0.4.3
January 5, 2025 01:15 4m 12s
Add test for lifted forall
CI #303: Commit 6f63492 pushed by danslapman
January 5, 2025 01:15 2m 26s main
January 5, 2025 01:15 2m 26s
Add test for lifted forall
Release Drafter #110: Commit 6f63492 pushed by danslapman
January 5, 2025 01:15 12s main
January 5, 2025 01:15 12s
Add test for lifted forall
CI #302: Pull request #54 opened by danslapman
January 5, 2025 01:11 2m 14s feature/forall-lifted
January 5, 2025 01:11 2m 14s
Add test for lifted forall
Release Drafter #109: Pull request #54 opened by danslapman
January 5, 2025 01:11 10s feature/forall-lifted
January 5, 2025 01:11 10s
Add test for lifted forall
CI #301: Commit f06396d pushed by danslapman
January 5, 2025 01:11 2m 18s feature/forall-lifted
January 5, 2025 01:11 2m 18s
Widen type of lifted expressions
Release Drafter #108: Commit 4cf778f pushed by danslapman
January 5, 2025 01:05 10s main
January 5, 2025 01:05 10s
Widen type of lifted expressions
CI #300: Commit 4cf778f pushed by danslapman
January 5, 2025 01:05 2m 14s main
January 5, 2025 01:05 2m 14s
Widen type of lifted expressions
Release Drafter #107: Pull request #53 opened by danslapman
January 5, 2025 01:00 10s bugfix/lift-given-capture
January 5, 2025 01:00 10s
Widen type of lifted expressions
CI #299: Pull request #53 opened by danslapman
January 5, 2025 01:00 2m 27s bugfix/lift-given-capture
January 5, 2025 01:00 2m 27s
Support isBefore & isAfter for Instant
CI #297: Commit 5dba756 pushed by danslapman
January 4, 2025 22:19 4m 27s v0.4.2
January 4, 2025 22:19 4m 27s
Support isBefore & isAfter for Instant
CI #296: Commit 5dba756 pushed by danslapman
January 4, 2025 22:15 2m 24s main
January 4, 2025 22:15 2m 24s
Support isBefore & isAfter for Instant
Release Drafter #106: Commit 5dba756 pushed by danslapman
January 4, 2025 22:15 12s main
January 4, 2025 22:15 12s
Support isBefore & isAfter for Instant
Release Drafter #105: Pull request #51 synchronize by danslapman
January 4, 2025 22:11 11s feature/instant-before-after
January 4, 2025 22:11 11s
Support isBefore & isAfter for Instant
CI #295: Pull request #51 synchronize by danslapman
January 4, 2025 22:11 2m 16s feature/instant-before-after
January 4, 2025 22:11 2m 16s
Support isBefore & isAfter for Instant
Release Drafter #104: Pull request #51 opened by danslapman
January 4, 2025 22:08 13s feature/instant-before-after
January 4, 2025 22:08 13s