Skip to content

Actions: AthenaFoundation/athena

Actions

ci_regression_tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yaml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from AthenaFoundation/alpha ci_regression_tests #62: Commit 0597ed4 pushed by konstantine4096
November 26, 2024 21:04 3m 35s master
master
November 26, 2024 21:04 3m 35s
First (re)implementation of type-alpha certificate generation ci_regression_tests #61: Pull request #23 synchronize by konstantine4096
November 26, 2024 20:40 3m 24s alpha
alpha
November 26, 2024 20:40 3m 24s
First (re)implementation of type-alpha certificate generation ci_regression_tests #60: Pull request #23 opened by konstantine4096
November 26, 2024 20:35 3m 40s alpha
alpha
November 26, 2024 20:35 3m 40s
Merge pull request #22 from AthenaFoundation/direct_prolog ci_regression_tests #59: Commit 3de4ee4 pushed by konstantine4096
November 18, 2024 23:34 3m 36s master
master
November 18, 2024 23:34 3m 36s
Adding the ability to call Prolog directly (instead of going through Athena), a simple ND theorem prover, and some file utilities. ci_regression_tests #58: Pull request #22 opened by konstantine4096
November 18, 2024 21:49 3m 26s direct_prolog
direct_prolog
November 18, 2024 21:49 3m 26s
Merge pull request #21 from AthenaFoundation/add_mlton_server ci_regression_tests #57: Commit 30c584a pushed by konstantine4096
November 15, 2024 15:51 3m 18s master
master
November 15, 2024 15:51 3m 18s
Add mlton server ci_regression_tests #56: Pull request #21 opened by konstantine4096
November 15, 2024 15:47 3m 29s add_mlton_server
add_mlton_server
November 15, 2024 15:47 3m 29s
Merge pull request #20 from AthenaFoundation/thread_based_tcp_sockets ci_regression_tests #55: Commit c7b5654 pushed by konstantine4096
November 12, 2024 17:27 3m 21s master
master
November 12, 2024 17:27 3m 21s
Thread-based TCP sockets ci_regression_tests #54: Pull request #20 synchronize by konstantine4096
November 12, 2024 17:23 3m 39s thread_based_tcp_sockets
thread_based_tcp_sockets
November 12, 2024 17:23 3m 39s
Thread-based TCP sockets ci_regression_tests #53: Pull request #20 opened by konstantine4096
November 12, 2024 17:18 3m 20s thread_based_tcp_sockets
thread_based_tcp_sockets
November 12, 2024 17:18 3m 20s
Tactics ci_regression_tests #52: Pull request #19 opened by konstantine4096
November 9, 2024 13:46 26s tactics
tactics
November 9, 2024 13:46 26s
Merge pull request #18 from AthenaFoundation/hol2 ci_regression_tests #51: Commit a2d6435 pushed by konstantine4096
October 11, 2024 00:56 3m 30s master
master
October 11, 2024 00:56 3m 30s
Hol2 ci_regression_tests #50: Pull request #18 synchronize by konstantine4096
October 11, 2024 00:51 3m 46s hol2
hol2
October 11, 2024 00:51 3m 46s
Hol2 ci_regression_tests #49: Pull request #18 opened by konstantine4096
October 11, 2024 00:50 3m 31s hol2
hol2
October 11, 2024 00:50 3m 31s
Update version.txt ci_regression_tests #48: Commit ff51049 pushed by WilfredTA
October 10, 2024 14:24 3m 38s master
master
October 10, 2024 14:24 3m 38s
ci_regression_tests ci_regression_tests #47: by WilfredTA
October 10, 2024 14:21 3m 31s master
master
October 10, 2024 14:21 3m 31s
v1.5.3 ci_regression_tests #46: Commit 50406cc pushed by WilfredTA
October 10, 2024 14:12 3m 25s master
master
October 10, 2024 14:12 3m 25s
Hol2 (#17) ci_regression_tests #45: Commit 0f96e88 pushed by WilfredTA
October 10, 2024 14:12 3m 23s master
master
October 10, 2024 14:12 3m 23s
Hol2 ci_regression_tests #44: Pull request #17 opened by konstantine4096
October 10, 2024 01:27 3m 37s hol2
hol2
October 10, 2024 01:27 3m 37s
Merge pull request #16 from AthenaFoundation/tuples ci_regression_tests #43: Commit 6c00d9f pushed by konstantine4096
August 10, 2024 23:59 3m 9s master
master
August 10, 2024 23:59 3m 9s
Introduced tuples of arbitrary length, tuple datatypes for lengths 2 … ci_regression_tests #42: Pull request #16 opened by konstantine4096
August 10, 2024 23:53 3m 17s tuples
tuples
August 10, 2024 23:53 3m 17s
Merge pull request #15 from AthenaFoundation/list_comprehensions ci_regression_tests #41: Commit b27ec6a pushed by konstantine4096
August 9, 2024 16:11 3m 16s master
master
August 9, 2024 16:11 3m 16s
Add list comprehensions and a Sudoku solver illustrating their use. ci_regression_tests #40: Pull request #15 opened by konstantine4096
August 9, 2024 16:02 3m 17s list_comprehensions
list_comprehensions
August 9, 2024 16:02 3m 17s
Merge pull request #14 from AthenaFoundation/vampire_update ci_regression_tests #39: Commit bb3fd98 pushed by konstantine4096
July 27, 2024 17:31 3m 11s master
master
July 27, 2024 17:31 3m 11s
Vampire update ci_regression_tests #38: Pull request #14 opened by konstantine4096
July 27, 2024 17:27 3m 21s vampire_update
vampire_update
July 27, 2024 17:27 3m 21s