Skip to content

Actions: proof-ninja/ocaml2evm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2 from y-tak6/boolean-op CI #10: Commit 4380faa pushed by mir-ikbch
December 10, 2024 06:26 7m 45s main
main
December 10, 2024 06:26 7m 45s
Adding boolean operators CI #9: Pull request #2 synchronize by y-tak6
November 18, 2024 06:20 8m 12s y-tak6:boolean-op
y-tak6:boolean-op
November 18, 2024 06:20 8m 12s
Adding boolean operators CI #8: Pull request #2 synchronize by y-tak6
October 26, 2024 14:25 3m 54s y-tak6:boolean-op
y-tak6:boolean-op
October 26, 2024 14:25 3m 54s
Adding boolean operators CI #7: Pull request #2 opened by y-tak6
October 26, 2024 14:18 7m 24s y-tak6:boolean-op
y-tak6:boolean-op
October 26, 2024 14:18 7m 24s
Merge pull request #1 from y-tak6/main CI #6: Commit 34898f4 pushed by mir-ikbch
October 3, 2024 07:36 7m 24s main
main
October 3, 2024 07:36 7m 24s
anormal revise CI #5: Pull request #1 synchronize by y-tak6
September 23, 2024 14:26 4m 33s y-tak6:main
y-tak6:main
September 23, 2024 14:26 4m 33s
anormal revise CI #4: Pull request #1 synchronize by y-tak6
September 18, 2024 15:40 7m 40s y-tak6:main
y-tak6:main
September 18, 2024 15:40 7m 40s
anormal revise CI #3: Pull request #1 synchronize by y-tak6
September 6, 2024 16:30 7m 46s y-tak6:main
y-tak6:main
September 6, 2024 16:30 7m 46s
anormal revise CI #2: Pull request #1 opened by y-tak6
August 8, 2024 15:07 7m 52s y-tak6:main
y-tak6:main
August 8, 2024 15:07 7m 52s
anormal done CI #1: Commit c4b25d3 pushed by yoshihiro503
July 22, 2024 02:02 6m 55s main
main
July 22, 2024 02:02 6m 55s