Skip to content

Actions: prosyslab-classroom/cs424-program-reasoning

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[Announcement] Art competition (천하제일 AI 그림대회): what does X mean to you? .github/workflows/main.yml #25: Issue #156 opened by KihongHeo
September 25, 2023 23:09 58s
September 25, 2023 23:09 58s
[Question][Hw2] .github/workflows/main.yml #24: Issue #155 opened by 08kmc09
September 20, 2023 12:01 1m 4s
September 20, 2023 12:01 1m 4s
[Question][Hw2] .github/workflows/main.yml #23: Issue #154 opened by LMMilliken
September 20, 2023 05:22 58s
September 20, 2023 05:22 58s
[Announcement] HW0-3 and HW1 are graded! .github/workflows/main.yml #22: Issue #153 opened by goodtaeeun
September 20, 2023 03:27 57s
September 20, 2023 03:27 57s
[Announcement] HW2 is out .github/workflows/main.yml #21: Issue #151 opened by goodtaeeun
September 20, 2023 02:03 1m 6s
September 20, 2023 02:03 1m 6s
[Question] Axioms for Theory of Lists .github/workflows/main.yml #20: Issue #150 opened by frogfrog2
September 20, 2023 01:39 1m 8s
September 20, 2023 01:39 1m 8s
[Question][Hw1] module function 'int_of_bool' of 'Value' module not being declared on its signature .github/workflows/main.yml #19: Issue #149 opened by bscho99
September 12, 2023 13:56 1m 2s
September 12, 2023 13:56 1m 2s
[Question][Hw1] Question about line ending .github/workflows/main.yml #18: Issue #148 opened by mindol
September 12, 2023 09:55 58s
September 12, 2023 09:55 58s
[Question][Hw1] Assigning boolean values to variables .github/workflows/main.yml #17: Issue #147 opened by LMMilliken
September 11, 2023 04:44 1m 9s
September 11, 2023 04:44 1m 9s
[Question][Hw1] question about code coverage and warning .github/workflows/main.yml #16: Issue #146 opened by githubqookie
September 10, 2023 13:05 1m 2s
September 10, 2023 13:05 1m 2s
[Question][Hw1] Adding custom testcase .github/workflows/main.yml #15: Issue #145 opened by uk-jeong
September 10, 2023 11:39 1m 0s
September 10, 2023 11:39 1m 0s
[Question][Hw1] How to distinguish between an integer constant and a boolean constant .github/workflows/main.yml #14: Issue #144 opened by frogfrog2
September 10, 2023 08:11 1m 5s
September 10, 2023 08:11 1m 5s
[Question][Hw1] Having some problem while connecting semantic.ml and domain.ml .github/workflows/main.yml #13: Issue #143 opened by githubqookie
September 10, 2023 07:02 59s
September 10, 2023 07:02 59s
[Question][Hw0-3] Late submission for homework 0-3 essay .github/workflows/main.yml #12: Issue #142 opened by quanxi1
September 8, 2023 14:39 1m 9s
September 8, 2023 14:39 1m 9s
[Announcement] Update on Homework 1 .github/workflows/main.yml #11: Issue #141 opened by goodtaeeun
September 5, 2023 08:18 1m 13s
September 5, 2023 08:18 1m 13s
[Announcement] Homework 1 is out .github/workflows/main.yml #10: Issue #140 opened by goodtaeeun
September 4, 2023 04:27 1m 11s
September 4, 2023 04:27 1m 11s
[Announcement] KCLOUD VM Allocation .github/workflows/main.yml #9: Issue #139 opened by goodtaeeun
September 4, 2023 04:18 1m 26s
September 4, 2023 04:18 1m 26s
[Announcement] Setup & Homework 0 .github/workflows/main.yml #8: Issue #138 opened by goodtaeeun
August 25, 2023 14:34 1m 15s
August 25, 2023 14:34 1m 15s