Skip to content

Actions: AthenaFoundation/athena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from AthenaFoundation/alpha Release #49: Commit 0597ed4 pushed by konstantine4096
November 26, 2024 21:04 14s master
master
November 26, 2024 21:04 14s
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 Release #48: Commit 3de4ee4 pushed by konstantine4096
November 18, 2024 23:34 14s master
master
November 18, 2024 23:34 14s
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
Merge pull request #21 from AthenaFoundation/add_mlton_server Release #47: Commit 30c584a pushed by konstantine4096
November 15, 2024 15:51 15s master
master
November 15, 2024 15:51 15s
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 Release #46: Commit c7b5654 pushed by konstantine4096
November 12, 2024 17:27 15s master
master
November 12, 2024 17:27 15s
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 Release #45: Commit a2d6435 pushed by konstantine4096
October 11, 2024 00:56 17s master
master
October 11, 2024 00:56 17s
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 Release #44: Commit ff51049 pushed by WilfredTA
October 10, 2024 14:24 5m 49s master
master
October 10, 2024 14:24 5m 49s
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
Release Release #43: by WilfredTA
October 10, 2024 14:21 22s master
master
October 10, 2024 14:21 22s
v1.5.3 Release #42: Commit 50406cc pushed by WilfredTA
October 10, 2024 14:12 4m 18s master
master
October 10, 2024 14:12 4m 18s
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