Skip to content

Actions: opprop/immutability

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use git-scripts in addition to plume-scripts CI #66: Pull request #58 opened by Ao-senXiong
June 27, 2024 20:46 1m 18s Ao-senXiong:master
Ao-senXiong:master
June 27, 2024 20:46 1m 18s
PICO type check update CI #65: Pull request #43 synchronize by Ao-senXiong
June 1, 2024 18:34 20m 8s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
June 1, 2024 18:34 20m 8s
PICO type check update CI #64: Pull request #43 synchronize by Ao-senXiong
June 1, 2024 18:25 4m 53s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
June 1, 2024 18:25 4m 53s
PICO type check update CI #63: Pull request #43 synchronize by Ao-senXiong
June 1, 2024 06:43 19m 29s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
June 1, 2024 06:43 19m 29s
PICO type check update CI #62: Pull request #43 synchronize by Ao-senXiong
June 1, 2024 05:49 19m 39s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
June 1, 2024 05:49 19m 39s
Rename ReceiverDependantMutable to ReceiverDependentMutable CI #61: Pull request #52 opened by Ao-senXiong
May 31, 2024 20:59 5m 3s Ao-senXiong:rename-rdm
Ao-senXiong:rename-rdm
May 31, 2024 20:59 5m 3s
PICO type check update CI #60: Pull request #43 synchronize by Ao-senXiong
May 31, 2024 19:42 6m 3s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 31, 2024 19:42 6m 3s
PICO inference part CI #59: Pull request #51 opened by Ao-senXiong
May 31, 2024 19:27 4m 51s Ao-senXiong:PICO-inference
Ao-senXiong:PICO-inference
May 31, 2024 19:27 4m 51s
PICO type check update CI #58: Pull request #43 synchronize by Ao-senXiong
May 8, 2024 20:28 20m 20s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 8, 2024 20:28 20m 20s
Add some examples CI #57: Pull request #48 synchronize by Ao-senXiong
May 8, 2024 00:59 5m 0s java-examples
java-examples
May 8, 2024 00:59 5m 0s
PICO type check update CI #56: Pull request #43 synchronize by Ao-senXiong
May 8, 2024 00:38 19m 46s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 8, 2024 00:38 19m 46s
PICO type check update CI #55: Pull request #43 synchronize by Ao-senXiong
May 7, 2024 17:38 19m 16s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 7, 2024 17:38 19m 16s
PICO type check update CI #54: Pull request #43 synchronize by Ao-senXiong
May 7, 2024 17:09 19m 10s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 7, 2024 17:09 19m 10s
PICO type check update CI #53: Pull request #43 synchronize by Ao-senXiong
May 7, 2024 00:45 23m 9s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 7, 2024 00:45 23m 9s
Add some examples CI #52: Pull request #48 opened by wmdietl
May 4, 2024 21:53 4m 22s java-examples
java-examples
May 4, 2024 21:53 4m 22s
Add license (#33) CI #51: Commit 1a53cbb pushed by wmdietl
May 4, 2024 21:50 4m 32s master
master
May 4, 2024 21:50 4m 32s
PICO type check update CI #50: Pull request #43 synchronize by Ao-senXiong
May 2, 2024 00:26 6m 46s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 2, 2024 00:26 6m 46s
PICO type check update CI #49: Pull request #43 synchronize by Ao-senXiong
May 2, 2024 00:23 6m 36s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 2, 2024 00:23 6m 36s
PICO type check update CI #48: Pull request #43 synchronize by Ao-senXiong
May 1, 2024 22:55 17m 57s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 1, 2024 22:55 17m 57s
PICO type check update CI #47: Pull request #43 synchronize by Ao-senXiong
May 1, 2024 19:39 18m 22s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 1, 2024 19:39 18m 22s
PICO type check update CI #46: Pull request #43 synchronize by Ao-senXiong
May 1, 2024 19:33 4m 59s Ao-senXiong:PICO-pull-in
Ao-senXiong:PICO-pull-in
May 1, 2024 19:33 4m 59s
Update JavaExamples.java CI #45: Pull request #45 opened by Ao-senXiong
April 29, 2024 18:08 4m 35s Test-case-discussion
Test-case-discussion
April 29, 2024 18:08 4m 35s
Update JavaExamples.java CI #44: Commit 15c5406 pushed by txiang61
April 26, 2024 19:24 5m 7s master
master
April 26, 2024 19:24 5m 7s
Update JavaExamples with more examples CI #43: Commit 10a07e3 pushed by txiang61
April 26, 2024 19:20 4m 35s master
master
April 26, 2024 19:20 4m 35s
Add reference to previous thesis CI #42: Pull request #44 opened by Ao-senXiong
April 26, 2024 19:19 4m 32s add-thesis-reference
add-thesis-reference
April 26, 2024 19:19 4m 32s