Skip to content

Actions: VeriFIT/kofola

Actions

Various platforms (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various optimisations Various platforms (build-&-test) #18: Pull request #11 opened by vhavlena
January 13, 2025 06:33 1m 3s various-opt
various-opt
January 13, 2025 06:33 1m 3s
Fix complement error. Various platforms (build-&-test) #17: Pull request #9 synchronize by vhavlena
January 12, 2025 18:04 54s complement-bugfix
complement-bugfix
January 12, 2025 18:04 54s
Merge pull request #10 from VeriFIT/inclusion-default-params Various platforms (build-&-test) #16: Commit 49b7c7e pushed by vhavlena
January 12, 2025 10:41 1m 53s devel
devel
January 12, 2025 10:41 1m 53s
Merge pull request #8 from VeriFIT/early-opt Various platforms (build-&-test) #15: Commit 06a7d26 pushed by vhavlena
January 12, 2025 10:39 1m 58s devel
devel
January 12, 2025 10:39 1m 58s
Add default params for inclusion (implicitly fastest configuration). Various platforms (build-&-test) #14: Pull request #10 opened by OndrejAlexaj
January 11, 2025 14:21 56s inclusion-default-params
inclusion-default-params
January 11, 2025 14:21 56s
Inclusion: optimise subsumption checking Various platforms (build-&-test) #13: Pull request #8 synchronize by vhavlena
January 9, 2025 12:15 1m 0s early-opt
early-opt
January 9, 2025 12:15 1m 0s
Inclusion: optimise subsumption checking Various platforms (build-&-test) #12: Pull request #8 opened by vhavlena
January 4, 2025 19:47 54s early-opt
early-opt
January 4, 2025 19:47 54s
Readme: parameters description Various platforms (build-&-test) #11: Pull request #7 synchronize by vhavlena
January 1, 2025 19:17 58s readme-params
readme-params
January 1, 2025 19:17 58s
Merge pull request #5 from VeriFIT/fix-warnings Various platforms (build-&-test) #10: Commit 3e70883 pushed by vhavlena
December 31, 2024 19:47 57s devel
devel
December 31, 2024 19:47 57s
Readme: parameters description Various platforms (build-&-test) #9: Pull request #7 opened by vhavlena
December 30, 2024 16:56 1m 0s readme-params
readme-params
December 30, 2024 16:56 1m 0s
Fixing warnings Various platforms (build-&-test) #8: Pull request #5 synchronize by vhavlena
December 23, 2024 21:57 57s fix-warnings
fix-warnings
December 23, 2024 21:57 57s
Fixing warnings Various platforms (build-&-test) #7: Pull request #5 opened by vhavlena
December 22, 2024 22:41 1m 1s fix-warnings
fix-warnings
December 22, 2024 22:41 1m 1s
Merge pull request #3 from VeriFIT/maintain-updates Various platforms (build-&-test) #6: Commit 5fb7f0a pushed by vhavlena
December 20, 2024 20:03 1m 1s devel
devel
December 20, 2024 20:03 1m 1s
Maintenance updates Various platforms (build-&-test) #5: Pull request #3 synchronize by vhavlena
December 20, 2024 19:58 58s maintain-updates
maintain-updates
December 20, 2024 19:58 58s
Maintenance updates Various platforms (build-&-test) #4: Pull request #3 synchronize by vhavlena
December 20, 2024 19:57 56s maintain-updates
maintain-updates
December 20, 2024 19:57 56s
Maintenance updates Various platforms (build-&-test) #3: Pull request #3 synchronize by vhavlena
December 19, 2024 20:10 1m 3s maintain-updates
maintain-updates
December 19, 2024 20:10 1m 3s
Maintenance updates Various platforms (build-&-test) #2: Pull request #3 synchronize by vhavlena
December 19, 2024 20:06 56s maintain-updates
maintain-updates
December 19, 2024 20:06 56s
actions: various platform build workflow Various platforms (build-&-test) #1: Commit e9a7853 pushed by vhavlena
December 19, 2024 20:03 Failure maintain-updates
maintain-updates
December 19, 2024 20:03 Failure