Skip to content

Actions: VeriFIT/mata

Actions

Ubuntu (build-&-test)

Actions

Loading...

Show workflow options

Create status badge

157 workflow runs
157 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
version: bump to 1.19.1 Ubuntu (build-&-test) #850: Commit cb033be pushed by tfiedor
October 15, 2023 11:17 2m 40s master
master
October 15, 2023 11:17 2m 40s
Merge pull request #260 from VeriFIT/binding-refactor Ubuntu (build-&-test) #849: Commit 9e47b74 pushed by Adda0
July 13, 2023 11:42 3m 26s devel
devel
July 13, 2023 11:42 3m 26s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #848: Pull request #260 synchronize by tfiedor
July 13, 2023 11:13 3m 5s binding-refactor
binding-refactor
July 13, 2023 11:13 3m 5s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #847: Pull request #260 synchronize by tfiedor
July 13, 2023 10:46 3m 23s binding-refactor
binding-refactor
July 13, 2023 10:46 3m 23s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #846: Pull request #260 synchronize by tfiedor
July 13, 2023 10:45 3m 17s binding-refactor
binding-refactor
July 13, 2023 10:45 3m 17s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #845: Pull request #260 synchronize by tfiedor
July 13, 2023 10:40 3m 3s binding-refactor
binding-refactor
July 13, 2023 10:40 3m 3s
Use post and move variable names for Posts and Moves Ubuntu (build-&-test) #844: Pull request #261 synchronize by Adda0
July 13, 2023 07:39 3m 24s use_post_move_names
use_post_move_names
July 13, 2023 07:39 3m 24s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #843: Pull request #260 synchronize by tfiedor
July 12, 2023 16:01 3m 23s binding-refactor
binding-refactor
July 12, 2023 16:01 3m 23s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #842: Pull request #260 synchronize by tfiedor
July 12, 2023 15:42 4m 27s binding-refactor
binding-refactor
July 12, 2023 15:42 4m 27s
Merge pull request #263 from VeriFIT/fix_parsing_files_without_newline Ubuntu (build-&-test) #841: Commit 8781b7d pushed by Adda0
July 12, 2023 12:01 2m 7s devel
devel
July 12, 2023 12:01 2m 7s
Fix infinite looping when input is missing trailing newline Ubuntu (build-&-test) #840: Pull request #263 synchronize by Adda0
July 12, 2023 11:53 2m 19s fix_parsing_files_without_newline
fix_parsing_files_without_newline
July 12, 2023 11:53 2m 19s
Fix infinite looping when input is missing trailing newline Ubuntu (build-&-test) #839: Pull request #263 synchronize by Adda0
July 12, 2023 11:49 2m 8s fix_parsing_files_without_newline
fix_parsing_files_without_newline
July 12, 2023 11:49 2m 8s
Fix infinite looping when input is missing trailing newline Ubuntu (build-&-test) #838: Pull request #263 opened by Adda0
July 12, 2023 11:40 2m 23s fix_parsing_files_without_newline
fix_parsing_files_without_newline
July 12, 2023 11:40 2m 23s
Organize header files into folders Ubuntu (build-&-test) #837: Pull request #262 synchronize by Adda0
July 12, 2023 09:53 2m 11s organize_header_files_into_folders
organize_header_files_into_folders
July 12, 2023 09:53 2m 11s
Use post and move variable names for Posts and Moves Ubuntu (build-&-test) #836: Pull request #261 synchronize by Adda0
July 12, 2023 05:00 2m 56s use_post_move_names
use_post_move_names
July 12, 2023 05:00 2m 56s
Organize header files into folders Ubuntu (build-&-test) #835: Pull request #262 synchronize by Adda0
July 11, 2023 07:17 3m 23s organize_header_files_into_folders
organize_header_files_into_folders
July 11, 2023 07:17 3m 23s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #834: Pull request #260 synchronize by tfiedor
July 10, 2023 17:31 2m 22s binding-refactor
binding-refactor
July 10, 2023 17:31 2m 22s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #833: Pull request #260 synchronize by tfiedor
July 10, 2023 15:56 2m 22s binding-refactor
binding-refactor
July 10, 2023 15:56 2m 22s
Organize header files into folders Ubuntu (build-&-test) #832: Pull request #262 opened by Adda0
July 10, 2023 05:17 2m 18s organize_header_files_into_folders
organize_header_files_into_folders
July 10, 2023 05:17 2m 18s
Use post and move variable names for Posts and Moves Ubuntu (build-&-test) #831: Pull request #261 opened by Adda0
July 7, 2023 11:55 2m 20s use_post_move_names
use_post_move_names
July 7, 2023 11:55 2m 20s
Prepare setup of binding for multiple modules Ubuntu (build-&-test) #830: Pull request #260 opened by tfiedor
July 6, 2023 16:00 2m 16s binding-refactor
binding-refactor
July 6, 2023 16:00 2m 16s
Merge pull request #246 from VeriFIT/concat_opt Ubuntu (build-&-test) #829: Commit 8bc0f95 pushed by Adda0
July 2, 2023 11:56 2m 9s devel
devel
July 2, 2023 11:56 2m 9s
Refactor GitHub Actions configuration Ubuntu (build-&-test) #828: Pull request #257 synchronize by Adda0
June 29, 2023 11:19 2m 8s set_werror_for_github_actions
set_werror_for_github_actions
June 29, 2023 11:19 2m 8s
Refactor GitHub Actions configuration Ubuntu (build-&-test) #827: Pull request #257 synchronize by Adda0
June 29, 2023 11:05 3m 5s set_werror_for_github_actions
set_werror_for_github_actions
June 29, 2023 11:05 3m 5s
Refactor GitHub Actions configuration Ubuntu (build-&-test) #826: Pull request #257 synchronize by Adda0
June 29, 2023 10:21 2m 56s set_werror_for_github_actions
set_werror_for_github_actions
June 29, 2023 10:21 2m 56s