Skip to content

Actions: tydeu/lean4-papyrus

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
7 workflow runs
7 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
chore: bump LLVM version / Win CI fix CI #63: Pull request #6 synchronize by tydeu
August 1, 2023 01:07 2m 49s win-ci-fix
win-ci-fix
August 1, 2023 01:07 2m 49s
chore: bump LLVM version / Win CI fix CI #62: Pull request #6 synchronize by tydeu
August 1, 2023 01:04 3m 8s win-ci-fix
win-ci-fix
August 1, 2023 01:04 3m 8s
chore: bump LLVM version / Win CI fix CI #61: Pull request #6 opened by tydeu
August 1, 2023 00:41 2m 14s win-ci-fix
win-ci-fix
August 1, 2023 00:41 2m 14s
fix: use exact LLVM version in MacOS CI build path CI #60: Commit a6601d7 pushed by tydeu
August 1, 2023 00:01 3m 32s master
master
August 1, 2023 00:01 3m 32s
fix: MacOS CI build CI #59: Pull request #5 synchronize by tydeu
July 31, 2023 23:58 3m 0s macos-build-fix
macos-build-fix
July 31, 2023 23:58 3m 0s
fix: MacOS CI build CI #58: Pull request #5 opened by tydeu
July 31, 2023 23:53 3m 19s macos-build-fix
macos-build-fix
July 31, 2023 23:53 3m 19s
chore: add license CI #57: Commit c11ecc2 pushed by tydeu
July 8, 2023 19:19 2m 0s master
master
July 8, 2023 19:19 2m 0s