Skip to content

Actions: open-s4c/vsyncer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
962 workflow runs
962 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run opt when checking with dartagnan Go #518: Commit b09392a pushed by hernanponcedeleon
May 7, 2024 12:38 58s dat3m-opt
dat3m-opt
May 7, 2024 12:38 58s
Update dat3m container Go #517: Pull request #52 opened by hernanponcedeleon
April 29, 2024 17:04 36s dat3m
dat3m
April 29, 2024 17:04 36s
Update dat3m container Docker images #337: Commit bc0f810 pushed by hernanponcedeleon
April 29, 2024 17:03 10m 38s dat3m
dat3m
April 29, 2024 17:03 10m 38s
Update dat3m container Go #516: Commit bc0f810 pushed by hernanponcedeleon
April 29, 2024 17:03 50s dat3m
dat3m
April 29, 2024 17:03 50s
Use lazy as the default method for dartagnan (#50) Docker images #336: Commit e7be6fd pushed by db7
April 29, 2024 15:45 9m 59s main
main
April 29, 2024 15:45 9m 59s
Use lazy as the default method for dartagnan (#50) Go #515: Commit e7be6fd pushed by db7
April 29, 2024 15:45 47s main
main
April 29, 2024 15:45 47s
Add dartagnan.getVersion() (#49) Go #514: Commit 8d87250 pushed by db7
April 29, 2024 15:44 38s main
main
April 29, 2024 15:44 38s
Add dartagnan.getVersion() (#49) Docker images #335: Commit 8d87250 pushed by db7
April 29, 2024 15:44 25m 14s main
main
April 29, 2024 15:44 25m 14s
Docker: add llvm package for dat3m opt dependency Go #513: Pull request #51 opened by apaolillo
April 28, 2024 08:06 48s llvm
llvm
April 28, 2024 08:06 48s
Docker: add llvm package for dat3m opt dependency Go #512: Commit c1de07f pushed by apaolillo
April 28, 2024 08:05 32s llvm
llvm
April 28, 2024 08:05 32s
Docker: add llvm package for dat3m opt dependency Docker images #334: Commit c1de07f pushed by apaolillo
April 28, 2024 08:05 9m 29s llvm
llvm
April 28, 2024 08:05 9m 29s
Explicitly state that foo takes no parameter instead of allowing it t… Go #511: Commit 83fb6cd pushed by db7
April 26, 2024 17:56 41s main
main
April 26, 2024 17:56 41s
Explicitly state that foo takes no parameter instead of allowing it t… Docker images #333: Commit 83fb6cd pushed by db7
April 26, 2024 17:56 10m 1s main
main
April 26, 2024 17:56 10m 1s
Use lazy as the default method for dartagnan Go #510: Pull request #50 opened by hernanponcedeleon
April 26, 2024 09:16 57s lazy
lazy
April 26, 2024 09:16 57s
- Use lazy as the default method for dartagnan Docker images #332: Commit 2cd02e2 pushed by hernanponcedeleon
April 26, 2024 09:16 10m 8s lazy
lazy
April 26, 2024 09:16 10m 8s
- Use lazy as the default method for dartagnan Go #509: Commit 2cd02e2 pushed by hernanponcedeleon
April 26, 2024 09:16 33s lazy
lazy
April 26, 2024 09:16 33s
Add dartagnan.getVersion() Go #508: Pull request #49 synchronize by hernanponcedeleon
April 26, 2024 07:52 49s version
version
April 26, 2024 07:52 49s
Fix string/int type in getVersion Docker images #331: Commit ad80d5c pushed by hernanponcedeleon
April 26, 2024 07:52 10m 24s version
version
April 26, 2024 07:52 10m 24s
Fix string/int type in getVersion Go #507: Commit ad80d5c pushed by hernanponcedeleon
April 26, 2024 07:52 40s version
version
April 26, 2024 07:52 40s
Add dartagnan.getVersion() Go #506: Pull request #49 synchronize by hernanponcedeleon
April 26, 2024 07:50 38s version
version
April 26, 2024 07:50 38s
Normalize struct name for dartagnan and genmc Docker images #330: Commit e35d9cd pushed by hernanponcedeleon
April 26, 2024 07:50 10m 24s version
version
April 26, 2024 07:50 10m 24s
Normalize struct name for dartagnan and genmc Go #505: Commit e35d9cd pushed by hernanponcedeleon
April 26, 2024 07:50 44s version
version
April 26, 2024 07:50 44s
Add dartagnan.getVersion() Go #504: Pull request #49 synchronize by hernanponcedeleon
April 26, 2024 07:46 51s version
version
April 26, 2024 07:46 51s
Unify tool version handling for dartagnan and genmc Go #503: Commit 0c25748 pushed by hernanponcedeleon
April 26, 2024 07:46 35s version
version
April 26, 2024 07:46 35s
Unify tool version handling for dartagnan and genmc Docker images #329: Commit 0c25748 pushed by hernanponcedeleon
April 26, 2024 07:46 9m 42s version
version
April 26, 2024 07:46 9m 42s