Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Code execution #8

Closed
ice1000 opened this issue Mar 21, 2018 · 2 comments
Closed

Code execution #8

ice1000 opened this issue Mar 21, 2018 · 2 comments
Assignees
@ice1000
Labels
execution Running or building your code new feature The most exciting things
Milestone
0.0.1

Comments

@ice1000
Copy link
Owner

ice1000 commented Mar 21, 2018

No description provided.

@ice1000 ice1000 added the new feature The most exciting things label Mar 21, 2018
@ice1000 ice1000 added this to the 0.0.1 milestone Mar 21, 2018
@ice1000 ice1000 self-assigned this Mar 21, 2018
ice1000 added a commit that referenced this issue Mar 21, 2018
@ice1000
[ #8 ] First step
89b6c8f
ice1000 added a commit that referenced this issue Mar 21, 2018
@ice1000
[ #8 ] Add
7c18adb
@ice1000
Copy link
Owner Author

ice1000 commented Mar 21, 2018

agda-01

@ice1000
Copy link
Owner Author

ice1000 commented Mar 21, 2018

agda-02

ice1000 added a commit that referenced this issue Mar 21, 2018
@ice1000
[ #8 ] More
6dd3124
ice1000 added a commit that referenced this issue Mar 22, 2018
@ice1000
[ #8 ] Shit
aa93ea4
ice1000 added a commit that referenced this issue Mar 22, 2018
@ice1000
[ #8 ] Why
76971bc
ice1000 added a commit that referenced this issue Mar 22, 2018
@ice1000
[ #8 ] Finish run configuration editor
2927d27
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Add import path settings
bf16ef7
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Add install path settings in run config
42a261c
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Add install path in executor
8827049
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Try
49b7027
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Boy next door
ff40526
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] More boys next door
c45ed13
ice1000 added a commit that referenced this issue Mar 23, 2018
@ice1000
[ #8 ] Fuck you oh yeah
332555e
@ice1000 ice1000 added the execution Running or building your code label Mar 23, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ice1000 ice1000

Labels
execution Running or building your code new feature The most exciting things
Projects
None yet
Milestone
0.0.1
Development

No branches or pull requests
1 participant
@ice1000