8000 Workflow runs · AthenaFoundation/athena · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: AthenaFoundation/athena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update macos release script ci_regression_tests #66: Commit 635a2c4 pushed by WilfredTA
March 15, 2025 22:58 3m 50s master
master
March 15, 2025 22:58 3m 50s
update macos release script Release #53: Commit 635a2c4 pushed by WilfredTA
March 15, 2025 22:58 6m 34s master
master
March 15, 2025 22:58 6m 34s
v1.6.1 ci_regression_tests #65: Commit 2f89297 pushed by WilfredTA
March 15, 2025 22:54 3m 33s master
master
March 15, 2025 22:54 3m 33s
v1.6.1 Release #52: Commit 2f89297 pushed by WilfredTA
March 15, 2025 22:54 4m 18s master
master
March 15, 2025 22:54 4m 18s
Update release.yaml Release #51: Commit b8ade9e pushed by WilfredTA
March 15, 2025 22:45 10s master
master
March 15, 2025 22:45 10s
Update release.yaml ci_regression_tests #64: Commit b8ade9e pushed by WilfredTA
March 15, 2025 22:45 28s master
master
March 15, 2025 22:45 28s
Update version.txt < 8000 /a> Release #50: Commit c008e1b pushed by WilfredTA
March 15, 2025 22:17 4m 18s master
master
March 15, 2025 22:17 4m 18s
Update version.txt ci_regression_tests #63: Commit c008e1b pushed by WilfredTA
March 15, 2025 22:17 3m 39s master
master
March 15, 2025 22:17 3m 39s
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
0