Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge analysis-devel: Unified CFG and Static Analysis Run Examples #45: Pull request #61 synchronize by ailrst
September 28, 2023 01:33 3m 17s analysis-devel
analysis-devel
September 28, 2023 01:33 3m 17s
Merge pull request #80 from UQ-PAC/timeout_tests Run Examples #44: Commit aadf23c pushed by ailrst
September 28, 2023 00:55 3m 12s main
main
September 28, 2023 00:55 3m 12s
Merge pull request #79 from UQ-PAC/serialise-il Run Examples #43: Commit 50c80a6 pushed by l-kent
September 22, 2023 01:14 3m 7s main
main
September 22, 2023 01:14 3m 7s
Serialise IL Run Examples #42: Pull request #79 synchronize by ailrst
September 22, 2023 00:58 3m 10s serialise-il
serialise-il
September 22, 2023 00:58 3m 10s
Serialise IL Run Examples #41: Pull request #79 synchronize by ailrst
September 21, 2023 04:12 3m 7s serialise-il
serialise-il
September 21, 2023 04:12 3m 7s
Time limits for SystemTests Run Examples #40: Pull request #80 opened by l-kent
September 21, 2023 00:11 3m 6s timeout_tests
timeout_tests
September 21, 2023 00:11 3m 6s
Serialise IL Run Examples #39: Pull request #79 opened by ailrst
September 20, 2023 07:24 3m 9s serialise-il
serialise-il
September 20, 2023 07:24 3m 9s
Merge pull request #71 from UQ-PAC/new-ir Run Examples #38: Commit ecc244f pushed by ailrst
September 19, 2023 03:45 3m 3s main
main
September 19, 2023 03:45 3m 3s
Improved stack identification, many other changes Run Examples #37: Pull request #71 opened by l-kent
September 18, 2023 01:30 3m 7s new-ir
new-ir
September 18, 2023 01:30 3m 7s
Merge pull request #57 from UQ-PAC/BASIL-1 Run Examples #36: Commit 7b9472f pushed by l-kent
September 12, 2023 05:34 3m 1s main
main
September 12, 2023 05:34 3m 1s
BASIL-1 - Added unit tests for SMT operations Run Examples #35: Pull request #57 synchronize by l-kent
September 12, 2023 05:34 3m 7s BASIL-1
BASIL-1
September 12, 2023 05:34 3m 7s
BASIL-1 - Added unit tests for SMT operations Run Examples #34: Pull request #57 synchronize by ziggyfish
September 12, 2023 04:47 3m 7s BASIL-1
BASIL-1
September 12, 2023 04:47 3m 7s
Merge pull request #59 from UQ-PAC/readme-updates Run Examples #33: Commit 77a98ba pushed by l-kent
September 12, 2023 03:00 3m 0s main
main
September 12, 2023 03:00 3m 0s
Readme updates Run Examples #32: Pull request #59 opened by ailrst
September 11, 2023 07:35 3m 0s readme-updates
readme-updates
September 11, 2023 07:35 3m 0s
BASIL-1 - Added unit tests for SMT operations Run Examples #31: Pull request #57 synchronize by ziggyfish
September 11, 2023 05:15 4m 7s BASIL-1
BASIL-1
September 11, 2023 05:15 4m 7s
Merge branch 'argparsing-refactor' Run Examples #30: Commit e1b435a pushed by l-kent
September 11, 2023 04:37 3m 0s main
main
September 11, 2023 04:37 3m 0s
Merge pull request #49 from UQ-PAC/test-automation Run Examples #29: Commit 9c90a8b pushed by l-kent
September 11, 2023 04:15 4m 10s main
main
September 11, 2023 04:15 4m 10s