Skip to content

Actions: VeriFIT/mata

Actions

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