Skip to content

Actions: hernanponcedeleon/Dat3M

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow run results
125 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove version number from jar files Build #1691: Pull request #504 opened by hernanponcedeleon
August 21, 2023 13:13 1h 22m 21s jar_file
jar_file
August 21, 2023 13:13 1h 22m 21s
LLVM grammar Build #1690: Pull request #493 synchronize by xeren
August 21, 2023 12:55 1h 11m 22s llvm-grammar0
llvm-grammar0
August 21, 2023 12:55 1h 11m 22s
Avoid using the term coverage in the report about executed events Build #1689: Pull request #503 opened by hernanponcedeleon
August 21, 2023 09:20 1h 19m 19s coverage
coverage
August 21, 2023 09:20 1h 19m 19s
Proper memory access typing & updated compilation (#502) Build #1688: Commit 30ade2b pushed by hernanponcedeleon
August 20, 2023 18:09 57m 15s development
development
August 20, 2023 18:09 57m 15s
Proper memory access typing & updated compilation Build #1687: Pull request #502 synchronize by ThomasHaas
August 20, 2023 11:14 1h 18m 33s fixMemoryAccessTyping
fixMemoryAccessTyping
August 20, 2023 11:14 1h 18m 33s
Proper memory access typing & updated compilation Build #1686: Pull request #502 opened by ThomasHaas
August 18, 2023 15:35 1h 22m 7s fixMemoryAccessTyping
fixMemoryAccessTyping
August 18, 2023 15:35 1h 22m 7s
Merge latest changes from rework (#498) Build #1685: Commit 027b402 pushed by hernanponcedeleon
August 18, 2023 14:18 1h 13m 45s master
master
August 18, 2023 14:18 1h 13m 45s
Release 3.2.0 Build #1684: Commit 13dc2be pushed by hernanponcedeleon
August 18, 2023 14:09 9m 39s master
master
August 18, 2023 14:09 9m 39s
Release 3.2.0 Build #1683: Pull request #501 opened by hernanponcedeleon
August 18, 2023 13:50 1h 25m 45s development
development
August 18, 2023 13:50 1h 25m 45s
Accept llvm files as input (#500) Build #1682: Commit 859a3f9 pushed by hernanponcedeleon
August 18, 2023 13:46 1h 14m 54s development
development
August 18, 2023 13:46 1h 14m 54s
LLVM grammar Build #1681: Pull request #493 synchronize by ThomasHaas
August 18, 2023 10:04 57m 13s llvm-grammar0
llvm-grammar0
August 18, 2023 10:04 57m 13s
Accept llvm files as input Build #1680: Pull request #500 opened by hernanponcedeleon
August 18, 2023 09:42 1h 14m 24s llvm_input
llvm_input
August 18, 2023 09:42 1h 14m 24s
LLVM grammar Build #1679: Pull request #493 synchronize by ThomasHaas
August 18, 2023 09:34 1h 17m 41s llvm-grammar0
llvm-grammar0
August 18, 2023 09:34 1h 17m 41s
LLVM grammar Build #1678: Pull request #493 synchronize by ThomasHaas
August 17, 2023 16:58 1h 18m 51s llvm-grammar0
llvm-grammar0
August 17, 2023 16:58 1h 18m 51s
LLVM grammar Build #1677: Pull request #493 synchronize by hernanponcedeleon
August 17, 2023 13:49 1h 7m 13s llvm-grammar0
llvm-grammar0
August 17, 2023 13:49 1h 7m 13s
LLVM grammar Build #1676: Pull request #493 synchronize by ThomasHaas
August 17, 2023 12:20 1h 19m 11s llvm-grammar0
llvm-grammar0
August 17, 2023 12:20 1h 19m 11s
LLVM grammar Build #1675: Pull request #493 synchronize by ThomasHaas
August 17, 2023 09:30 1h 3m 49s llvm-grammar0
llvm-grammar0
August 17, 2023 09:30 1h 3m 49s
LLVM grammar Build #1674: Pull request #493 synchronize by hernanponcedeleon
August 17, 2023 08:47 1h 29m 3s llvm-grammar0
llvm-grammar0
August 17, 2023 08:47 1h 29m 3s
LLVM grammar Build #1673: Pull request #493 synchronize by hernanponcedeleon
August 17, 2023 08:34 1h 5m 2s llvm-grammar0
llvm-grammar0
August 17, 2023 08:34 1h 5m 2s
LLVM grammar Build #1672: Pull request #493 synchronize by ThomasHaas
August 16, 2023 14:32 59m 12s llvm-grammar0
llvm-grammar0
August 16, 2023 14:32 59m 12s
LLVM grammar Build #1671: Pull request #493 synchronize by hernanponcedeleon
August 16, 2023 14:06 1h 12m 35s llvm-grammar0
llvm-grammar0
August 16, 2023 14:06 1h 12m 35s
LLVM grammar Build #1670: Pull request #493 synchronize by hernanponcedeleon
August 16, 2023 13:11 57m 39s llvm-grammar0
llvm-grammar0
August 16, 2023 13:11 57m 39s
LLVM grammar Build #1669: Pull request #493 synchronize by ThomasHaas
August 16, 2023 12:59 16m 23s llvm-grammar0
llvm-grammar0
August 16, 2023 12:59 16m 23s
LLVM grammar Build #1668: Pull request #493 synchronize by hernanponcedeleon
August 16, 2023 12:39 36m 44s llvm-grammar0
llvm-grammar0
August 16, 2023 12:39 36m 44s
LLVM grammar Build #1667: Pull request #493 synchronize by ThomasHaas
August 16, 2023 12:05 1h 10m 47s llvm-grammar0
llvm-grammar0
August 16, 2023 12:05 1h 10m 47s