Skip to content

Actions: OCamlPro/owi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,132 workflow runs
2,132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integration of E-ACSL specification language in owi build #1455: Pull request #324 synchronize by zapashcanon
August 13, 2024 13:22 27m 49s Laplace-Demon:eacsl
Laplace-Demon:eacsl
August 13, 2024 13:22 27m 49s
remove one invalid file from the whitelist, increase the number of deploy #380: Commit db032d8 pushed by zapashcanon
August 13, 2024 11:40 1m 12s main
main
August 13, 2024 11:40 1m 12s
remove one invalid file from the whitelist, increase the number of build #1454: Commit db032d8 pushed by zapashcanon
August 13, 2024 11:40 1m 23s main
main
August 13, 2024 11:40 1m 23s
remove one invalid file from the whitelist, increase the number of build #1453: Pull request #408 opened by zapashcanon
August 13, 2024 11:39 1m 20s zapashcanon:bench
zapashcanon:bench
August 13, 2024 11:39 1m 20s
remove one invalid file from the whitelist, increase the number of check-changelog #426: Pull request #408 opened by zapashcanon
August 13, 2024 11:39 14s zapashcanon:bench
zapashcanon:bench
August 13, 2024 11:39 14s
github_actions in /. - Update #868504307 Dependabot Updates #4: by dependabot bot
August 12, 2024 21:16 3m 36s
August 12, 2024 21:16 3m 36s
Detail run definition build #1452: Commit e21c4ca pushed by zapashcanon
August 11, 2024 10:32 1m 30s main
main
August 11, 2024 10:32 1m 30s
Detail run definition deploy #379: Commit e21c4ca pushed by zapashcanon
August 11, 2024 10:32 1m 18s main
main
August 11, 2024 10:32 1m 18s
Trim explored paths and enable collections-c for owi conc build #1451: Pull request #406 opened by filipeom
August 10, 2024 10:51 1m 24s filipeom:concolic
filipeom:concolic
August 10, 2024 10:51 1m 24s
Trim explored paths and enable collections-c for owi conc check-changelog #425: Pull request #406 opened by filipeom
August 10, 2024 10:51 11s filipeom:concolic
filipeom:concolic
August 10, 2024 10:51 11s
Code impro paper check-changelog #424: Pull request #405 synchronize by krtab
August 6, 2024 12:17 18s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 12:17 18s
Code impro paper build #1450: Pull request #405 synchronize by krtab
August 6, 2024 12:17 1m 51s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 12:17 1m 51s
Code impro paper check-changelog #423: Pull request #405 opened by krtab
August 6, 2024 09:57 14s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 09:57 14s
Code impro paper build #1449: Pull request #405 opened by krtab
August 6, 2024 09:57 1m 23s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 09:57 1m 23s
Create Synchronzier module build #1448: Commit 22e4151 pushed by zapashcanon
August 6, 2024 09:08 1m 26s main
main
August 6, 2024 09:08 1m 26s
Create Synchronzier module deploy #378: Commit 22e4151 pushed by zapashcanon
August 6, 2024 09:08 1m 37s main
main
August 6, 2024 09:08 1m 37s
Bump tarides/changelog-check-action from 2 to 3 deploy #377: Commit 113a08b pushed by zapashcanon
August 6, 2024 09:02 1m 39s main
main
August 6, 2024 09:02 1m 39s
Bump tarides/changelog-check-action from 2 to 3 build #1447: Commit 113a08b pushed by zapashcanon
August 6, 2024 09:02 1m 26s main
main
August 6, 2024 09:02 1m 26s
Create Synchronzier module check-changelog #422: Pull request #360 synchronize by krtab
August 6, 2024 07:55 1m 35s krtab:synchronizer
krtab:synchronizer
August 6, 2024 07:55 1m 35s
Create Synchronzier module build #1446: Pull request #360 synchronize by krtab
August 6, 2024 07:55 4m 33s krtab:synchronizer
krtab:synchronizer
August 6, 2024 07:55 4m 33s
Bump tarides/changelog-check-action from 2 to 3 check-changelog #421: Pull request #404 opened by dependabot bot
August 5, 2024 21:27 12s dependabot/github_actions/tarides/changelog-check-action-3
dependabot/github_actions/tarides/changelog-check-action-3
August 5, 2024 21:27 12s
Bump tarides/changelog-check-action from 2 to 3 build #1445: Pull request #404 opened by dependabot bot
August 5, 2024 21:27 1m 27s dependabot/github_actions/tarides/changelog-check-action-3
dependabot/github_actions/tarides/changelog-check-action-3
August 5, 2024 21:27 1m 27s
github_actions in /. - Update #865497260 Dependabot Updates #3: by dependabot bot
August 5, 2024 21:24 3m 46s
August 5, 2024 21:24 3m 46s
Adds memsight memory model check-changelog #420: Pull request #338 synchronize by filipeom
August 5, 2024 09:54 13s filipeom:memsight
filipeom:memsight
August 5, 2024 09:54 13s
Adds memsight memory model build #1444: Pull request #338 synchronize by filipeom
August 5, 2024 09:54 1m 24s filipeom:memsight
filipeom:memsight
August 5, 2024 09:54 1m 24s